📢 Gate广场 #创作者活动第一期# 火热开启,助力 PUMP 公募上线!
Solana 爆火项目 Pump.Fun($PUMP)现已登陆 Gate 平台开启公开发售!
参与 Gate广场创作者活动,释放内容力量,赢取奖励!
📅 活动时间:7月11日 18:00 - 7月15日 22:00(UTC+8)
🎁 活动总奖池:$500 USDT 等值代币奖励
✅ 活动一:创作广场贴文,赢取优质内容奖励
📅 活动时间:2025年7月12日 22:00 - 7月15日 22:00(UTC+8)
📌 参与方式:在 Gate 广场发布与 PUMP 项目相关的原创贴文
内容不少于 100 字
必须带上话题标签: #创作者活动第一期# #PumpFun#
🏆 奖励设置:
一等奖(1名):$100
二等奖(2名):$50
三等奖(10名):$10
📋 评选维度:Gate平台相关性、内容质量、互动量(点赞+评论)等综合指标;参与认购的截图的截图、经验分享优先;
✅ 活动二:发推同步传播,赢传播力奖励
📌 参与方式:在 X(推特)上发布与 PUMP 项目相关内容
内容不少于 100 字
使用标签: #PumpFun # Gate
发布后填写登记表登记回链 👉 https://www.gate.com/questionnaire/6874
🏆 奖励设置:传播影响力前 10 名用户,瓜分 $2
耶鲁教授首发LiDO模型 共识协议安全性验证获突破
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企业和生态的长期发展战略。
演讲最后,邵中教授强调:"可信、安全、可验证的网络协议栈,将是通向真正去中心化未来的关键路径。"