随着 SNORK （Succinct Non-interactive Oecumenical (Universal) Arguments of Knowledge）的出现，上述的这些情况开始发生了变化，SNORK 是基于不同的一组被称作多项式承诺方案加密模型的新一代零知识证明。尽管仍然需要受信设置，但它现在已经是通用的并且可以更新。完成一次后，可以随时在任何不同的程序中继续使用。Findora 所研发的 Supersonic 正是一种全新的完全简洁且透明的 ZK-Snark 技术。

目前来看：现在在 ZKP 上建立通用智能合约的障碍已经消除。ZK Rollup 完全能够支持与 EVM 相同的编程模型（包括无缝对接的可组合性和互操作性）。尽管 Solidity 开发人员的学习时间不会超过 1 天，但最初的合同可能需要专用的 DSL。最终，鉴于零知识证明技术的最新发展步伐，我们希望所有现有的 ETH 合同都能以最小的努力有效地移植。

拓展性和交易成本

Optimistic Rollup

• 目前的估算是每笔传输约有 4k gas/tx。
• 相当于约 100 TPS
• 使用 BLS 签名聚合时，此数字最多可以达到 500 TPS。
• 如果 EVM 兼容性受到破坏，则吞吐量理论上可能会增长到 ZK Rollup 的极限。
• 实际吞吐量上限（令牌传输）：500 TPS。

ZK Rollup

• 物质测试网中每次传输 tx 的公共数据成本目前为 16 字节，花费 272 gas/tx。
• 此外，证明的费用，估计约为 30 万 gas。
• 即使我们假设在最坏的情况下需要提供 1M gas 的证明成本，估算的交易上限仍将超过 2140 TPS。
• gas 成本是一个很大的瓶颈，因为它具有去中心化防审查性。我们预计该因素会随着时间的推移而显着下降。
• 实际吞吐量上限（令牌转移）：超过 2000 TPS-类似于 VISA。

在许多案例中，ZK Rollup 是可以节省很大一部分的成本的，尽管 Optimistic Rollup 要求用户发布完整的交易输入，ZK Rollup 一个很大的区别是用户可以在两个选项中不需要很复杂操作再做出选择，在 ZK Rollup 中，我们可以在下列两个选项中灵活地选择：

1. 交易输入减去见证人并不影响状态转换，
2. 仅发布交易输出。

由于任何 Rollup 都将留在每个区块碎片中，因此除非带宽变得更便宜，否则 CALLDATA 的成本（以及 Rollup 交易成本）不会发生很大变化。

Optimistic Rollup 目前还在概念证明阶段。希望我们能够尽快看到主网上的版本。如果事实证明移植现有代码相对容易，则很多项目将会逐渐开始采用它并建立新的基础架构：例如 L2 技术支持将出现在钱包中等等。

对于以太坊来说，两种 Rollup 类型都必须在电子钱包，预言机和其他智能合约组件中进行类似的基础结构更改。

Findora 将从底层部署 ZK Rollup，直接支持这个在以太坊上只有在 L2 上才有的扩容解决方案。虽然以太坊里的 ZK Rollup 在一些应用场景方面，例如代币交易，已经十分成熟，但是完全通用的智能合约还是有一段时间才能到达可被主网采用的版本。 (责任编辑：admin)