一文了解zkSync和StarkNet扩容方案：证明机制、链上数据和生态发展
零知识证明技术是指一方（证明者）可以向另一方（验证者）发送某一声明，另一方可以在不获知信息的前提下，验证该声明是真实的。那么 zksync 与 StarkNet 这两个顶级 ZK rollup 之间的区别是什么呢？
原文作者：Ethereum Daily
编译：深潮 TechFlow
零知识证明技术是指一方（证明者）可以向另一方（验证者）发送某一声明，另一方可以在不获知信息的前提下，验证该声明是真实的。那么 zksync 与 StarkNet 这两个顶级 ZK rollup 之间的区别是什么呢？
zkSync 和 StarkNet 是使用 ZK rollup 技术扩展以太坊网络的两个最顶级的第 2 层 (L2) 解决方案。
首先，让我们快速总结一下 zkSync 和 StarkNet。
- MatterLabs 于 2020 年 6 月将 zkSync V1 作为 SNARK 证明 rollup 协议发布到以太坊主网。
- 2022 年 10 月，MatterLabs 启动了名为“Baby Alpha”的 zkSync 2.0 主网的第一阶段。
- 2021 年 11 月，StarkWare Ltd. 发布了 StarkNet，这是以太坊测试网上的 STARK 证明 rollup 协议。该协议在当月晚些时候以 Alpha 版本 0.4.0 发布到主网。
zkSync 和 StarkNet 的一个关键区别是，它们利用不同的证明协议，分别为：
- SNARK (简洁的非交互式知识证明）；
- STARKs (可扩展的透明知识证明)。
SNARK 和 STARKs 证明之间的根本区别：
- 安装程序；
- 可扩展性；
- 抗量子计算机攻击；
ZK-SNARK 和 ZK-STARKs 之间的区别：
- 事实证明，ZK-STARKs 比 ZK-SNARKs 快 10 倍。
- 然而，ZK-STARKs 目前的一个缺点是技术还不是很成熟，这限制了它的通用性。
StarkEx 与 StarkNet 相比，StarkEx 不是一个 ZK-rollup，而是一个可定制的 Layer-2 SaaS（软件即服务），它使用 STARK 证明来为应用程序提供大规模扩展。
关于【一文了解zkSync和StarkNet扩容方案：证明机制、链上数据和生态发展】的延伸阅读
加密杂谈：对RaaS和Eigenlayer的一些看法
本文讨论了加密货币领域的热门话题，包括Rollup技术、Restaking、LRT、AVS和Eigenlayer。作者认为目前情况并不乐观，团队进展缓慢，Rollup部署过多也不利。对于Restaking、LRT、AVS和Eigenlayer的不满，存入ETH数量巨大，但空投效果不佳。团队发布庞大白皮书，但工作原理和概念仍不清楚。Eigenlayer决定暂不启用惩罚机制，但是否有必要为每个新兴协议提供近十亿美元的用户Restaking ETH并面临风险？惩罚机制将在不到一年内启用，操作者是否意识到Restaking风险？或许会有其他平台蚕食Eigenlayer的市场份额。
详解 OP Stack Rollup 流程及对应代码
Optimism Bedrock是当前版本的OP Stack，提供了启动生产质量的Optimistic Rollup区块链的工具。它包括op-batcher和op-proposer两个服务，负责从sequencer读取交易内容并rollup到链上，以及将交易状态rollup到合约。文中介绍了如何使用recordL1Tip和l1Tip来获取最新的L1BlockRef，以及如何收集和提交交易数据。每个事务仅使用一帧，如果通道已满，则仅返回剩余帧，直到成功发送到L1。sendTransaction将交易发送到一层，并更新交易发送状态。FetchNextOutputInfo获取L2上的区块output，NextBlockNumber获取下一批次需要提交的区块区间，SyncStatus获取L2块的状态和块信息，OutputAtBlock根据块高获取output，sendTransaction使用output构建stateRoot提交交易到一层链。
几个关键点：
- StarkNet 是一个通用的rollup链；
- StarkEx 是一个专门为应用程序制作的工具套件；
- StarkNet 可以扩展 Ethereum；
- StarkEx 可以扩展去中心化交易所；
- StarkNet 允许 DApps 之间的互操作性，但 StarkEx 不允许；
了解它们的不同之处很重要，因为使用 StarkEx 的 DApps 通常是 StarkNet 生态系统的一部分，但像 TVL 这样的指标是完全不同的。
zkSync 生态系统中的一些链上亮眼数据：
- 根据 L2beat，zkSync 的 TVL 为 5297 万美元，尽管没有代币；
- 根据 Orbiter Finance，zkSync 是交易量排名第三的 L2；
- 超过 300 个项目加入 zkSync 生态系统；
- 总融资额：4.58 亿美元；
StarkNet 生态系统中的一些链上亮眼数据：
- 根据 L2beat 的说法，StarkNet 尽管没有代币，但有 461 万美元的 TVL；
- 超过 200 个项目加入了 StarkNet 生态系统；
- 总融资额：2.73 亿美元，由 StarkWare 提供；
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：Ethereum Daily，如有侵权请联系删除。转载或引用请注明文章出处！
