Vitalik Buterin,以太坊 的天才少年,抛出了一颗重磅炸弹。他介绍了 Circle STARKs,一种新的密码协议。这将彻底改变区块链的安全性和效率。
Buterin 在他最新的博客文章中详细说明了这一切。该协议使用像 Mersenne31 这样的小域。这显著提高了证明速度,同时不会牺牲安全性。
“过去两年 STARK 协议设计中最重要的趋势是转向小域操作,”Buterin 写道。
传统的 STARK 使用 256 位域。它们安全但笨重。Circle STARKs 改变了游戏规则。它们大幅降低了计算成本。证明速度飞涨。
收益是显著的。一台 M3 笔记本电脑每秒可以验证 620,000 个 Poseidon2 哈希。这是一个大突破。
但有一个问题。小域容易受到暴力攻击。但 Buterin 有一个解决方案。Circle STARKs 执行多次随机检查,并且还使用扩展域。
这给潜在的攻击者造成了巨大的麻烦。计算障碍极高,它保持了协议的安全性。
Buterin 解释了这个问题:“对于小域 STARK,我们有一个问题:大约只有二十亿个可能的 x 值可供选择,因此攻击者只需尝试二十亿次就能生成虚假证明——很多工作,但对于一个有决心的攻击者来说是完全可行的!”
Circle STARKs 引入了一种称为 Circle FRI 的新方法。它对于保持密码完整性至关重要。非多项式输入无法通过证明。这是一个聪明的解决方法。
结论?Circle STARKs 提供了更高的性价比。它们灵活且多功能,是区块链世界中计算性能的重大进步。