金色观察｜简述zkSync的运行原理

zkSync是一种无需信任的协议，用于在以太坊上进行可扩展的低成本支付，由 zkRollup 技术提供支持。它使用零知识证明和链上数据可用性来确保用户的资金安全，就像这些资产从未离开过主网一样。

以太坊的 Gas 费用每月超过 4000 万美元. 使用 zkSync，这些成本可以减少到很小的一部分。

zkSync的功能

主网级安全，零依赖第三方；

ETH 和 ERC20 代币转账，在 L1 *上具有即时确认和 10 分钟确定性；

超低交易费用（ERC20 代币约为主网成本的 1/100，ETH 转账约为主网成本的 1/30）；

无需注册即可接收资金；

可支付给现有的以太坊地址（包括智能合约）；

在被转移的代币中方便地支付费用；

在大约 10 分钟内提款到主网；

多重签名支持；

无需许可的智能合约（即将推出）；

zkSync优势

zkSync 得益于密码学和链上数据可用性的结合，zkRollup（zkSync 的核心技术）是唯一不需要任何操作活动来保证资金安全的 L2 扩展解决方案。例如，用户可以离线一年，然后在没有任何外部帮助的情况下安全地提取资产。

所有资金都由主链上的智能合约持有，计算和存储在链外进行。主要思想是，不是单独验证每笔交易，而是将交易“汇总”为单个项目（汇总块），然后对其进行验证，同时批准所有交易。

工作原理

用户签署交易并将其提交给验证者。

验证者将数千笔交易汇总到一个区块中，并将新状态的加密承诺（根哈希）连同加密证明（SNARK）一起提交给主网上的智能合约，证明该新状态确实是将一些正确的交易应用到旧状态。

除了证明之外，状态（每笔交易的少量数据）在主链网络上以低价发布calldata。这使任何人都可以随时重建状态。

证明和状态由智能合约验证，从而验证区块中包含的所有交易的有效性和区块数据的可用性。

SNARK验证比单独验证每笔交易便宜得多，并且将状态存储在链外比将其存储在 EVM 上便宜得多。因此，可大幅提升可扩展性（约 100-200 倍主网容量）并节省 tx 成本。

最终，zkRollup 架构提供了以下保证：

验证者永远不会破坏状态或窃取资金（与侧链不同）；

即使验证者停止合作，用户也始终可以从 zkRollup 智能合约中取回资金，因为数据是可用的（与 Plasma 不同）；

用户和单个受信任的第三方都不需要在线监控 zkRollup 块以防止欺诈（与防欺诈系统不同，例如支付渠道或 Optimistic Rollups）；

可以总结为，zkRollup 严格继承了底层 L1 的安全性。