- 話題
4k 熱度
79 熱度
485 熱度
172 熱度
42k 熱度
443 熱度
17k 熱度
6k 熱度
3k 熱度
- 10BTC再創新高
111k 熱度
- 置頂
- 📢 ETH衝擊4800？我有話說！快來“Gate廣場”秀操作，0.1 ETH大獎等你拿！
牛市預言家，可能下一個就是你！想讓你的觀點成爲廣場熱搜、贏下ETH大獎？現在就是機會！
💰️ 廣場5位優質發帖用戶+X瀏覽量前5發帖用戶，瓜分0.1 ETH！
🎮 活動怎麼玩，0門檻瓜分ETH！
1.話題不服來辯！
帶 #ETH冲击4800# 和 #ETH# 在 廣場 或 K線ETH下 圍繞一下主題展開討論：
-ETH是否有望突破4800？
-你看好ETH的原因是什麼？
-你的ETH持倉策略是？
-ETH能否引領下一輪牛市？
2. X平台同步嗨
在X平台發帖討論，記得帶 #GateSquare# 和 #ETH冲击4800# 標籤！
把你X返連結提交以下表單以瓜分大獎：https://www.gate.com/questionnaire/6896
✨發帖要求：
-內容須原創，字數不少於100字，且帶活動指定標籤
-配圖、行情截圖、分析看法加分，圖文並茂更易精選
-禁止AI寫手和灌水刷屏，一旦發現取消獎勵資格
-觀點鮮明、邏輯清晰，越有料越好！
關注ETH風向，創造觀點價值，從廣場發帖開始！下一個牛市“預言家”，可能就是你！🦾🏆
⏰ 活動時間：2025年7月18日 16:00 - 2025年7月28日 23:59（UTC+8）
【立即發帖】 展現你的真知灼見，贏取屬於你的ETH大獎！
- 🎉 #Gate Alpha 第三届积分狂欢节 & ES Launchpool# 聯合推廣任務上線！
本次活動總獎池：1,250 枚 ES
任務目標：推廣 Eclipse（$ES）Launchpool 和 Alpha 第11期 $ES 專場
📄 詳情參考：
Launchpool 公告：https://www.gate.com/zh/announcements/article/46134
Alpha 第11期公告：https://www.gate.com/zh/announcements/article/46137
🧩【任務內容】
請圍繞 Launchpool 和 Alpha 第11期 活動進行內容創作，並曬出參與截圖。
📸【參與方式】
1️⃣ 帶上Tag #Gate Alpha 第三届积分狂欢节 & ES Launchpool# 發帖
2️⃣ 曬出以下任一截圖：
Launchpool 質押截圖（BTC / ETH / ES）
Alpha 交易頁面截圖（交易 ES）
3️⃣ 發布圖文內容，可參考以下方向（≥60字）：
簡介 ES/Eclipse 項目亮點、代幣機制等基本信息
分享你對 ES 項目的觀點、前景判斷、挖礦體驗等
分析 Launchpool 挖礦 或 Alpha 積分玩法的策略和收益對比
🎁【獎勵說明】
評選內容質量最優的 10 位 Launchpool/Gate - 和其他領域不一樣的是：你想支持一個 Web3 遊戲項目，你必須要「雙投」——既要投時間，也要投錢。
- 📢 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
- 🎉【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
LiDO模型亮相Web3峯會：爲復雜共識協議提供機械化驗證
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企業和生態的長期發展戰略。演講最後，邵中教授強調："可信、安全、可驗證的網路協議棧，將是通向真正去中心化未來的關鍵路徑。"