- 話題
11309 熱度
2083 熱度
91472 熱度
288 熱度
6161 熱度
- 置頂
- 📢 Gate廣場專屬 #PROVE创作大赛# 開啓！
CandyDrop x Succinct (PROVE) , 交易瓜分 200,000 PROVE 👉 https://www.gate.com/announcements/article/46469
合約抽獎挑戰，保底穩拿 1 PROVE 獎勵 👉 https://www.gate.com/announcements/article/46491
🎁 創意不斷 · 獎勵不停，發帖瓜分 300 枚 PROVE！
📅 活動時間
2025年8月12日 12:00 – 8月17日 24:00（UTC+8）
📌 參與方式
1. 在 Gate廣場 發布與 PROVE 或相關活動的原創內容（不少於100字，形式不限：觀點分析、教程、圖文創意等）
2. 添加標籤： #PROVE创作大赛#
3. 附本人活動截圖（充值記錄、交易頁面、CandyDrop報名圖等）
🏆 獎勵設置（共計 300 枚 PROVE）
🥇 一等獎（1名）：100 枚 PROVE
🥈 二等獎（2名）：50 枚 PROVE
🥉 三等獎（5名）：20 枚 PROVE
📋 評選標準
內容與主題高度相關、邏輯清晰、有深度
點讚、評論等互動熱度
⚠ 活動說明
內容必須原創，禁止抄襲和刷量；獲獎者需完成 Gate廣場實名認證；Gate 平台保留活動最終解釋權 - 還不知道如何參與Gate廣場內容挖礦賺取收益？
速速碼住下圖：內容挖礦參與五部曲 👇️
教你快速掌握賺取最高達 10% 挖礦返佣收益技巧！ - 📢 Gate 廣場大使招募開啓！🔥
加入 Gate 大使，不只是創作，更是一段精彩旅程！💡
成爲廣場大使，你將享有：
🎁 專屬福利，展現獨特價值
💰 廣場任務提醒，邊發帖邊賺錢
🎨 限量週邊，成爲 Gate 官方代言人
⭐ VIP5 + 廣場黃V，輕鬆脫穎而出
🚀 加入我們，成爲：
社區意見領袖
Web3 創意先鋒
優質內容傳播者
🎉 點擊報名，開啓你的大使之旅：https://www.gate.com/questionnaire/4937
📖 活動詳情：https://www.gate.com/announcements/article/38592 - 💙 Gate廣場 #Gate品牌蓝创作挑战# 💙
用Gate品牌藍，描繪你的無限可能！
📅 活動時間
2025年8月11日 — 8月20日
🎯 活動玩法
1. 在 Gate廣場 發布原創內容（圖片 / 視頻 / 手繪 / 數字創作等），需包含 Gate品牌藍 或 Gate Logo 元素。
2. 帖子標題或正文必須包含標籤： #Gate品牌蓝创作挑战# 。
3. 內容中需附上一句對Gate的祝福或寄語（例如：“祝Gate交易所越辦越好，藍色永恆！”）。
4. 內容需爲原創且符合社區規範，禁止抄襲或搬運。
🎁 獎勵設置
一等獎（1名）：Gate × Redbull 聯名賽車拼裝套裝
二等獎（3名）：Gate品牌衛衣
三等獎（5名）：Gate品牌足球
備注：若無法郵寄，將統一替換爲合約體驗券：一等獎 $200、二等獎 $100、三等獎 $50。
🏆 評選規則
官方將綜合以下維度評分：
創意表現（40%）：主題契合度、創意獨特性
內容質量（30%）：畫面精美度、敘述完整性
社區互動度（30%）：點讚、評論及轉發等數據 - 道金斯說的「模因」，可以書裏是一句話、歌曲裏的一段旋律、一幅畫中的意境、或者電影裏的一幕橋段。「回首向來蕭瑟處，歸去，也無風雨也無晴」，蘇東坡的詞能流傳千年，靠的不是基因遺傳，而是通過人類模仿與傳播而延續下來。
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企業和生態的長期發展戰略。演講結束時，邵中教授強調："可信、安全、可驗證的網路協議棧，將是通向真正去中心化未來的關鍵路徑。"