Vitalik Buterin 发文《探索 circle STARKs》

Vitalik Buterin 发文《探索 circle STARKs》，文章表示，过去两年中，STARK 协议设计中最重要的趋势是转向在小范围运作，这种转变导致证明速度有了显著提升，目前 Starkware 能够在 M3 笔记本上每秒证明 620,000 个 Poseidon2 哈希值，这意味着如果我们愿意信任 Poseidon2 作为哈希函数，那么制作高效 ZK-EVM 的最难的部分就得到了有效解决。 Vitalik 认为，通过 Mersenne31、BabyBear 和 Binius 等二元场技术的结合，我们确实觉得我们正在接近 STARK“基础层”效率的极限。在这一点上，我预计 STARK 优化的前沿将转向对哈希函数和签名等原语进行最有效的算术运算（并为此目的优化这些原语本身），进行递归构造以实现更多的并行化，对 VM 进行算术运算以改善开发人员体验，以及其他更高级别的任务。