- 话题1/3
15k 热度
13k 热度
6k 热度
6k 热度
47k 热度
- 置顶
- 📢 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
CertiK联创邵中教授出席Web3学者峰会，首次公开LiDO模型
在今日举行的2025年Web3学者峰会（Web3 Scholars Conference 2025）上，耶鲁大学计算机科学系教授、CertiK联合创始人邵中发表了题为《基于细化的共识协议安全性与活性证明：LiDO及其拓展》的主题演讲，首次公开了其团队研发的LiDO模型及LiDO-DAG扩展框架。这一突破性成果旨在为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，为Web3生态的可靠性与规模化发展奠定技术基石。
在本次演讲中，邵中教授指出，现有共识协议（如PBFT、Jolteon）虽广泛应用，但因实现复杂常隐藏潜在漏洞。为解决这一问题，LiDO模型创新性地提出三层细化验证框架：
目前，LiDO已成功应用于工业级协议Jolteon（两阶段BFT）及多个DAG协议，完成超万行Coq代码的机械化证明，安全性与活性验证代码量分别达4000行和1700行。“当前，PoS共识协议普遍面临安全性、活性与去中心化三者难以兼得的困境，”邵中教授在演讲中指出。“LiDO模型正是为打破这一困境而提出的系统性设计方案。”
邵中教授带领团队研发的CertiKOS，是全球首个通过形式化验证的“无漏洞”操作系统，被誉为“网络物理系统安全的里程碑”。这一成就不仅奠定了安全公司CertiK的技术根基，也彰显了其在系统安全领域的深厚积累。近年来，邵中教授深耕区块链安全，于2017年与弟子顾荣辉教授共同创立CertiK，将形式化验证技术引入智能合约与链上协议的安全保障，护航千亿美元级加密资产安全。
LiDO当前已完成模型设计与形式化验证，并开始探索与主流公链及去中心化协议的集成可能性。邵中教授表示，CertiK致力于验证Web3.0中的关键机制，以提供全周期产品和服务，更好地支持Web3企业和生态的长期发展战略。演讲最后，邵中教授强调：“可信、安全、可验证的网络协议栈，将是通向真正去中心化未来的关键路径。”