🎉 親愛的廣場小夥伴們,福利不停,精彩不斷!目前廣場上這些熱門發帖贏獎活動火熱進行中,發帖越多,獎勵越多,快來 GET 你的專屬好禮吧!🚀
🆘 #Gate 2025年中社区盛典# |廣場十強內容達人評選
決戰時刻到!距離【2025年中社區盛典】廣場達人評選只剩 1 天,你喜愛的達人,就差你這一票衝進 C 位!在廣場發帖、點讚、評論就能攢助力值,幫 Ta 上榜的同時,你自己還能抽大獎!iPhone 16 Pro Max、金牛雕塑、潮流套裝、合約體驗券 等你抱走!
詳情 👉 https://www.gate.com/activities/community-vote
1️⃣ #晒出我的Alpha积分# |曬出 Alpha 積分&收益
Alpha 積分黨集合!帶話題曬出你的 Alpha 積分圖、空投中獎圖,即可瓜分 $200 Alpha 代幣盲盒,積分最高直接抱走 $100!分享攢分祕籍 / 兌換經驗,中獎率直線上升!
詳情 👉 https://www.gate.com/post/status/12763074
2️⃣ #ETH百万矿王争霸赛# |ETH 鏈上挖礦曬收益
礦工集結!帶話題曬出你的 Gate ETH 鏈上挖礦收益圖,瓜分 $400 曬圖獎池,收益榜第一獨享 $200!誰才是真 ETH 礦王?開曬見分曉!
詳情 👉 https://www.gate.com/pos
耶魯教授首次公開LiDO模型 爲Web3共識協議提供機械化驗證
Web3學者峯會:耶魯教授首次公開LiDO模型
2025年Web3學者峯會上,耶魯大學計算機科學系教授邵中發表了題爲《基於細化的共識協議安全性與活性證明:LiDO及其拓展》的主題演講,首次向公衆介紹了其團隊開發的LiDO模型和LiDO-DAG擴展框架。這一創新成果旨在爲復雜的拜佔庭容錯(BFT)共識協議提供可機械化驗證的安全性與活性證明,爲Web3生態的可靠性和大規模發展奠定技術基礎。
邵中教授在演講中指出,盡管現有的共識協議(如PBFT、Jolteon)被廣泛應用,但由於實現復雜性高,常常隱藏着潛在的漏洞。爲解決這一問題,LiDO模型創新性地提出了三層細化驗證框架:
目前,LiDO已成功應用於工業級協議Jolteon(兩階段BFT)和多個DAG協議,完成了超過一萬行Coq代碼的機械化證明,其中安全性和活性驗證的代碼量分別達到4000行和1700行。邵中教授在演講中強調:"當前,PoS共識協議普遍面臨安全性、活性與去中心化三者難以兼得的困境。LiDO模型正是爲突破這一困境而提出的系統性設計方案。"
邵中教授領導的團隊曾開發出CertiKOS,這是全球首個通過形式化驗證的"無漏洞"操作系統,被譽爲"網路物理系統安全的裏程碑"。這一成就不僅奠定了相關技術的基礎,也展示了團隊在系統安全領域的深厚積累。近年來,邵中教授深入研究區塊鏈安全,於2017年與同事共同創立了一家安全公司,將形式化驗證技術引入智能合約與鏈上協議的安全保障,爲價值千億美元的加密資產提供安全保護。
LiDO目前已完成模型設計與形式化驗證,並開始探索與主流公鏈及去中心化協議的集成可能性。邵中教授表示,他們致力於驗證Web3.0中的關鍵機制,以提供全週期產品和服務,更好地支持Web3企業和生態的長期發展戰略。演講最後,邵中教授強調:"可信、安全、可驗證的網路協議棧,將是通向真正去中心化未來的關鍵路徑。"