🎉【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企业和生态的长期发展战略。演讲最后,邵中教授强调:"可信、安全、可验证的网络协议栈,将是通向真正去中心化未来的关键路径。"