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