StarkNet

定义

StarkNet 是由以色列公司 StarkWare 开发的以太坊 Layer2 网络，采用有效性证明（ZK Rollup）路线：交易在链下批量执行，用 STARK 证明其正确性后提交以太坊验证。公司联合创始人 Eli Ben-Sasson 是 STARK 证明系统的发明者之一。

技术特点

STARK（可扩展透明知识论证）无需可信设置，基于哈希与信息论假设，被认为具备抗量子性，代价是证明体积较大。StarkNet 不兼容 EVM，合约使用专用语言 Cairo 编写，Cairo 程序被编译为可高效生成证明的形式；账户层原生实现了账户抽象。

发展

StarkWare 先推出面向单一应用的 StarkEx 引擎（服务过 dYdX、Immutable X 等），再推出通用许可无关的 StarkNet 主网，并发行 STRK 代币用于治理与支付手续费。

对比

与 zkSync、Scroll 等追求 EVM 兼容的方案不同，StarkNet 选择原生设计换取证明效率，形成独立的 Cairo 开发生态。