Vitalik：circle STARKs 不会给开发人员带来太多额外的复杂性

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

本文标签：

声明：本文由代码号注册/游客用户【澜漪】供稿发布，本站不对用户发布的Vitalik：circle STARKs 不会给开发人员带来太多额外的复杂性信息内容原创度和真实性等负责。如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。

很赞哦！ ()