- 话题
20k 热度
5k 热度
11k 热度
67 热度
3k 热度
729 热度
16k 热度
21k 热度
12k 热度
2k 热度
- 置顶
- HODL 并不等于你必须永远把比特币死守在钱包里，直到世界末日，一丁点都不能卖。
- 加密现在已经不是选配，而是标配了。
- 🎉【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
邵中教授发布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企业和生态的长期发展战略。演讲最后，邵中教授强调："可信、安全、可验证的网络协议栈，将是通向真正去中心化未来的关键路径。"