are 成立于 2018 年，总部位于以色列，两个主要产品为基于以太坊主網構建的擴容引擎 StarkEx 和通用型 ZK-Rollup StarkNet。首先，StarkNet 是 StarkWare 推出的通用型 L2，採取有效性證明方案來獲得主網的安全性，通過 STARK+Cairo 將有效性證明技術打造屬於 StarkNet 原生的生態。 简单来说，用户发起交易后会将交易发送给 Squencer 进行验证、排序和执行，并打包批次，Squencer 通过 Cairo OS 执行交易（Cairo 语言有着 zk 友好特性），也就是 EVM 的角色。Squencer 再将执行交易的踪迹递交给 Prover，由 Prover 对计算完整性生成一个有效性证明，这里的 Prover 也为 StarkEx 生成有效性证明，且可以聚合来自不同 StarkEx 应用和 StarkNet 的交易，实现共享。 二者所使用的底层技术是相通的，StarkEx 相当于通过单个 App 中心化运营的方式提前使用了 ZK Rollup 技术，而 StarkNet 则承担了建立节点网络的去中心化任务。StarkWare 对领域的一项重大贡献，就在于通过 Cairo 语言，将所有的智能合约计算结果转化成了可证明的多项式方程，由此让智能合约与 Validity Proof 相兼容。 StarkWare 在 7 轮融资中累计已获得 2.73 亿美元融资，其中母公司 StarWare 估值 80 亿美金，这也是为何是四大估值最高原因之一。在 zk-rollup 的细分赛道中，StarkNet 并没有在 zkEVM 占上一定用户比例， 目前，StarkNet 的生态仅是初现雏形，交易量过于稀少也让 StarkNet 难以积攒足够数量的交易来均摊有效性证明的成本，导致 StarkNet 的交易确认时间较长，无法发挥极致的可拓展性。 不过今年 1 月 5 日，StarkWare 宣布正式推出编程语言 Cairo 1.0 公开版本，正式取代为期两年的测试、预览版本，也标志着使用该语言在 StarkNet 上编写智能合约已经成为可能，同时也会兼顾高效的执行效率，成为 ZK 系 Layer 2 Rollup 技术派的里程碑事件。 可见对于开发生态对于项目方来说才是生态系统的基础，据 Electric Capital 统计，StarkWare 的全职开发者是 Aptos 和 Sui 的两倍，算上兼职可能有 3 倍左右，而且数量还在增长之中。过去 1 年来增长了 214%，过去 2 年来增长了2220%。即便 StarkNet 暂时放弃朝 EVM 兼容性路线走，但也让 StarkNet 更放开手聚焦于获得更加灵活的开发体验，吸引多元化的开发者。 2. zkSync Era 去年 10 月以太坊 L2 扩容解决方案 zkSync 的 zkSync 2.0 主网第一阶段 Baby Alpha 上线，成为以太坊上第一个 zkEVM 项目中发布的主网，而在今年 3 月 24 日 zkSync 则宣布，zkSync 2.0 主网已进入第二阶段 Fair Onboard Alpha ，允许注册项目皆能在主网上部署，甚至决定将 zkSync 2.0 更名为 zkSync Era、zkSync 1.0 则更名为 zkSync Lite 。zkSync Era 主网正式向公众开放后，3 天内单一地址数便突破 10 万个，1.8 万枚 ETH 跨链进入 zkSync Era。截至今年 4 月 14 日，zkSync Era TVL 已达 2.4 亿美元。 先前 ZkSync Lite 的交易成本其实不高，但整体速度较慢；而 ZkSync Era 则进一步提高了交易速度、并大幅降低了交易成本。不仅如此， ZkSync Era 将会有和现存开发工具更多的集成，以降低外部开发者的进入门槛，简单来说，在这次更新后， ZkSync Era 将会和云端开发环境进行兼容适配，比如谷歌云服务存储数据。 还有，GPU 和非 GPU 环境，都可用于秘钥生成和设置，并且 GPU 加速仍会优化，以便于未来开发硬件加速设备。 zkSync Era 亮点分别为： (1) 完全不依赖第三方却类似主网的安全性：支持 Solidity 0.8.x 版本，和以太坊主网开发环境保持一致。 (2) 无需许可权的 EVM 相容智能合约：zkSync 的 EVM 兼容性，使 Solidity 和 Vyper 编写的智能合约无需重构即可在 zkSync 上使用。zkSync 这次还为 EVM 语言（Solidity、Vyper、Yul）构建了第一个基于 LLVM（LowLevelVirtualMachine ）的编译器，得益于 LLVM 的开源和普适性，最终可让开发人员使用 C++、Rust 等语言编写智能合约。 (3) 标准 Web3 API：Web3 API 与 Ethereum 几乎完全兼容，开发者可使用绝大部分 API。 (4) 保留关键的 EVM 功能，例如智慧合约可组合性。 (5) 引入新功能，如抽象帐户：zkSync Era 直接使用本地抽象帐户，协助 Era 上的任何帐户可以用任何代币支付费用，甚至可以在一些协议愿意补贴的条件下让用户以零费用进行交易。 (6) 执行延迟机制：根据官方 3 月 24 日消息指出，zkSync 宣布 zkSync Era 多层安全机制中的其中一种机制，即“执行延迟”，也就是每个提交给 L1 的 L2 区块在执行和最终确定之前都会有一个时间锁，最初该延迟将是 24 小时，随着系统的成熟，该延迟将逐渐减少，直到移除 Alpha 阶段，届时延迟将被完全移除。此举主要是要确保团队有足够的时间在区块成为最终区块之前验证包含在区块中的交易所带来的任何影响，并且有足够的时间来检测漏洞、调查并通过治理冻结协议。 以上为 zkSync 技术目前最新进展。而 zkSync 开发公司 Matter Labs 的融资背景和技术背景不容小觑，Matter Labs 已于 2022 年 11 月完成 2 亿美元融资，且团队早在 2020 年 12 月 20 日踏上 ZK 道路，推出了 zkSync Lite（zkSync 1.0 ），但当时由于缺乏 EVM 功能，开发人员使用起来相对不便。 因此，可以说 zkSync Era 目前完成度相较以往较高，其面向开发者和项目的技术，例如开源了 zkEVM（零知识以太坊虚拟机）更让开发人员易使用构建自身的生态系统。 其次， zkSync Era 对于接入 Web2 以及硬件之应用以加速和链间扩展性，也有更多的技术储备。 现在生态不仅更适合开发者还有项目可构建自身的生态系统，更吸引了多个应用，包括 DeFi、钱包、跨链、NFT 、基础设施等多个领域，不过 zkSync Era 还处在 Alpha 阶段，生态内许多项目皆属于其他网路的应用迁移，极少原生应用，其风险性依旧未知。 3. Polygon zkEVM Polygon zkEVM 主网测试版本 3 月 27 日 正式上线，Vitalik 在上面完成了第一笔交易，这次与 EVM 完全兼容，这也意味着它支持与以太坊相同的程式代码。在过去的一年中，Polygon 是收入最高的链，收入超过 2600 万美元，而 Arbitrum 和 Optimism 分别为 1900 万美元和 1800 万美元。 而在去年 10 月上线测试网以来，已取得许多重要的里程碑，包含生成超过 75,000 个 ZK 证明，部署 5,000 个智能合约，大量交易生成的证明成本低至 0.06 美元等。 这一次主网更有突破性发展，Polygon zkEVM 已经通过了 100% 适用于 zkEVM 的以太坊测试向量，开发人员无需修改或重写任何程式码，且所有以太坊工具都可以与 Polygon zkEVM 无缝协作，意味着在 ZK Rollup 的 EVM 兼容再迈出一大步，推测已达到 type 2 的水平，完全等效于 EVM。 会说 Polygon zkEVM 继承了以太坊的安全性，是因 Sequencer 做了类似以太坊 Proposer 的工作，提议了一批交易是有效交易，并且给出了这批交易执行后的新状态；而 L1 合约的验证逻辑，相当于所有 L1 的 Validator 都会在自己的以太坊客户端里执行一遍，实际上是所有的以太坊验证者充当了 Rollup 的验证者，因此才可以验证 Polygon zkEVM 完全等同 L1。 根据 DuneAnalytics 数据，Polygon zkEVM 上线近 24 小时，已超过 2,500 名用户完成超过 2,700 笔、88 万美元的跨链交易量，今（4/14）Polygon TVL 约 360 万美元。 在过去的一年中，Polygon 是所有链中收入最高的，超过 2600 万美元，而 Arbitrum 和 Optimism 分别为 1900 万美元和 1800 万美元。 然而，根据 Token Terminal 的数据，由于代币激励措施让项目平均每年约多负 3 亿美元，但这对 Polygon 拥有的 24 亿美元资金库来说根本不到占比的 15%。 ZK 系以太坊二层扩容产品的竞争意味浓烈，目前 Polygon zkEVM 在 EVM 兼容性上看似暂时胜出，因此可以推测下一个竞争点则是正式上线主网的时间，以及谁先建立稳固的生态系统，预测 L2 将在今年 Q2 到 Q3 成为整个市场的热点。 4. Scroll Scroll 和 Polygon EVM 分别在开源技术上被市场认为做的最好的项目，除此之外，EVM 兼容程度也非常类似， V 神提出的 4 种不同类型的 ZK-EVM 类型按照兼容或是等效程度从高排列，Zk-sync是 4 型，而 Scroll 和 Polygon 都是组在第 3 型正过渡到第 2 型的发展中。 Scroll 共同创办人 Sandy Peng 4 月 10 日在 Foresight 香港峰会中宣布将推出激励生态的合作计划，未来 3 到 4 个月就会上线主网，近期还以 18 亿美金的估值完成第三轮融资。 Scroll 于去年 8 月宣布试行第一个 Pre-alpha 测试网，使用户能够在该网路上进行交易，并且于今年 1 月 16 日首次完成测试网重置。根据最新消息指出，目前 Scroll 的 Alpha 测试网正式在 Goerli 测试网运行，已经从 Pre-alpha 阶段过渡到 Alpha 测试阶段，在 Alpha 测试网截至上周也已产生超过 100 万个区块。以技术来看，Scroll 开发了世界上最快的 GPU prover，允许任何人利用 GPU 机器搭建证明节点，实现去中心化。 加入的节点越多，算力越大，成本越低，从而激励社区更新更好更快的硬件，迭代专属于 ZK 的 ASIC，进一步缩小 L1 的最终确认时间和证明成本。在ZK Rollup赛道，Scroll 拥有最高的硬件计算效率，除了技术层面，Scroll 团队追求社会和文化层面的去中心化。 2022年，Scroll 团队增加了 39 名成员，分布于 20 多个城市，10 多个时区。其中超过 30 位都是 ZK 或者区块链研究员和开发者。 除了在EVM兼容方面的优秀表现，Scroll证明节点的去中心化和开源的社区经营都体现了以太坊的正统性，达到了价值观层面的“兼容”，顶级硬件速度为 Scroll 注入了更大的潜力。 且Scroll 的三个设计原则或核心价值(社群驱动、安全第一和各个层面的去中心化)是项目的竞争优势。今年注入新资金后，Scroll 计划继续构建其产品，推出其主网并扩大其生态系统。为此，团队表示 Scroll 未来会寻求将目前的团队规模从 60 人左右增加到近 100 人。 5. Linea Polygon zkEVM 主网 BETA 上线，带给 zkEVM 新热度；ConsenSys 官方也宣布其 ConsenSys zkEVM 更名为 Linea，并已向所有开发人员、用户与协议开放测试网并原生集成了 MetaMask 和 Truffle 等工具；加上此前 Consensys 共获超 7 亿美元的融资（多于 Arbitrum 和 zkSync），由 Microsoft，SoftBank，Temasek，Coinbase Ventures 等参与投资。 而 Linea 技术亮点即是不使用转译器或自定义编译器为 Solidity 智能合约生成 zk 证明，采用的是编译后的 Solidity 字节码。不仅可以降低漏洞和黑客攻击的表面风险，且他们提供的创新证明者设计可确保更快的交易速度和更低的 Gas 成本。 Linea 写道：“我们创新的证明器（Prover）设计确保了更快的交易速度和更低的 Gas 成本，而不会牺牲安全性。”就在向公众开放 Linea 测试网后，仅在第一周，就看到了 270 万笔交易、354,000 个唯一钱包地址、75,000 个已部署合约和 26,000 个关注者，所以 ConsenSys 官方接着宣布创建了开放版纪念 NFT 来庆祝 Linea 的公开测试网发布。 结语 先不说以太坊本未来是否有机会会升级到 Type 1 zkEVM 以进一步进行链上扩展。目前单从 Type 2 到 Type 4 的外部 zkEVM 赛道来看，为开发人员和用户提供独特的定制和 UX 造就了蓬勃生态，这往往是现在以太坊 L1 无法做到的。 以 ZK rollups 技术展开的项目不难看出最终目标都是 zkEVM，而从去年至今将是日常加密货币用户将能够首次尝试 zkEVM 的一年。去年年底市场给出 2023 年的建议是“在 zkEVM 成熟之前，市场格局应该依然是以 OP 主、ZK 为辅”，但今年年初大多 ZK 项目纷纷确认主网上线，看来时机会比去年格局来的更快，在技术上也更稳定了不少。 来源：金色财经lg...
北美站
