✈️ Gate 廣場【Gate Travel 旅行分享官召集令】
廣場家人們注意啦!Gate Travel 已經上線~ 機票+酒店一站式預訂,還能用加密貨幣直接付款 💸
所以說,你的錢包和你的旅行夢終於可以談戀愛了 😎 💕
現在廣場開啓 #GateTravel旅行分享官# 活動,邀你來秀旅行靈感 & 使用體驗!💡
🌴 參與方式:
1️⃣ 在【廣場】帶話題 #Gate Travel 旅行分享官# 發帖
2️⃣ 你可以:
你最想用 Gate Travel 去的目的地(私藏小島 or 網紅打卡點都行)
講講用 Gate Travel 訂票/訂酒店的奇妙體驗
放放省錢/使用攻略,讓大家省到笑出聲
或者直接寫一篇輕鬆的 Gate Travel 旅行小故事
📦 獎勵安排,走起:
🏆 優秀分享官(1 名):Gate 旅行露營套裝
🎖️ 熱門分享官(3 名):Gate 旅行速乾套裝
🎉 幸運參與獎(5 名):Gate 國際米蘭旅行小夜燈
*海外用戶 旅行露營套裝 以 $100 合約體驗券,旅行速乾套裝 以 $50 合約體驗券折算,國際米蘭旅行小夜燈以 $30合約體驗券折算。
📌 優質內容將有機會得到官方帳號轉發翻牌提升社區曝光!
📌 帖文將綜合互動量、內容豐富度和創意評分。禁止小號刷貼,原創分享更容易脫穎而出!
🕒 8月20 18:00 - 8月28日 24:00 UTC+
Web3突破:LiDO模型助力共識協議安全性與活性驗證
Web3學者峯會聚焦共識協議安全性與活性證明
在近日舉辦的2025年Web3學者峯會上,一位知名計算機科學教授發表了題爲《基於細化的共識協議安全性與活性證明:LiDO及其拓展》的主題演講,首次公開了其團隊研發的LiDO模型及LiDO-DAG擴展框架。這一突破性成果旨在爲復雜拜佔庭容錯(BFT)共識協議提供可機械化驗證的安全性與活性證明,爲Web3生態的可靠性與規模化發展奠定技術基石。
演講者指出,現有共識協議(如PBFT、Jolteon)雖廣泛應用,但因實現復雜常隱藏潛在漏洞。爲解決這一問題,LiDO模型創新性地提出三層細化驗證框架:
目前,LiDO已成功應用於工業級協議Jolteon(兩階段BFT)及多個DAG協議,完成超萬行Coq代碼的機械化證明,安全性與活性驗證代碼量分別達4000行和1700行。該教授在演講中指出:"當前,PoS共識協議普遍面臨安全性、活性與去中心化三者難以兼得的困境。LiDO模型正是爲打破這一困境而提出的系統性設計方案。"
該教授曾帶領團隊研發全球首個通過形式化驗證的"無漏洞"操作系統CertiKOS,被譽爲"網路物理系統安全的裏程碑"。這一成就不僅奠定了其在系統安全領域的深厚積累,也爲後續在區塊鏈安全方面的研究奠定了基礎。
LiDO當前已完成模型設計與形式化驗證,並開始探索與主流公鏈及去中心化協議的集成可能性。該教授表示,他們致力於驗證Web3.0中的關鍵機制,以提供全週期產品和服務,更好地支持Web3企業和生態的長期發展戰略。演講最後,他強調:"可信、安全、可驗證的網路協議棧,將是通向真正去中心化未來的關鍵路徑。"