Vitalik发文探讨circle STARKs，高效ZK-EVM存在最新解决方案

本站 消息，7 月 23 日，Vitalik Buterin 发布最新文章《探索 circle STARKs》指出，Starkware 能够在 M3 芯片笔记本上每秒证明 620,000 个 Poseidon2 哈希值，这意味着如果我们愿意信任 Poseidon2 作为哈希函数，那么制作高效 ZK-EVM 的最难部分之一实际上已经解决了。

其表示，与常规 STARK 相比，circle STARK 不会给开发人员带来太多额外的复杂性。circle FRI 所操作的「多项式」背后的数学原理相当违反直觉，需要一段时间才能理解和领悟。但恰好这种复杂性被隐藏起来，开发人员无法察觉。Circle 数学原理的复杂性是封装的，而不是系统的。

Vitalik 认为，结合 Mersenne31、BabyBear 和像 Binius 这样的二进制域技术，感觉正在接近 STARKs「基础层」的效率极限；预计 STARK 优化的前沿将转向对哈希函数和签名等原语进行最有效的算术化（并优化这些原语本身以实现这一目的）、制作递归结构以实现更多并行化、对虚拟机进行算术化以改善开发者体验，以及其他更高级别的任务。

本文 原创，转载保留链接！网址：https://licai.bangqike.com/bixun/657453.html