Circle STARKs 通过增加攻击者需要猜测的值的数量来降低风险。
正如文章中所述，STARK 有时会对低效的 256 位字段进行操作。
以太坊联合创始人 Vitalik Buterin 推出了 Circle STARKs，这是一种旨在提高区块链效率和安全性的新加密协议。Buterin 在最近的帖子中描述了这一技术进步，他解释说，它利用 Mersenne31 等较小的字段在不牺牲安全性的情况下大大提高了证明速度。
尽管安全，但传统的可扩展透明知识论证 (STARK) 有时会在低效的 256 位字段上运行，如文章中所述。
使用 Circle STARK，在 M3 笔记本电脑上每秒可以验证 620,000 个 Poseidon2 哈希值。因为它们使用较小的字段，从而降低了计算成本、提高了证明速度并提高了效率。
虽然早期的 STARK 实现使较小的字段“自然地与验证基于椭圆曲线的签名兼容”。 Buterin 指出，由于涉及的数字巨大，这“导致了效率低下”。
增强安全性
传统的小型字段由于其潜在值有限，容易受到暴力攻击。Circle STARK 通过增加攻击者需要猜测的值数量来降低这种风险。这是通过使用扩展字段和多次随机检查来实现的。
此外，该安全机制可保护协议的完整性，从而为攻击者提供计算障碍。此外，Circle STARKs 的一个重要部分是快速 Reed-Solomon 交互式 Oracle 邻近性证明 (FRI)，它可证明某个函数是一定次数的多项式。
Circle STARK 引入了 Circle FRI（一种保持加密过程完整的方法），确保非多项式的输入无法通过证明。通过利用微小域和这种新颖的数学结构，Circle STARK 在计算性能方面提供了更高的适应性和效率。
今日重点加密新闻：
在 ETF 发行人 HODLing 的推动下，以太坊的价格将出现突破吗？
