- 话题1/3
56k 热度
40k 热度
55k 热度
9k 热度
23k 热度
- 置顶
- 🎉 #CandyDrop合约挑战# 正式开启！参与即可瓜分 6 BTC 豪华奖池！
📢 在 Gate 广场带话题发布你的合约体验
🎁 优质贴文用户瓜分$500 合约体验金券，20位名额等你上榜！
📅 活动时间：2025 年 8 月 1 日 15:00 - 8 月 15 日 19:00 (UTC+8)
👉 活动链接：https://www.gate.com/candy-drop/detail/BTC-98
敢合约，敢盈利
- 🎉 攒成长值，抽华为Mate三折叠！广场第 1️⃣ 2️⃣ 期夏季成长值抽奖大狂欢开启！
总奖池超 $10,000+，华为Mate三折叠手机、F1红牛赛车模型、Gate限量周边、热门代币等你来抽！
立即抽奖 👉 https://www.gate.com/activities/pointprize?now_period=12
如何快速赚成长值？
1️⃣ 进入【广场】，点击头像旁标识进入【社区中心】
2️⃣ 完成发帖、评论、点赞、发言等日常任务，成长值拿不停
100%有奖，抽到赚到，大奖等你抱走，赶紧试试手气！
截止于 8月9日 24:00 (UTC+8）
详情： https://www.gate.com/announcements/article/46384
#成长值抽奖12期开启#
- 📢 Gate广场 #NERO发帖挑战# 秀观点赢大奖活动火热开启！
Gate NERO生态周来袭！发帖秀出NERO项目洞察和活动实用攻略，瓜分30,000NERO！
💰️ 15位优质发帖用户 * 2,000枚NERO每人
如何参与：
1️⃣ 调研NERO项目
对NERO的基本面、社区治理、发展目标、代币经济模型等方面进行研究，分享你对项目的深度研究。
2️⃣ 参与并分享真实体验
参与NERO生态周相关活动，并晒出你的参与截图、收益图或实用教程。可以是收益展示、简明易懂的新手攻略、小窍门，也可以是行情点位分析，内容详实优先。
3️⃣ 鼓励带新互动
如果你的帖子吸引到他人参与活动，或者有好友评论“已参与/已交易”，将大幅提升你的获奖概率！
NERO热门活动（帖文需附以下活动链接）：
NERO Chain (NERO) 生态周：Gate 已上线 NERO 现货交易，为回馈平台用户，HODLer Airdrop、Launchpool、CandyDrop、余币宝已上线 NERO，邀您体验。参与攻略见公告：https://www.gate.com/announcements/article/46284
高质量帖子Tips：
教程越详细、图片越直观、互动量越高，获奖几率越大！
市场见解独到、真实参与经历、有带新互动者，评选将优先考虑。
帖子需原创，字数不少于250字，且需获得至少3条有效互动
- 🎉 亲爱的广场小伙伴们，福利不停，精彩不断！目前广场上这些热门发帖赢奖活动火热进行中，发帖越多，奖励越多，快来GET你的专属好礼吧！🚀
1️⃣ #GateLaunchpad上线IKA# ｜IKA认购体验
在Gate广场带话题晒出你的IKA Launchpad认购体验，4位幸运分享者讲瓜分$200分享奖池!
详情 👉️ https://www.gate.com/post/status/12566958
2️⃣ #ETH冲击4800# ｜行情分析预测
大胆发帖预测ETH走势，展示你的市场洞察力！10位幸运用户将平分0.1 ETH 奖励！
详情 👉️ https://www.gate.com/post/status/12322403
3️⃣ #创作者活动第二期# ｜ZKWASM话题
在广场或推特发布与 ZKWASM 或其交易活动相关的原创内容，瓜分4,000枚ZKWASM！
详情 👉️ https://www.gate.com/post/status/12525794
4️⃣ #Gate广场征文活动第二期# ｜ERA话题
谈谈你对ERA的观点/体验，参与并推广活动，700 ERA大奖等你赢！
详情 👉️ https://www.gate.com/post/status/12361653
5️⃣ #MBG任务挑战# ｜MBG话题
分享你对MBG的洞察，积极参与和推广MBG活动，20位小 - 🎉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
耶鲁教授发布LiDO模型：Web3共识协议安全性验证新框架
Web3学者峰会上耶鲁教授首次公开LiDO模型
2025年Web3学者峰会近日召开，耶鲁大学计算机科学系教授邵中发表了题为《基于细化的共识协议安全性与活性证明：LiDO及其拓展》的主题演讲，首次揭示了他的团队开发的LiDO模型和LiDO-DAG扩展框架。这一创新成果旨在为复杂的拜占庭容错（BFT）共识协议提供可机械化验证的安全性和活性证明，为Web3生态系统的可靠性和可扩展性发展奠定技术基础。
邵中教授在演讲中指出，尽管现有的共识协议（如PBFT和Jolteon）被广泛应用，但由于实现复杂性，它们常常隐藏着潜在的漏洞。为解决这一问题，LiDO模型创新性地提出了三层细化验证框架：
目前，LiDO已成功应用于工业级协议Jolteon（两阶段BFT）和多个DAG协议，完成了超过10,000行Coq代码的机械化证明，其中安全性和活性验证的代码量分别达到了4,000行和1,700行。邵中教授在演讲中强调："当前，PoS共识协议普遍面临安全性、活性与去中心化三者难以兼得的困境。LiDO模型正是为打破这一困境而提出的系统性设计方案。"
邵中教授及其团队此前开发的CertiKOS是全球首个通过形式化验证的"无漏洞"操作系统，被誉为"网络物理系统安全的里程碑"。这一成就不仅奠定了他们在系统安全领域的深厚积累，也展示了他们在这一领域的专业能力。近年来，邵中教授深入研究区块链安全，于2017年与其学生顾荣辉教授共同将形式化验证技术引入智能合约和链上协议的安全保障领域，为数千亿美元级的加密资产提供安全保护。
LiDO目前已完成模型设计和形式化验证，并开始探索与主流公链及去中心化协议的集成可能性。邵中教授表示，他们致力于验证Web3.0中的关键机制，以提供全周期产品和服务，更好地支持Web3企业和生态的长期发展战略。在演讲结束时，邵中教授强调："可信、安全、可验证的网络协议栈，将是通向真正去中心化未来的关键路径。"