在 @SonicLabs，共识安全不是我们所声称的，而是我们所证明的 📜
我们开发并开源了一个 TLA+ 验证库，允许开发者在不从头开始的情况下验证基于 DAG 的共识协议的安全性。
从 DAG Rider 到 Bullshark 和 Aleph，这个库加速了证明工作并减少了验证错误。
在 NASA 正式方法 2025 上展示的这项研究表明，可组合的、经过验证的构建块如何大幅降低整个生态系统中共识缺陷的风险。
对于 $S，Sonic 共识的每一次变化都由数学确定性支持，确保网络在规模上的安全性 🌍
查看原文
1.78万
80
本页面内容由第三方提供。除非另有说明，欧易不是所引用文章的作者，也不对此类材料主张任何版权。该内容仅供参考，并不代表欧易观点，不作为任何形式的认可，也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下，此类人工智能生成的内容可能不准确或不一致。请阅读链接文章，了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险，其价值可能会产生较大波动。请根据自身财务状况，仔细考虑交易或持有数字资产是否适合您。