其提出的 Layer2 底层的技术为 Validium，后又进一步推出了 Volition。StarkWare 团队推出了一个去中心化的二层扩容网络 StarkNet，支持以太坊上的通用计算，具备一定的免许可性和抗审查性。根据 StarkWare 在今年 1 月底公布的 StarkNet 路线图来看，该方案分为四个阶段，以逐步实现去中心化和生态集成。目前，团队已完成阶段 0 的构建，主要完善了三个重要组件，即证明协议 zk-STARK、编程语言 Cairo 和交易所扩容方案 StarkEx。

项目进展

StarkWare 对目前流行的 SNARK 算法做了改进，自主研发出新一代零知识证明协议 STARK。该协议于 2020 年 6 月上线主网，能够大幅提高运行效率，并可以提供抗量子计算的零知识签名，是整个 StarkNet 去中心化证明层的基石。

另外，StarkWare 还创造了独有的编程框架 Cairo，以生成通用计算的 STARK 证明。Cairo 于 2020 年 10 月在主网上线，面向所有开发者。该框架不仅是图灵完备的，还能避免零知识证明中复杂的电路设计，将证明的生成与验证分开进行。StarkWare 团队不断改进 Cairo，为其引入了众多新的功能、语法和内部插件，最近正在探索投票场景下的应用。

StarkWare 也在阶段 0 中推出了第一个基于 STARK 的 ZK Rollup 应用 StarkEx。StarkEx 既是 StarkNet 第一批具体应用，也是专注于交易所场景的二层扩容引擎。StarkEx 最早于 2020 年 6 月上线以太坊主网，随后在 2020 年 12 月上线了 2.0 版本。2.0 版本是完全建立在 Cairo 框架上，支持一二层交互以及 ERC721、链下铸币、智能合约密钥恢复等功能。目前，StarkEx 仍处于迭代更新的状态，团队计划于 2021 年 5 月推出 StarkEx 3.0, 该版本将包含 L1 限价单和批量长效的闪电贷功能。

按照团队计划，后续三个阶段分别对应单运营者单应用 Rollup、单运营者多应用 Rollup 以及去中心化运营多应用 Rollup，最终将在 2022 年底前逐步完成部署 (图 3-2)。

图 3-2StarkNet 路线图，来源：Starkware 官方文档

技术方案

Starkware 最早提出的二层解决方案是 Validium，这个方案将数据保存在链下，但同时结合了 ZK 的思想对状态转换做有效性证明。具体来说，数据在链下的有效性由链下的公证人保证，同时公证人会将链下交易的状态转换生成 SNARK 证明上传到链上。SNARK 证明避免了公证人上传错误的状态转换到链上。但由于数据存储在链下，公证人可以合谋不提交数据，将用户的资产冻结。因此，其实 Validium 方案并不是 Rollup 系的技术，但是在 Validium 方案中用户资产也被冻结的问题被讨论之后，Starkware 推出了一个新的方案，Volition。Volition 其实是 ZK Rollup 方案和 Validium 方案的结合 (图 3-3)，用户可以根据自己的需求选择将数据可用性的保证放在链上还是链下。因此，我们还是将 Starkware 团队的工作放进了本篇 Rollup 的文章中。 (责任编辑：admin)