CertiK创始人邵中教授出席Web3学者峰会,发布LiDO模型攻克BFT共识难题
04-08 05:25
Odaily星球日报讯 4 月 8 日,在 2025 年 Web3 学者峰会上,耶鲁大学计算机科学教授、CertiK 联合创始人邵中教授首次公开 LiDO 模型及 LiDO-DAG 扩展框架。这一突破性成果通过三层细化验证框架(安全抽象层、活性保障层、DAG 扩展层),为复杂拜占庭容错(BFT)共识协议提供可机械化验证的安全性与活性证明,旨在提升 Web3 生态的可靠性和规模化发展。LiDO 已成功应用于 Jolteon 等工业级协议,完成超万行 Coq 代码验证。邵中教授表示,LiDO 针对 PoS 共识协议安全性、活性与去中心化难以兼得的困境,提出系统性解决方案。目前,LiDO 正探索与主流公链合作,助力构建可信的去中心化网络协议栈。
最热快讯
资讯热榜
日榜
周榜
Hyperliquid’s 50x leveraged BTC short position turned from loss to profit, with a floating profit of over $600,000
James Wynn wrote a long article about himself: He started playing with contracts in March, earned 8-digit profits from Meme coins, and lost 100 million in a week
BTC rebounded and broke through 102,000 USDT, and the 24-hour decline narrowed to 2.87%
SlowMist: Lazarus hackers are using a new stealing Trojan, OtterCookie, to target cryptographic practitioners
Abraxas Capital shorts mainstream currencies for hedging, with current floating profits exceeding $55 million
TRUMP wallet official website linked to account X for the second time