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