zkSync
Matter Labs 的免信任扩展和隐私引擎建立在 ZK Rollup 之上。
zkSync 是以太坊的扩展和隐私引擎。其当前的功能范围包括以太坊网络中以太坊和 ERC20 代币的低气量转移。本文档描述了可用于与 zkSync 进行交互的 JS 库。
zkSync 建立在 ZK Rollup 架构之上。ZK Rollup 是一种 L2 扩展解决方案,其中所有资金都由主链上的智能合约持有,而计算和存储则在链外进行。对于每个 Rollup 区块,主链合约都会生成状态转换零知识证明 (SNARK) 并进行验证。此 SNARK 包括 Rollup 区块中每笔交易的有效性证明。此外,每个区块的公共数据更新都通过主链网络在廉价的calldata中发布。
该架构提供以下保障:
Rollup 验证器永远无法破坏国家或窃取资金(与侧链不同)。 即使验证者因为数据可用而停止合作,用户也可以随时从Rollup中取回资金(与Plasma不同)。
得益于有效性证明,用户和其他任何可信方都无需在线监控 Rollup 区块以防止欺诈。
换句话说,ZK Rollup 严格继承了底层 L1 的安全保障。