2024-07-23
【Vitalik 发文探讨 circle STARKs,高效 ZK-EVM 存在最新解决方案】
最新消息,VitalikButerin发布最新文章《探索circleSTARKs》,文章指出Starkware能够在M3芯片笔记本上每秒证明620,000个Poseidon2哈希值,这意味着如果我们愿意信任Poseidon2作为哈希函数,那么制作高效ZK-EVM的最难部分之一实际上已经解决了。
其表示,与常规STARK相比,circleSTARK不会给开发人员带来太多额外的复杂性。circleFRI所操作的“多项式”背后的数学原理相当违反直觉,需要一段时间才能理解和领悟。但恰好这种复杂性被隐藏起来,开发人员无法察觉。Circle数学原理的复杂性是封装的,而不是系统的。
Vitalik认为,结合Mersenne31、BabyBear和像Binius这样的二进制域技术,感觉正在接近STARKs“基础层”的效率极限;预计STARK优化的前沿将转向对哈希函数和签名等原语进行最有效的算术化(并优化这些原语本身以实现这一目的)、制作递归结构以实现更多并行化、对虚拟机进行算术化以改善开发者体验,以及其他更高级别的任务。