以太坊联合创始人维塔利克·布特林引进了一种名为Circle STARKs的全新加密协议，这玩意儿承诺要提升区块链的安全性和效率。

在他的最新博文中，布特林解释称这个技术突破利用了类似Mersenne31这样的小领域，大幅提升证明速度，同时又不削弱安全措施。

相关： 查尔斯·霍斯金斯尼驳回维塔利克·布特林对加密货币投票的认可

小领域，大收获

据博文介绍，传统的可扩展透明知识论（STARKs）操作在256位字段上，虽然安全，但通常效率不高。

Circle STARKs利用较小的领域，从而降低了计算成本，提高了证明速度，带来了更为高效的好处，比如在M3笔记本电脑上每秒验证62万个Poseidon2散列值。

布特林指出，以前的STARK实现使得小领域在验证基于椭圆曲线的签名方面“自然兼容”，但由于涉及的大量数字，“导致效率低下”。

相关： 维塔利克·布特林警告声称自己是“支持加密货币”的政治家

Circle STARK安全

传统小领域的可能值有限，容易受到暴力攻击。

Circle STARKs通过进行多次随机检查和使用扩展领域，扩大了攻击者需要猜测的值集，从而反击这一点。

这种安全措施为攻击者设置了计算上无法逾越的障碍，维护了协议的完整性。

相关： StarkWare在比特币上验证了首个零知识证明

实际影响

Fast Reed-Solomon Interactive Oracle Proofs of Proximity（FRI）证明了函数是某个程度的多项式，这是Circle STARKs的一个关键方面。

引入Circle FRI，一种保持加密过程完整性的方法，Circle STARKs确保非多项式输入无法通过证明。

Circle STARKs通过使用小领域和这种新的数学结构，提供了更多灵活性和多变性的高效计算性能。

杂志： 短胖企鹅融入像素世界，以太坊ETFs以及其他：收藏家快讯，7月14日-20日