zkSync

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