正在閱讀@SonicLabs Formal Verification & DAG consensus最近的文章 TBH，這是那種讓我很難極客的東西，所以我不得不簡化它並分享它，以便更容易地理解我喜歡技術兔子洞、千兆大腦東西的 Sooonic 書們 首先，如果你像「Wat DAGs do bro， wat mean？ 🔷DAG （有向無環圖）： 🔹 每筆交易都像一個巨大的 af web 中的一個節點 🔹tx 不是等待區塊，而是直接引用多個較早的區塊，這樣Web就會更深入 🔹 與傳統的單塊線性風格區塊鏈相比，創建分支、類似Web的結構 🔹 目前使用的不同 DAG 協定（DAG-Rider、Hashgraph、Aleph、Cordial Miner、ES Bullshark）各自在不同的領域表現出色，沒有完美的贏家（見下面的⤵️雷達圖） 🔷 現在，Sonic 的方法有何不同： Sonic 從頭開始構建了自己獨特的協定，並開發了一個驗證庫，可以證明瞭多個 DAG 協定的正確性，包括 Sonic 的（簡稱，千兆腦的東西👀）： 🔹 驗證者創建引用多個早期事件的事件塊 🔹 使用跨層的重疊選舉來選擇「領導者」事件以提高速度 🔹 一旦當選為領導者，事件就會線性化到主鏈中 🔹 專為異步 BFT（拜占庭容錯）和 PoS（不混合 DAG rider、Hashgraph 等）構建 🔷 為什麼這真的很重要： 當今大多數加密安全性 =「我們對其進行了廣泛的測試，沒有發現任何錯誤......可能安全嗎？ 🤷 ♂️ Sonic 現在使用數學證明，不安全的行為實際上是不可能的。並非“不可能”不可能。不僅僅是概率，還有數學上的確定性 數位是瘋狂的：14 個人月的形式驗證研究，現在對整個區塊鏈社區都是開源的。 這將整個行業從“相信我們，我們測試過”轉變為使用 TLA+ 形式驗證的“這是它有效的數學證明”。 您的加密貨幣始終與其背後的數學一樣安全，現在我們有 THE MATHY MATH MATH MATH for it。 感謝 @SonicAssistant 轉發這篇文章，否則我會錯過它 🤝 🔷 圖表如下： 1⃣ 通用 DAG 機制 2⃣5 種不同的 DAG 架構功能 3⃣ 關於 Sonic 4⃣ 關鍵洞察