时间:2025-09-19 作者:游乐小编
7月24日的新闻报道中,以太坊的联合创始人Vitalik Buterin介绍了一种名为Circle STARKs的新型加密协议。这一协议旨在显著提升区块链技术的安全性和运行效率。Buterin特别强调了这一技术突破的关键在于巧妙地利用了如Mersenne31等较小的领域,这不仅保持了高水平的安全性,还极大地加快了验证速度。
传统的可扩展透明知识参数(STARK)通常在256位字段上运行,虽然确保了安全性,但也因此牺牲了一些效率。Circle STARKs通过采用更小的字段,有效地降低了计算成本,提升了验证速度,实现了更高效的性能表现。例如,在一台M3笔记本电脑上,Circle STARKs每秒能够验证高达620,000个Poseidon2哈希值,这个数据真是让人大开眼界啊!
Buterin提到,以往的STARK实现尝试让小字段与基于椭圆曲线的签名验证兼容,但由于涉及的复杂性和庞大的计算量,整体效率一直不高。而Circle STARKs通过优化设计,成功克服了这个难题。
对于传统小字段可能面临的暴力攻击风险,Circle STARKs采取了创新的防护措施。通过实施多次随机检查并引入扩展字段技术,Circle STARKs极大地扩展了攻击者需要猜测的值集范围,设置了一道难以逾越的计算屏障,从而确保了协议的坚不可摧。说实话,这样的设计让我觉得区块链的安全性又上了一个新台阶。
Circle STARKs的核心优势之一在于其引入了快速Reed-Solomon交互式Oracle邻近证明(FRI),这一机制确保了被证明的函数确实是一个具有特定次数的多项式。通过Circle FRI,Circle STARKs能够确保任何非多项式输入都无法通过验证,从而维护了密码学过程的完整性和安全性。这让我想起了我之前研究的一个项目,那时我们也遇到过类似的验证问题,但有了Circle STARKs,这一切似乎都变得简单了许多。
2025-09-19 16:45
web3.02025-09-19 16:42
web3.02025-09-19 16:41
web3.02025-09-19 16:39
web3.02025-09-19 16:37
web3.02025-09-19 16:36
web3.0