📣 創作者福利來啦!Gate 廣場創作者認證正式上線!
現在在 Gate 申請認證,成功通過即可享受價值 $3,000 的早鳥專屬福利!獲得專屬徽章、現金獎勵、限量週邊,更有機會登上官方榜單,享受更多曝光與特權!
申請門檻超低,只需 500 粉絲 + 積極發帖互動,你也可以成爲社區領袖!
早鳥福利:
🏆 最具影響力創作者 3 名(最多互動):50 USDT + Gate X RedBull 隨行杯+ 精選文章 5 篇
🏆 最佳內容獎 5 名(內容最佳):$50 倉位體驗券+ Gate 平沿帽 + 精選文章 5 篇
🏆 除此之外前50名成功申請者:$50 倉位體驗券
所有成功申請者均可獲得認證創作者徽章+官號 “首批認證創作者榜單” 曝光
海外用戶:Gate 平沿帽 = $20 倉位體驗券,Gate X RedBull 隨行杯 = $30 倉位體驗券
申請步驟:
1️⃣ App 首頁 → 底部進入【廣場】 → 點擊右上角頭像進入個人主頁
2️⃣ 點擊頭像右下角【申請認證】 → 進入認證頁面
3️⃣ 審核通過後,頭像旁將顯示專屬認證徽章,彰顯你的專業與權威!
🎁 專屬福利包含:身分標識、內容推薦、專屬曝光 、活動優先權 、熱門項目合作等!
立即申請,成爲廣場社區領袖,享受更多福利和機會!
詳情閱讀:https://www.gate.com/help/community-ce
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; }