🚀 邵中教授在Web3峰会上发布LiDO模型及扩展框架
#Web3 #LiDO模型 #扩展框架 #邵中教授 #拜占庭容错 #共识协议 #安全性 #活性 #去中心化 #PoS #Coq #计算机科学 #CertiK #Jolteon #主流公链
据Odaily星球日报报道，2025年4月8日，在Web3学者峰会上，耶鲁大学计算机科学系主任、CertiK联合创始人邵中教授首次公开LiDO模型及LiDO-DAG扩展框架。该成果通过三层细化验证框架，为复杂拜占庭容错共识协议提供安全性与活性证明，提升Web3生态的可靠性和规模化发展。LiDO已应用于Jolteon等协议，完成超万行Coq代码验证。邵中教授表示，LiDO针对PoS共识协议的安全性、活性与去中心化难题，提出系统性解决方案，并正探索与主流公链合作。#Web3 #LiDO模型 #扩展框架 #邵中教授 #拜占庭容错 #共识协议 #安全性 #活性 #去中心化 #PoS #Coq #计算机科学 #CertiK #Jolteon #主流公链