探索 circle STARKs - 聚币网官网

Vitalik Buterin 在最新的文章《深度探索STARKs技术》中指出，STARK 协议设计的最重要趋势是小范围运作，这种转变导致证明速度有了显著提升。他指出，Starkware 目前在 M3 笔记本上每秒能够证明 620,000 个 Poseidon2 哈希值，这意味着制作高效 ZK-EVM 的最困难部分得到了解决。

他强调称，通过结合Mersenne31、BabyBear 和 Binius 等二元场技术，他们正接近 STARK“基础层”效率的极限。他预计，STARK 优化的前沿将转向对哈希函数和签名等原语进行最有效的算术运算，并为此目的优化这些原语本身，实现更多的并行化，对虚拟机进行算术运算以改善开发人员体验，以及其他更高级别的任务。这表明STARK技术正不断发展并朝着更加高效和复杂的方向迈进。