5988：一项开发 EVM 和 ZK powered rollups 之间互操作性的新提案

提案 5988 的作者之一阿卜杜勒哈米德·巴赫塔 (Abdelhamid Bakhta) 在 All Core Devs 期间介绍了该提案，这是一次双周会议，主要开发人员讨论升级的未来。 该提案旨在增强 EVM 和 ZK 支持的汇总之间的互操作性，同时降低零知识扩展解决方案所产生的成本。

Bakhta 在代表该提案时表示，Poseidon 是一种 ZK 友好的哈希函数，使其在 ZK 上下文中非常高效。 Bakhta 进一步补充说，它将启用一组用例。 提交的提案还详细讨论了 Poseidon，以强调它匹配或兼容所有大型证明系统。

尽管升级带来了一些好处，但一些专家警告不要对 EVM 进行任何仓促的调整。

Dankard Feist 称这项研究 过早，并补充说该代码可能会带来无法预料的安全风险。 以太坊方正研究员也表示，还有很多我们还不知道。 出于安全考虑，将任何算术哈希函数写入 EVM 为时过早; 费斯特在声明中引用。

Vitalik Buterin 在一次电话会议中谈到对 EVM 进行最小的更改，并表示有必要为开发人员提供一个稳定的环境。 Buterin 的声明说 应用程序是用 EVM 代码编写的。 如果 EVM 发生变化，则应用程序不会发生变化。

使 Poseidon 成为预编译的良好候选者的原因是它与所有主要证明系统的兼容性。 它目前由 Polygon、StarkWare 和 Loopring 部署。

假设该提案得到实施，它将在结算、可扩展性和隐私方面带来改进。 虽然结算速度会快得多，但用户的可扩展性和隐私性也会增加。 基于 ZK 的解决方案大多与 optimistic rollups trade 进行比较； 他们因提高 EVM 兼容性能力以降低可扩展性而受到赞誉。

换句话说，开发人员可以将他们的代码从以太坊主网移植到 optimistic rollups。 使用零知识证明构建的汇总则不同。

该提案于 05 年 2023 月 XNUMX 日提出，重点是在生成存储证明时与 ZK-rollups 相关的高额费用。 这个问题归因于以太坊未能提供任何 ZK 友好的哈希函数。

该提案处于早期阶段，可以谨慎实施。 专家们已经通过过早调用散列函数发出了警告。 仓促的调整可能会使社区面临安全风险。 随着提案的推进，肯定会收集更多详细信息。 与此同时，Arbitrum 和 Polygon 在以太坊第 2 层占据主导地位，据报道总价值锁定在 81%。