zk-Rollups

• 　　优点： 每次转账的费用很低。 比 Plasma 和 Optimistic Rollups 更快。 数据量更少带来更高的吞吐量和可扩展性。

• 　　缺点：初始设置不去中心化 (STARK 中没有初始设置), 量子计算可能构成未来的黑客威胁 (STARK 可以抗量子计算机)

　　对比完各个 L2 解决方案后，我们可以发现 zk-Rollups 或许是最接近区块链升级扩容的完美解决方案。 同时 zk-Rollup 的为数不多的几个缺点会在 StarkWare 采用的 zk-STARK 中得到修正。

　　ZK 证明中主要有 SNARK, STARK, Bulletproof 三种。 Bulletproofs 和 STARK 不需要可信设置，STARK 使用公开可验证的随机性来创建不受信任的可验证计算系统。 其中 STARK 相较于其他两种，证明大小大非常多，但在计算时的大小和证明速度上有很大优势。 同时 STARK 的安全性更高，可以抗量子攻击。

　　上图是 StarkWare 的 Co-Founder 在宣讲时放出的图。 他们测试时使用的 STARK 证明用图里服务器配置运行，对比其他几种包括 SNARK 算法的性能都高出很多。

　　StarkNet ALPHA 会 在 11 月上线以太坊主网。(区块链浏览器 )

　　StarkNet 是一个去中心化，无需许可即可加入且抗审查的 L2 zk-Rollups, 支持以太坊上的通用计算。 它基于图灵完备的 Cairo 语言。 开发人员可以构建应用程序来实现 App 业务逻辑并部署在 StarkNet 上 ; 用户可以将交易以与以太坊正常交易相同的方式发送到 StarkNet 来执行。 StarkNet 节点和参与者将受到经济激励，以确保网络高效公平运行。

　　所有 StarkNet 交易将定期进行批处理，交易在 STARK 证明中得到证明，最终在以太坊上进行验证。 由于验证 STARK 证明所需的计算工作量与以太坊证明的计算量相比，呈指数级小，因此 StarkNet 可以将以太坊扩展几个数量级。 由于所有 StarkNet 状态转换都将经过 STARK 验证，因此以太坊只接受最终有效的状态转换。

　　主要特点： 性能可拓展性，开发便利，针对以太坊生态的可组合性。

• 　　编程语言 Cairo: Cairo 是一门图灵完备的高级编程语言和框架，可以用于生成 STARK 证明。 开发人员可以使用 Cairo 来定义任何业务逻辑，将交易送到 Shared Prover Service 对逻辑进行链下验证并在链上进行验证。 Cairo 已在主网上适合进行正式的项目开发，可供开发人员使用。

• 　　链下验证服务 Shared Prover Service: 在交易上链之前，交易会送到 Sharp 进行验证，判断应用程序执行的完整性，并且计算出分摊证明验证的 gas 费用。 (责任编辑：admin)