Sonic Labs 发布开放源代码库用于有向无环图(DAG)区块链验证

Sonic Labs 发布了一个新的开源库，旨在为基于有向无环图(DAG)的区块链共识协议提供形式认证，这一举措被其称为将有助于提高去中心化网络的安全标准。

数学证明以验证共识协议

该形式验证库是与悉尼大学和法国研究机构INRIA的研究人员合作开发的，首次在本月早些时候于NASA正式方法会议2025 (NFM 2025)在维吉尼亚州威廉斯堡展示。

该库使用TLA+，一种由微软研究院开发的形式化规范语言，来数学证明共识协议的正确性。

Sonic Labs表示，该工具通过提供可重复使用的模块化组件，简化了建模和验证复杂分布式系统的过程，这些组件可以应用于多种区块链架构。

认证的协议已经包括DAG-Rider、Cordial Miner、Bullshark、Hashgraph和Aleph。Sonic自己的EVM兼容共识协议也已被验证为使用该工具的衍生协议。

“有了这个库，我们正从希望转变为证明，提供工具以数学确定性验证一个协议在所有条件下将安全运行，”首席研究官伯恩哈德·肖尔茨博士说道。

区块链共识中的安全挑战

如今，区块链保护着数万亿美元的数字资产，这对基础共识基础设施的无故障运行施加了重大压力。

这些机制中的漏洞可能导致双重支付、账本不一致或全面攻击。

虽然审计和渗透测试是行业标准实践，但它们无法保证在复杂的异步环境中完全不存在关键漏洞。

形式验证提供了一种替代方案，通过数学证明一个协议在所有可能的场景下都能安全运行。Sonic Labs表示，其新工具不仅可以用于审计现有协议，还可以帮助开发人员从零开始设计或修改基于有向无环图(DAG)的系统。

该公司已经在内部使用该库来验证其自身区块链网络的安全性，并声称在定义的条件下可以从数学上消除不安全行为的可能性。

通过开源该库，Sonic Labs旨在降低构建安全区块链系统的成本和复杂性，同时促进在Web3开发中更广泛采用形式认证。

Sonic是一个与EVM兼容的区块链，旨在实现高吞吐量，提供亚秒的最终性和最高可达400,000笔交易每秒的处理速度。

该网络采用费用货币化模型，允许开发者获得其去中心化应用生成的90%的交易费用。

为什么这很重要

随着越来越多的价值被锁定在区块链网络中，共识协议中的小缺陷可能导致重大财务损失和信任破裂。Sonic Labs 的开源认证工具利用数学确保协议安全，填补了传统测试经常忽视的空白。

查看DailyCoin的热门加密新闻：

特朗普媒体的新加密货币ETF瞄准比特币和以太坊

柴犬领头开发者暗示超级应用：SHIB的下一个重大项目？

人们还在问：

区块链中的共识协议是什么？ 共识协议是一组规则，允许分布式网络参与者就区块链的当前状态达成一致，确保所有副本一致且交易得到正确验证。

为什么共识对区块链很重要？ 共识对于维护区块链的完整性、安全性和可信性至关重要。它可以防止双重支付等问题，并确保所有网络参与者共享相同的交易历史。

什么是基于DAG的共识协议？ 有向无环图(DAG) (共识协议使用图结构而不是传统链来记录交易。这种设计可以提高相对于线性区块链的可扩展性和交易速度。

什么是形式验证？ 形式验证是一种数学方法，用于证明系统设计的正确性和安全性，确保它在所有可能的条件下按预期行为。

.social-share-icons { 显示： inline-flex; flex-direction： 行; 间隙：8px; border-radius： 8px; 边框：1px 纯色 #dedede; 填充： 8px 16px; 下边距：8px; }

.social-share-icons a { 显示：flex; 颜色：#555; text-decoration：无; justify-content： center; align-items： center; 背景色：#dedede; border-radius：100%; 内边距：10px; }

.social-share-icons a：hover { 背景色：#F7BE23; 填充物： 白色; }

.social-share-icons svg { 宽度：24px; 高度：24px; }