📢 Gate廣場 #创作者活动第一期# 火熱開啓,助力 PUMP 公募上線!
Solana 爆火項目 Pump.Fun($PUMP)現已登入 Gate 平台開啓公開發售!
參與 Gate廣場創作者活動,釋放內容力量,贏取獎勵!
📅 活動時間:7月11日 18:00 - 7月15日 22:00(UTC+8)
🎁 活動總獎池:$500 USDT 等值代幣獎勵
✅ 活動一:創作廣場貼文,贏取優質內容獎勵
📅 活動時間:2025年7月12日 22:00 - 7月15日 22:00(UTC+8)
📌 參與方式:在 Gate 廣場發布與 PUMP 項目相關的原創貼文
內容不少於 100 字
必須帶上話題標籤: #创作者活动第一期# #PumpFun#
🏆 獎勵設置:
一等獎(1名):$100
二等獎(2名):$50
三等獎(10名):$10
📋 評選維度:Gate平台相關性、內容質量、互動量(點讚+評論)等綜合指標;參與認購的截圖的截圖、經驗分享優先;
✅ 活動二:發推同步傳播,贏傳播力獎勵
📌 參與方式:在 X(推特)上發布與 PUMP 項目相關內容
內容不少於 100 字
使用標籤: #PumpFun # Gate
發布後填寫登記表登記回鏈 👉 https://www.gate.com/questionnaire/6874
🏆 獎勵設置:傳播影響力前 10 名用戶,瓜分 $2
耶魯教授首發LiDO模型 共識協議安全性驗證獲突破
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企業和生態的長期發展戰略。
演講最後,邵中教授強調:"可信、安全、可驗證的網路協議棧,將是通向真正去中心化未來的關鍵路徑。"