ZK-Rollup：比较zkSync和StarkWare|以太坊

　　我们比较了zkSync和StarkNet——它们是两个突出的ZK-Rollup，它们以扩展以太坊੠网络为目标。ZK-Rollup是什么？zkSync和StarkNet有什么不同？什么是SNARK和STAÁRK？今天我们就来看看这些问题的答案&#260e;，同时也探索一下每个协议各自的路线图和生态系统。

　ો　∀内±容提要：

ó

　　为了能够最大限度地理解本文，首先应该对区块链基础知ιì识和第2层扩展有充分的了解。

　　zΙkSync和StarkNet是两个最大的第二层（L2）解决方案，利用ZK-Rollup技术来扩展以ε太坊网络。&#25b2;

　　在我们讨论ZK-Rollup之前，我们应该先了解什么是零知识证明（ZKP），以及它们在Rollup中如何使用？在密码学中，零知识证明或协议是一种方法，Ν通过这种方法，一方（证明者）可以向另一方（验证者）证明给定的陈述是正确的，χ同时避免在陈ષ述是正确的事实之外披露其他的信息。

‰

　　在ZK-Ro⊗llup的情况下，Ρ一个sequencer节点会批量处理数百个Rollup链交易，生成一个SNARK或STARK证明（稍后详细介绍），然后将这些交易发布到第一层。这些证明被称为有效性证明，在将交易的状态发布到以太坊主网之前，对交易进行加密验证。

　　♨与Optimistic Rollup相比，ZKP 允‾许 ZK-Rollup 具有可忽略不计的提款延迟以及更高级别的安全性，因为我们不需要等待防欺诈窗口关闭或依赖于交易验证者的诚实ⓦ。

　　除了这些优点之外，ZK-Rollup还具有在未来迭代中支持私人交易的潜力。像Zcash和੎Aztec Networਭk这样≥的项目已经实现了ZK-proof的隐私保护功能，zkSync也公开表示打算让他们的交易在未来变得更私密。

　　与Optimistic Rollup相比，ZK-Rollu从੒理论上来说，在每ℜ秒交易（TPS）上限、交易终止时间和安全性方面具有优势。但是，它们在EVM兼容性方面却不尽如人意。ZK-Rollup的这些特性使得Vitalik Buterin相信，在短期≅内，Optimistic Rollup可能在通用EVM计算中更优越。但从中期到长期来看，随着技术的改进，ZK-Rollup将在所有用例中胜出。

憨

　　现在我们已经对ZK-Rollup的工作方式有了直观的理解，可以开始»zkSync和StarkNet઻的比较之旅了。

Ξ

　　zkSync V1是MatterLabs于2020年6月向以太坊主网发布的SNARK证明Rol੖lup协议。MatterLabs于2022年2月在以太坊测试网上发布了第一个兼容EVM的ZK-Rollup zkSync V2Š。

　　Stark²Ne▤t是StarkWare Ltd．于2021年11月在以太坊测试网上发布的STARK证明Rollup协议。该协议在Alpha版本0.4&.0时，于同月晚些时候发布到了主网。

　　zkSync和શStarkNet之间的一个关键区别是，它们使用了不同૜的验证协议，称为SNARK（简洁的非交互式知识论证）和STAÑRK（可扩展的透明知识论证）。

　　SNARK和STARK的根本'区别在于它们的设置过程、可扩Φ展性和量子计算机的抗੨攻击能力。

　　ZK-SNARK必须经过一个可信的设置阶段，在其中我们必须信任一小群开发人员不会操纵代码或泄ણ露♥漏洞信息。这个设置只需要完成一次，并且不存在重大的安全风险，但却破坏了它的去中心化◑。

　　另一方面，ZK-STARK使用公◯开可验证઎的随机性来创建去õ信任的可验证系统，从而无需信任设置。STARK目前也具有量子弹性，而SNARK有可能被量子计算机攻击破解。

　　最后，ZK-STARK在计ⓖ算速度和大小上也ω比ZK-SNARK更可扩展，有可能提高10倍的速度。然而，ZK-STARK目前的一个缺点是，该技术还不是很成γ熟，这限制了它的通用性。

