- 話題
380 熱度
29k 熱度
4k 熱度
3k 熱度
35k 熱度
19k 熱度
23k 熱度
11k 熱度
2k 熱度
6k 熱度
- 置頂
- 加密現在已經不是選配，而是標配了。
- 🎉【Gate 3000萬紀念】曬出我的Gate時刻，解鎖限量好禮！
Gate用戶突破3000萬！這不僅是數字，更是我們共同的故事。
還記得第一次開通帳號的激動，搶購成功的喜悅，或陪伴你的Gate週邊嗎？
📸 參與 #我的Gate时刻# ，在Gate廣場曬出你的故事，一起見證下一個3000萬！
✅ 參與方式：
1️⃣ 帶話題 #我的Gate时刻# ，發布包含Gate元素的照片或視頻
2️⃣ 搭配你的Gate故事、祝福或感言更佳
3️⃣ 分享至Twitter（X）可參與瀏覽量前10額外獎勵
推特回鏈請填表單：https://www.gate.com/questionnaire/6872
🎁 獨家獎勵：
🏆 創意大獎（3名）：Gate × F1紅牛聯名賽車模型一輛
👕 共創紀念獎（10名）: 國際米蘭同款球員衛衣
🥇 參與獎（50名）：Gate 品牌抱枕
📣 分享獎（10名）：Twitter前10瀏覽量，送Gate × 國米小夜燈！
*海外用戶紅牛聯名賽車折合爲 $200 合約體驗券，國米同款球衣折合爲 $50 合約體驗券，國米小夜燈折合爲 $30 合約體驗券，品牌抱枕折合爲 $20 合約體驗券發放
🧠 創意提示：不限元素內容風格，曬圖帶有如Gate logo、Gate色彩、週邊產品、GT圖案、活動紀念品、活動現場圖等均可參與！
活動截止於7月25日 24:00 UTC+8
3
- 📢 #Gate观点任务# 第一期精彩啓程！調研 Palio (PAL) 項目，在Gate廣場發布您的看法觀點，瓜分 $300 PAL！
💰️ 選取15名優質發帖用戶，每人輕鬆贏取 $20 PAL！
👉 參與方式：
1. 調研$PAL項目，發表你對項目的見解。
2. 帶上$PAL交易連結。
3. 推廣$PAL生態周系列活動：
爲慶祝PAL上線Gate交易，平台特推出HODLer Airdrop、CandyDrop、VIP Airdrop、Alpha及餘幣寶等多項PAL專屬活動，回饋廣大用戶。請在帖文中積極宣傳本次系列活動，詳情：https://www.gate.com/announcements/article/45976
建議項目調研的主題：
🔹 Palio 是什麼？
🔹 $PAL 代幣經濟模型如何運作？
🔹 如何參與 $PAL生態周系列活動？
您可以選擇以上一個或多個方向發表看法，也可以跳出框架，分享主題以外的獨到見解。
注意：帖子不得包含除 #Gate观点任务# 和 #PAL# 之外的其他標籤，並確保你的帖子至少有 60 字，並獲得至少 3 個點讚，否則將無法獲得獎勵。
⚠️ 重復內容的帖子將不會被選取，請分享屬於你獨特的觀點。
⏰ 活動時間：截止至 2025年7月11日 24:00（UTC+8）
- 📢 #Gate广场征文活动第一期# 正式啓動！
分享你對 CROSS 項目的獨特觀點， $500 等值 CROSS 獎勵等你來贏！
💰 獎勵：
一等獎（1名）： $150 等值 CROSS
二等獎（3名）： 每人 $50 等值 CROSS
三等獎（10名）： 每人 $20 等值 CROSS
👉 參與方式：
1.在 Gate廣場發布你對 CROSS 項目的獨到見解貼文
2.在貼文中添加標籤： #Gate广场征文活动第一期# ，貼文字數不低於300字
3.將你的文章或觀點同步到X，加上標籤：Gate Square 和 CROSS
4.徵文內容涵蓋但不限於以下創作方向：
CROSS 項目概述：作爲鏈遊領域的專屬公鏈，它帶來了哪些創新？
解析 CROSS 的模塊化基礎設施，如何推動鏈遊開發？
CROSS 的代幣經濟模型：如何實現長期價值？
玩家/開發者如何看待 CROSS 的使用體驗？
參與 Gate 的 Gate Alpha CROSS 活動：交易體驗和 Alpha 積分機制如何幫助用戶？
你也可以選擇其他方向，提出獨到見解。
⚠️ 活動要求：
原創內容，至少 300 字
必須使用標籤： #Gate广场征文活动第一期#
每篇文章必須獲得 至少3個點讚，否則無法獲得獎勵
鼓勵圖文並茂、深度分析，觀點獨到。
⏰ 活動時間：2025年7月7日 17:00 - 2025年7月11日 23:59
- 如果你每一季也有關注 Gate 銷毀 GT 的公告，那也請記住這篇文章。在幣圈這個行業裏，從來不缺反復橫跳、承諾落空的項目方與代幣經濟學。只有那些能堅守初心、兌現承諾的平台，才能真正與社群走得長遠。
耶魯教授首發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企業和生態的長期發展戰略。
演講最後，邵中教授強調："可信、安全、可驗證的網路協議棧，將是通向真正去中心化未來的關鍵路徑。"