Sonic Labs：面向有向无环图(DAG)协议的新形式认证库

Sonic Labs，Sonic区块链背后的团队，已推出新的有向无环图(DAG)基础共识协议的形式认证库。目标是为区块链的安全性提供证明工具。

Sonic Labs与区块链的安全性：新形式认证库的发布

Sonic Labs，Sonic区块链背后的团队，宣布推出新的形式化认证库，专门用于基于有向无环图(DAG)的共识协议。

在实践中，它是一个开源库，使用形式验证来数学证明有向无环图(DAG)区块链的安全性，包括Sonic EVM区块链。

借助TLA+试验助手，可以简化基于有向无环图(DAG)的共识协议的验证过程，使开发者能够以最小的努力对协议进行建模和验证。

这是一个用于验证区块链安全性的测试工具。该库包括对重要的基于有向无环图(DAG)的协议的测试，如DAG-Rider、Cordial Miner、Bullshark、Hashgraph和Aleph，Sonic共识协议经过验证为派生协议。

该正式认证库首次在2025年NASA正式方法会议(NFM 2025)上展示，会议于6月11日至13日在弗吉尼亚州威廉斯堡举行。

Sonic Labs 和严格的数学方法来证明一个协议的安全性

区块链安全的当前情况往往看到共识协议的脆弱性，这也可能导致灾难性的漏洞。双重支付或账本不一致就是一个例子。

总体而言，传统的测试和认证以确保区块链的安全性已经变得不足。

在这个意义上，Sonic Labs 决定以严格的数学方法应对当前的挑战，这表明一个协议在所有可能的场景中都是安全的，毫无错误的余地。

在这方面，Sonic Labs的首席研究官Bernhard Scholz博士评论道：

“在区块链中，安全性故障往往源于那些在为时已晚之前未经过验证的假设。通过这个库，我们正从希望走向证明，提供工具以数学上的确定性验证协议在所有条件下的安全行为。我们的目标是使正式认证对所有协议开发者都可及。”

Sonic Labs 已经开始实施形式化认证，以证明在 Sonic 区块链上不安全的行为在数学上是不可能的。

代币S在Coinbase的上市

在过去几个小时里，还传出了Sonic (S)代币进入知名加密交易所Coinbase的消息。

$S è ora disponibile su @Coinbase.pic.twitter.com/E6AIy6yusF

— 索尼克实验室 (@SonicLabs) 24 giugno 2025

在实践中，Coinbase 的客户还可以访问 Coinbase iOS 和 Android 应用程序来购买、出售、转换、发送、接收或存储代币 S。

目前，Sonic (S)在整体加密排名中位于第73位，市值为9.32亿美元。写作时，S的价值为0.32美元。

在2025年4月中旬，Fantom推出了最新的Sonic更新，以革命性地改变DeFi。其交易能力超过10,000交易每秒(TPS)，最终确认时间少于2秒，Sonic立即定位为加密领域中最快和最具可扩展性的Layer 1网络之一。Sonic还首次推出了代币S，最初与Fantom的FTM挂钩。