【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 进行算术运算以改善开发人员体验,以及其他更高级别的任务。
白话区块链|同步全球区块链资讯、区块链快讯、区块链新闻
本站所有文章数据来源:金色财经
本站不对内容真实性负责,如需转载请联系原作者
如需删除该文章,请发送本文链接至oem1012@qq.com