　　由于zkSync和StarkNet使用了两种不同的方法，它们在EVM兼容性上也有ⓒ所不同。zkSync V2 声称 99% EVM 与 Solidity 和 Vyper 兼容，需要先编译成中间语言☺Yul，然后੆再通过LLVM编译成 zkEVM 字节码。此外，zkSync支持他们的ZKP优化的类Rust的语言Zinc，它可以使用LLVM直接编译成字节码。然而，Zinc 目前还不是图灵完备的，由于zkSync专注于Solidity 兼容性，其开发自2021年9月以来已经停止。

　　另一方面，StarkNet目前并没有开发EVM兼容性。要在StarkNet©上部署智能合约，开发人员需要学习Cairo，它是StarkWare为STARK可验证程序构建的一种编程语言。另外ϑ，智能合约开发者也可以选择使用NetherindEth开发的Warp将他们的Solidity代码转换为Cairo。但仍然有一些 Sરolidity 特性不被转译器支持，并且与 zkSync V2 的 EVM 兼容相差甚远。

　　我们µ可能听说过Sta♧rkEx，它是StarkWare的另一项主要技术。StarkEx不是一个ZK-Rollup，而是一个可定制的第二层SaaS（软件即服务），它使用STARK证明&#260e;为应用程序提供大规模扩展。

　　Ϭ为了避免混淆两者，最简单的方☎法就是记住以下几点：

　　理解这两者之间的差异很重要，因为虽然使用 StarkEx 的 DApp 被包含在 S੖tarkNet 生态系统中是很常见的，但 ∋TVL▒ 等指标是完全独立的。

　　现在我们来看看StarkçNe૤t和zkSync各自的生态系统。下面是一个图形对比。ડ

　　截至2022年7月12日，zkSync的 （V1 & V2） TVL为5700万美元。整个协议ⓥ也是100%开源的，他们的 Github 存储库目前有 1.4k 星和 350 多个分叉。它们的基础架构主要是用ૠRust和Typescript构建的。目前有112个dapp构建在zkSync上，其&#25d0;中10个在主网上。zkSync上的一些著名项目包括Zigzag，Argent等。

　　StarkNet的TVL目前约为63.5万美元，有78个dapp正在开发中，只有少数应用在主网上。与其他著名的Rollup协议不同ઝ，Sta💼rkNet目前是非开源的，它的基础设施是用Cairo构建的。StarkNet上一些著名的协议包括ArgentX （Argent为StarkNet开发的W&#261c;eb3钱包）和Orbiter Finance（一个去中心化的跨Rollup桥）。

　　当比较他们在社交媒੊体上的表现时，zkSઝync在Twitter上有大约有ⓥ87K的关注者，在Discord和Telegram上有差不多的成员数量。

　　正如我们所看到的，zkSync和StarkNet的生态系统远不如Optimism和Arbitrum等Optimistic Rollup协议的生态系统成શ熟。然而，®zkSyncત和StarkNet都拥有强大的用户和开发者社区，前景广阔。

　　在短期内，zkSync一个重大里程碑将是દ他们的V2 Alpha主网发布，目前还没有具体的发布日期。zkSync的长期计划包括完全去中心化、zkSyncà代币空投以及实现隐私保护智能合约。作为去中心化计划的一部分，他们未来œ的代币将用于质押，以便成为zkSync网络上的验证者。

　Ε　Sta࠽rkWare的短期目标是升级他们的AlphÉa主网，为稳定版本做准备。他们的长期目标有三个方面：建立可用性、提高性能和去中心化。

　　അStarkWare认为他们已经完成了第一个目标，目前他们的开发重点是改善吞吐量、交易成本和延ૉ迟问题。StarkWare最近还发布了他们的去中心化提案，其中包括计划于2022年9月发布的StarkNet代币空投公告。StarkNet的代币将用于系♥统治理、交易费用支付和参与StarkNet的共识机制。

24小时滚&#263e;动播报♠最新的财经资讯和ત视频，更多粉丝福利扫描二维码关注（sinafinance）

新È浪财经意▩见反馈৻留言板

Allƒ Rights ReserveƎd 新浪公司Ã 版权所有