Time:2024-07-26 Click:96
以太坊联合创始人 Vitalik Buterin 推出了一种名为 Circle STARKs 的新加密协议,承诺增强区块链的安全性和效率。
在他的最新帖子中,Buterin 解释说,这一技术飞跃利用了像 Mersenne31 这样的较小字段来显著提高证明速度,同时又不损害安全措施。
Buterin 指出:“过去两年来,STARK 协议设计中最重要的趋势是转向在小规模领域开展工作。”
传统的可扩展透明知识论证 (STARK) 在 256 位字段上运行,虽然安全,但通常效率低下。
然而,Circle STARK 利用较小的字段,从而降低计算成本并加快证明速度。
这一改进带来了令人印象深刻的收益,例如在 M3 笔记本电脑上每秒验证 620,000 个 Poseidon2 哈希值。
布特林强调,之前的 STARK 实现使得较小的字段“自然兼容基于椭圆曲线的签名验证”,但由于涉及的数字太大,“导致效率低下”。
阅读更多:亚洲首个比特币期货反向 ETF 在香港推出
传统的小字段的可能值有限,因此容易受到暴力攻击。
Circle STARK 通过执行多次随机检查和使用扩展字段来抵消此漏洞,这扩大了攻击者需要猜测的值集。
这为攻击者创建了一个计算上禁止的障碍,从而维护了协议的完整性。
Buterin 表示:“在较小域上使用 STARK 时,我们遇到了一个问题:x 的选择可能值只有大约 20 亿个,因此攻击者想要伪造证明只需尝试 20 亿次——虽然工作量很大,但对于一个决心坚定的攻击者来说,还是相当可行的!”
Circle STARKs 的一个重要方面是快速 Reed-Solomon 交互式 Oracle 邻近性证明 (FRI),它证明一个函数是一定次数的多项式。
通过引入 Circle FRI(一种维护加密过程完整性的方法),Circle STARK 可确保非多项式输入无法通过证明。
通过利用小场和这种新的数学结构,Circle STARK 提供了更大的灵活性和多功能性,实现了高效的计算性能。
这一创新协议标志着区块链技术发展迈出了重要一步,结合了增强的安全措施和更高的效率。
要提交加密新闻稿(PR),请发送电子邮件至 [email protected]。