📢 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
耶鲁教授推出LiDO模型:革新Web3共识协议安全验证
Web3学者峰会上耶鲁教授揭示新型共识协议安全模型
在近日举行的2025年Web3学者峰会上,耶鲁大学计算机科学系教授邵中发表了一场引人注目的演讲,介绍了其团队最新研发的LiDO模型及LiDO-DAG扩展框架。这一创新成果旨在为复杂的拜占庭容错(BFT)共识协议提供可机械化验证的安全性与活性证明,为Web3生态系统的可靠性和扩展性发展奠定坚实的技术基础。
邵中教授在演讲中指出,尽管现有的共识协议(如PBFT、Jolteon)已被广泛应用,但由于其实现的复杂性,往往隐藏着潜在的安全漏洞。为解决这一问题,LiDO模型提出了一个创新的三层细化验证框架:
目前,LiDO已成功应用于工业级协议Jolteon(两阶段BFT)以及多个DAG协议,完成了超过一万行Coq代码的机械化证明。其中,安全性和活性验证的代码量分别达到了4000行和1700行。邵中教授在演讲中强调:"当前,PoS共识协议普遍面临安全性、活性与去中心化三者难以兼得的困境。LiDO模型正是为打破这一困境而提出的系统性设计方案。"
邵中教授及其团队此前研发的CertiKOS,被誉为"网络物理系统安全的里程碑",是全球首个通过形式化验证的"无漏洞"操作系统。这一成就不仅展示了团队在系统安全领域的深厚积累,也为他们后续的研究奠定了坚实的技术基础。2017年,邵中教授与其学生顾荣辉教授共同将形式化验证技术引入智能合约和链上协议的安全保障领域,为数千亿美元级的加密资产提供安全保护。
LiDO模型目前已完成设计和形式化验证,并开始探索与主流公链及去中心化协议的集成可能性。邵中教授表示,他们致力于验证Web3.0中的关键机制,以提供全周期的产品和服务,更好地支持Web3企业和生态系统的长期发展战略。
在演讲的结尾,邵中教授强调:"可信、安全、可验证的网络协议栈,将是通向真正去中心化未来的关键路径。"这一观点凸显了他对Web3技术发展方向的深刻洞察,也为未来区块链和去中心化系统的安全性提供了新的思考方向。