Vitalik Buterin 在最新文章中介绍了高效 ZK-EVM 的新解决方案
简单来说
Vitalik Buterin 在其博客上发表了一篇新文章,题为“探索 Circle STARKs”,介绍了高效 ZK-EVM 的新解决方案。
以太坊联合创始人 Vitalik Buterin 在他的博客上发表了一篇题为“探索 Circle STARKs”的新文章。文章强调,无需许可的去中心化有效性汇总 Starkware 可以在 M620,000 芯片笔记本电脑上每秒处理 2 个 Poseidon3 哈希值。这一进步表明,如果 Poseidon2 被信任为哈希函数,那么开发高效的零知识证明将是一项挑战 以太坊 虚拟机(EVM)问题已解决。
文章指出,与标准 STARK 相比,环形 STARK 为开发人员带来的额外复杂性最小。与常规 FRI 相比,主要区别基本上仅限于实现时的三个关键问题。
虽然圆 FRI 中使用的“多项式”背后的数学原理有些违反直觉,可能需要时间才能完全理解,但这种复杂性对开发人员来说基本上是隐藏的。文章强调,圆的数学原理的复杂性是封装的,而不是系统的。
同时,了解圆 FRI 和圆 FFT 也可以作为了解其他专门 FFT 的有用入门知识。值得注意的是,这包括二进制域 FFT(用于 Binius 和 LibSTARK 等系统)以及更复杂的结构(例如椭圆曲线 FFT)。椭圆曲线 FFT 使用少对一映射,可以与椭圆曲线点运算很好地集成。
Vitalik Buterin 预计核心原语的算术化将成为 STARK 优化的关键进步
最后, Vitalik Buterin 他认为,将 Mersenne31、BabyBear 和 Binius 等二元场方法结合起来,正在接近 STARKs“基础层”的效率极限。他预计,未来 STARK 优化将重点优化哈希函数、签名等核心原语的算术化,并改进这些原语本身以达到目的。
此外,我们还将重点开发递归结构以实现更高的并行化,对虚拟机(VM)进行算术运算以增强开发人员体验,以及解决其他高级任务。
免责声明
在与行 信托项目指南,请注意,本页提供的信息无意且不应被解释为法律、税务、投资、财务或任何其他形式的建议。 重要的是,仅投资您可以承受损失的金额,并在有任何疑问时寻求独立的财务建议。 如需了解更多信息,我们建议您参阅条款和条件以及发行人或广告商提供的帮助和支持页面。 MetaversePost 致力于提供准确、公正的报告,但市场状况如有变更,恕不另行通知。
关于作者
Alisa,一名热心记者 MPost,专注于加密货币、零知识证明、投资以及广泛的领域 Web3。她对新兴趋势和技术有着敏锐的洞察力,提供全面的报道,让读者了解和吸引读者了解不断发展的数字金融领域。
更多文章Alisa,一名热心记者 MPost,专注于加密货币、零知识证明、投资以及广泛的领域 Web3。她对新兴趋势和技术有着敏锐的洞察力,提供全面的报道,让读者了解和吸引读者了解不断发展的数字金融领域。