在最近的一次爐邊談話中，EOS 網絡基金會工程總監兼 Savanna 首席架構師 Areg Hayrapetian 概述了 Spring 1.0 版本和 Savanna 共識算法的發展所帶來的進步。他的見解全面解釋了 Savanna 如何解決傳統 EOS 共識模型的關鍵限制，併爲區塊鏈引入了加密、架構和性能改進。
簡介和背景
2024 年 9 月 25 日發佈的 Spring 1.0 標誌着 EOS 網絡的一個重要里程碑。硬分叉成功實施，引入了新的共識算法 Savanna。這一時刻代表了近兩年開發的頂峯，旨在改進 EOS 使用的傳統共識算法，該算法特別受限於其漫長的最終確定時間。
EOS 使用 Savanna 共識算法完成歷史性硬分叉至 Spring 1.0
Areg 指出，舊算法是在相當大的時間壓力下開發的，導致最終設計存在妥協。這些缺點成爲了 Savanna 開發的動力。新系統旨在提供即時確定性、可擴展性和加密安全性，而不會犧牲性能。雖然 Savanna 的初始規範相對簡單，但將其集成到現有代碼庫中卻具有挑戰性，因此成立了由 Areg 領導的專門團隊。
共識算法開發
Savanna 的核心是最終性概念，即確保交易一旦確認，就無法逆轉。Areg 解釋了兩種類型的最終性：概率最終性（逆轉的概率隨時間推移而降低）和確定性（算法）最終性（共識在數學上得到保證）。傳統的 EOS 共識實現了算法最終性，但需要三分鐘，主要是因爲其設計限制，即每個區塊最多允許一次確認。這造成了可擴展性的瓶頸。
Savanna 通過引入一種加密解決方案解決了這一限制，該解決方案將最終確定時間縮短至僅一秒鐘。使用 BLS (Boneh-Lynn-Shacham) 簽名，Savanna 將多個區塊確認簽名聚合爲一個代表法定人數證書的簽名，從而降低了開銷並提高了速度和可擴展性。
Savanna 的設計植根於數學證明，提供了在原始 EOS 協議中沒有嚴格應用的正式安全保障。Areg 強調了這些證明在確保安全性和活躍性方面的重要性，即使在對抗條件下也是如此。即將發表的學術論文將對這些理論基礎提供更深入的見解，進一步驗證 Savanna 的加密技術。
懲罰措施，例如代幣削減，即最終確定者因違規而損失其質押代幣的一部分。該系統激勵最終確定者的誠實行爲，並確保網絡的完整性。
未來的發展和可能性
展望未來，Areg 暗示了可以探索的幾種未來發展，以進一步改善 EOS 網絡。其中一項創新是爲最終確定者提供時間鎖定的質押池，參與者在一定時間內質押代幣，並因違反規則而面臨代幣削減等處罰。這種機制將加強網絡安全並激勵長期承諾。
結論和未來工作
Spring 1.0 的發佈和 Savanna 的推出代表着 EOS 網絡的一次重大飛躍。憑藉即時確定性和 BLS 簽名等加密創新，Savanna 爲區塊鏈共識算法樹立了新標準。
儘管 Savanna 目前的實施已經改變了遊戲規則，但 Areg 和他的團隊仍在繼續完善它。即將發表的學術論文將對 Savanna 的加密和理論基礎提供更深入的見解，幫助進一步驗證該系統。
Spring 1.0 的成功實施爲 IBC、去中心化和可擴展性開闢了新的途徑，使 Savanna 成爲未來區塊鏈技術的關鍵組成部分。
