zkSync

zkSync 是一种 Layer-2 扩展解决方案，通过利用最新一代的简洁零知识证明来保留底层区块链的安全属性。zkSync 中的所有资金都存储在主链上的智能合约中，而计算和存储则在链下进行。对于每个 Rollup 区块，都会生成一个状态转换零知识证明 (SNARK)，并由主链合约进行验证。该 SNARK 包含了 Rollup 区块中每笔交易的有效性证明。