- 話題1/3
9697 熱度
19920 熱度
14817 熱度
50404 熱度
21218 熱度
- 置頂
- 📢 Gate廣場 #MBG任务挑战# 發帖贏大獎活動火熱開啓！
想要瓜分1,000枚MBG？現在就來參與，展示你的洞察與實操，成爲MBG推廣達人！
💰️ 本期將評選出20位優質發帖用戶，每人可輕鬆獲得50枚MBG！
如何參與：
1️⃣ 調研MBG項目
對MBG的基本面、社區治理、發展目標、代幣經濟模型等方面進行研究，分享你對項目的深度研究。
2️⃣ 參與並分享真實體驗
參與MBG相關活動（包括CandyDrop、Launchpool或現貨交易），並曬出你的參與截圖、收益圖或實用教程。可以是收益展示、簡明易懂的新手攻略、小竅門，也可以是現貨行情點位分析，內容詳實優先。
3️⃣ 鼓勵帶新互動
如果你的帖子吸引到他人參與活動，或者有好友評論“已參與/已交易”，將大幅提升你的獲獎概率！
MBG熱門活動（帖文需附下列活動連結）：
Gate第287期Launchpool：MBG — 質押ETH、MBG即可免費瓜分112,500 MBG，每小時領取獎勵！參與攻略見公告：https://www.gate.com/announcements/article/46230
Gate CandyDrop第55期：CandyDrop x MBG — 通過首次交易、交易MBG、邀請好友註冊交易即可分187,500 MBG！參與攻略見公告：https://www.gate.com/announcements
- 🎉 Gate廣場“星火計劃”入駐KOL突破1000人！
💥 創作者生態迎來全面爆發期！
📈 上首頁、拿獎勵、贏影響力，你還在等什麼？
💰 現金激勵 ✔️
🚀 流量扶持 ✔️
👑 專屬認證 ✔️
從0到1000，我們只用了短短數周，Gate廣場正在成爲Web3內容風暴眼⚡
你發布的不只是內容，而是下一個“爆款機會”！
🌟 加入星火計劃，開啓你的爆發之路！
👉 https://www.gate.com/announcements/article/45695
#GateSquare # #星火计划# #内容创作者新纪元 # #KOL集结令#
- 📢 #Gate广场征文活动第三期# 正式啓動！
🎮 本期聚焦：Yooldo Games (ESPORTS)
✍️ 分享獨特見解 + 參與互動推廣，若同步參與 Gate 第 286 期 Launchpool、CandyDrop 或 Alpha 活動，即可獲得任意獎勵資格！
💡 內容創作 + 空投參與 = 雙重加分，大獎候選人就是你！
💰總獎池：4,464 枚 $ESPORTS
🏆 一等獎（1名）：964 枚
🥈 二等獎（5名）：每人 400 枚
🥉 三等獎（10名）：每人 150 枚
🚀 參與方式：
在 Gate廣場發布不少於 300 字的原創文章
添加標籤： #Gate广场征文活动第三期#
每篇文章需 ≥3 個互動（點讚 / 評論 / 轉發）
發布參與 Launchpool / CandyDrop / Alpha 任一活動的截圖，作爲獲獎資格憑證
同步轉發至 X（推特）可增加獲獎概率，標籤：#GateSquare 👉 https://www.gate.com/questionnaire/6907
🎯 雙倍獎勵機會：參與第 286 期 Launchpool！
質押 BTC 或 ESPORTS，瓜分 803,571 枚 $ESPORTS，每小時發放
時間：7 月 21 日 20:00 – 7 月 25 日 20:00（UTC+8）
🧠 寫作方向建議：
Yooldo
- 🎉Gate 2025 上半年社區盛典：內容達人評選投票火熱進行中 🎉
🏆 誰將成爲前十位 #Gate广场# 內容達人？
投票現已開啓，選出你的心頭好
🎁贏取 iPhone 16 Pro Max、限量週邊等好禮！
📅投票截止：8 月 15 日 10:00（UTC+8）
立即投票: https://www.gate.com/activities/community-vote
活動詳情: https://www.gate.com/announcements/article/45974
- 📢 #Gate广场征文活动第二期# 正式啓動！
分享你對 $ERA 項目的獨特觀點，推廣ERA上線活動， 700 $ERA 等你來贏！
💰 獎勵：
一等獎（1名）： 100枚 $ERA
二等獎（5名）： 每人 60 枚 $ERA
三等獎（10名）： 每人 30 枚 $ERA
👉 參與方式：
1.在 Gate廣場發布你對 ERA 項目的獨到見解貼文
2.在貼文中添加標籤： #Gate广场征文活动第二期# ，貼文字數不低於300字
3.將你的文章或觀點同步到X，加上標籤：Gate Square 和 ERA
4.徵文內容涵蓋但不限於以下創作方向：
ERA 項目亮點：作爲區塊鏈基礎設施公司，ERA 擁有哪些核心優勢？
ERA 代幣經濟模型：如何保障代幣的長期價值及生態可持續發展？
參與並推廣 Gate x Caldera (ERA) 生態周活動。點擊查看活動詳情：https://www.gate.com/announcements/article/46169。
歡迎圍繞上述主題，或從其他獨特視角提出您的見解與建議。
⚠️ 活動要求：
原創內容，至少 300 字， 重復或抄襲內容將被淘汰。
不得使用 #Gate广场征文活动第二期# 和 #ERA# 以外的任何標籤。
每篇文章必須獲得 至少3個互動，否則無法獲得獎勵
鼓勵圖文並茂、深度分析，觀點獨到。
⏰ 活動時間：2025年7月20日 17
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企業和生態的長期發展戰略。演講最後，他強調："可信、安全、可驗證的網路協議棧，將是通向真正去中心化未來的關鍵路徑。"