- 話題
32k 熱度
8k 熱度
25k 熱度
2k 熱度
75k 熱度
- 置頂
- 📢 Gate廣場專屬 #WXTM创作大赛# 正式開啓！
聚焦 CandyDrop 第59期 —— MinoTari (WXTM)，總獎池 70,000 枚 WXTM 等你贏！
🎯 關於 MinoTari (WXTM)
Tari 是一個以數字資產爲核心的區塊鏈協議，由 Rust 構建，致力於爲創作者提供設計全新數字體驗的平台。
通過 Tari，數字稀缺資產（如收藏品、遊戲資產等）將成爲創作者拓展商業價值的新方式。
🎨 活動時間：
2025年8月7日 17:00 - 8月12日 24:00（UTC+8）
📌 參與方式：
在 Gate廣場發布與 WXTM 或相關活動（充值 / 交易 / CandyDrop）相關的原創內容
內容不少於 100 字，形式不限（觀點分析、教程分享、圖文創意等）
添加標籤： #WXTM创作大赛# 和 #WXTM#
附本人活動截圖（如充值記錄、交易頁面或 CandyDrop 報名圖）
🏆 獎勵設置（共計 70,000 枚 WXTM）：
一等獎（1名）：20,000 枚 WXTM
二等獎（3名）：10,000 枚 WXTM
三等獎（10名）：2,000 枚 WXTM
📋 評選標準：
內容質量（主題相關、邏輯清晰、有深度）
用戶互動熱度（點讚、評論）
附帶參與截圖者優先
📄 活動說明：
內容必須原創，禁止抄襲和小號刷量行爲
獲獎用戶需完成 Gate廣場實名 - 「沒有對手？我有話說！」Gate廣場挑戰賽——秀操作贏$2,000，百萬流量加持！
你是下一個明星交易員嗎？
想讓自己的名字閃耀廣場熱搜？想吸引數萬追隨者？百萬流量已就位，就等你來承接！
🎉 雙重豪禮，贏家通喫！
1️⃣ 曬單排行榜獎勵
收益率排名前10的用戶，瓜分 $1,500合約體驗券！巔峯對決等你來戰！
2️⃣ 曬單幸運獎
隨機抽取10位用戶，每人贈送 $50跟單包賠券！即使不是大神，也有機會躺贏！
🎮 參與方式超簡單！
✅ 在 Gate廣場 曬出你的交易戰績，並成爲帶單員！
✨ 發帖要求：
內容必須原創，並帶上 #CopyTrading# 或 #跟单# 標籤
附上 收益率截圖 或 交易卡片，並分享你的 獨家交易心得
嚴禁AI生成虛假交易，一經發現取消資格
觀點犀利、邏輯清晰，乾貨越多越吸粉！
⏰ 活動截止：8月15日 10:00（UTC+8）
【立即發帖】 展現你的王者操作，承接百萬流量，成爲下一個交易傳奇！
💬 還在等什麼？Gate廣場，等你來戰！ 💪 - Gate 鏈上賺幣：ETH 挖礦限時高收益！
✅ 年化收益近 5% + 額外獎勵單人額度 1000 ETH
💎 最低 0.00000001 ETH 起投，無贖回期，隨存隨取！
立即上車，穩賺鏈上收益：https://www.gate.com/staking/ETH - Gate 合約開倉激勵計劃火熱上線！零門檻瓜分 50,000 ERA
開倉即有獎，交易越多獎勵越多！
新用戶享 20% 加成！
立即參與：https://www.gate.com/campaigns/1692?pid=X&ch=NGhnNGTf
活動詳情：https://www.gate.com/announcements/article/46429
#Gate # #合约交易 # #ERA# - 👀 家人們，最近你們都攢了多少 Alpha 積分啦？
空投領到了沒？沒搶到也別急，廣場給你整點額外福利！
🎁 曬出你的 Alpha 收益，咱們就送你$200U代幣盲盒獎勵！
🥇 積分最高曬圖用戶 1 名 → $100 代幣盲盒
✨ 積分榜前五優質分享者 5 名 → 各得 $20 代幣盲盒
📍【怎麼玩】
1️⃣ 帶上話題 #晒出我的Alpha积分收益# 發廣場貼
2️⃣ 曬 Alpha 積分截圖 + 一句話總結：“我靠 Gate Alpha 賺了 ____，真的香！”
👉 還可以分享你的攢分技巧、兌換經驗、積分玩法，越乾貨越容易中獎！
📆【活動時間】
8月4日 18:00 - 8月10日 24:00 （UTC+8）
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企業和生態的長期發展戰略。演講最後，他強調："可信、安全、可驗證的網路協議棧，將是通向真正去中心化未來的關鍵路徑。"