刚刚,数字黄金变得更加可编程。 @fiamma_labs 的 BitVM2 桥接已与 Succinct Prover Network 集成——在比特币上实现安全高效的 ZKP 验证。
SP1 的行业首创 Blake 3 哈希对 BitVM2 至关重要。
我们发现了BitVM2桥接中的一个关键缺失验证步骤,并构建了第一个实现来修复它!🦙🔥 Fiamma已成为第一个在比特币上实现Blake3哈希的项目,从原始数据公共输入(前图像)到摘要,实现了完整的承诺验证。这将确保验证的证明是正确的(正确生成的)。 通过引入Blake3哈希来完成承诺验证,Fiamma解决了当前BitVM2桥接实现中的一个关键漏洞。这个漏洞可能会被恶意操作员利用来从桥接中窃取BTC。 让我们深入探讨这一突破 🧵
查看原文
5.88万
1,435
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。