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; }