🔥 Gate 動態大使專屬發帖福利任務第二期報名正式開啓!🏆 首期獲獎名單將於5月26日公布!
報名連結 👉 https://www.gate.com/questionnaire/6722
報名時間 🕙 5月23日11:00 - 5月26日 24:00 UTC+8
✍️ 5月26日 — 6月1日期間每日發帖,根據帖子內容評級瓜分 $300 獎池
🎁 獎勵詳情:
一、S級周度排名獎
S級:每週7日均完成發帖且整體帖子內容質量分數>90分可獲S級,挑選2名優質內容大使每人$50手續費返現券。
二、A/B 等級瓜分獎
根據各位動態大使發帖數量及帖子內容質量獲評等級,按評定等級獲獎:
A級:每週至少5日完成發帖且整體帖子內容質量90>分數>80可獲A級,從A級用戶中選出5名大使每人$20手續費返現券
B級:每週至少3日完成發帖且整體帖子內容質量80>分數>60可獲B級,從B級用戶中選出10名大使每人$10手續費返現券
📍 活動規則:
1.每週至少3日完成發帖才有機會獲獎。
2.根據發帖天數和整體發帖內容質量分數給予等級判定,分爲S/A/B等級,在各等級下選擇幸運大使獲獎。
💡 帖子評分標準:
1.每帖不少於30字。
2.內容需原創、有獨立見解,具備深度和邏輯性。
3.鼓勵發布市場行情、交易知識、幣種研究等主題,使用圖例或視頻可提高評分。
4.禁止發布FUD、抄襲或詆毀內容
CertiK聯創邵中教授出席Web3學者峯會,首次公開LiDO模型
在今日舉行的2025年Web3學者峯會(Web3 Scholars Conference 2025)上,耶魯大學計算機科學系教授、CertiK聯合創始人邵中發表了題爲《基於細化的共識協議安全性與活性證明:LiDO及其拓展》的主題演講,首次公開了其團隊研發的LiDO模型及LiDO-DAG擴展框架。這一突破性成果旨在爲復雜拜佔庭容錯(BFT)共識協議提供可機械化驗證的安全性與活性證明,爲Web3生態的可靠性與規模化發展奠定技術基石。
在本次演講中,邵中教授指出,現有共識協議(如PBFT、Jolteon)雖廣泛應用,但因實現復雜常隱藏潛在漏洞。爲解決這一問題,LiDO模型創新性地提出三層細化驗證框架:
目前,LiDO已成功應用於工業級協議Jolteon(兩階段BFT)及多個DAG協議,完成超萬行Coq代碼的機械化證明,安全性與活性驗證代碼量分別達4000行和1700行。“當前,PoS共識協議普遍面臨安全性、活性與去中心化三者難以兼得的困境,”邵中教授在演講中指出。“LiDO模型正是爲打破這一困境而提出的系統性設計方案。”
邵中教授帶領團隊研發的CertiKOS,是全球首個通過形式化驗證的“無漏洞”操作系統,被譽爲“網絡物理系統安全的裏程碑”。這一成就不僅奠定了安全公司CertiK的技術根基,也彰顯了其在系統安全領域的深厚積累。近年來,邵中教授深耕區塊鏈安全,於2017年與弟子顧榮輝教授共同創立CertiK,將形式化驗證技術引入智能合約與鏈上協議的安全保障,護航千億美元級加密資產安全。
LiDO當前已完成模型設計與形式化驗證,並開始探索與主流公鏈及去中心化協議的集成可能性。邵中教授表示,CertiK致力於驗證Web3.0中的關鍵機制,以提供全周期產品和服務,更好地支持Web3企業和生態的長期發展戰略。演講最後,邵中教授強調:“可信、安全、可驗證的網絡協議棧,將是通向真正去中心化未來的關鍵路徑。”