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掛鉤。