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能够确保任何非多项式输入都无法通过验证，从而维护了密码学过程的完整性和安全性。
