idea2003.cn 消息，4 月 8 日，在 2025 年 Web3 学者峰会上，耶鲁大学计算机科学系主任、CertiK 联合创始人邵中教授首次公开 LiDO 模型及 LiDO-DAG 扩展框架。这一突破性成果通过三层细化验证框架（安全抽象层、活性保障层、DAG 扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升 Web3 生态的可靠性和规模化发展。
LiDO 已成功应用于 Jolteon 等工业级协议，完成超万行 Coq 代码验证。邵中教授表示，LiDO 针对 PoS 共识协议安全性、活性与去中心化难以兼得的困境，提出系统性解决方案。目前，LiDO 正探索与主流公链合作，助力构建可信的去中心化网络协议栈。
本文网址：http://www.idea2003.cn/kuai/2961.html
相关推荐
-
一鲸鱼地址转入币安1.4万枚ETH后提取828万美元USDT
idea2003.cn 4月7日消息，据余烬监测，一鲸鱼地址过去一小时内从Maker取出14,014枚ETH（约2214万美元），转入币安后又提取828万美元USDT，疑似已完成部…
-
Solana成立五周年，交易量超4080亿笔
idea2003.cn 3月17日消息，Solana在X平台发布了一篇帖子，庆祝其成立五周年。该项目重点介绍了迄今为止取得的成果，包括超过4080亿笔交易、超过1,300名验证者和…
-
以太坊现货ETF连续6日净流出，昨日流出1040.23万美元
idea2003.cn 3月13日消息，据SoSoValue 数据，3月12日（美东时间）以太坊现货ETF总净流出1040.23万美元，已连续6日出现资金流出。其中，富达（Fide…
-
过去24小时全网爆仓2.69亿美元，主爆多单
idea2003.cn 消息，4 月 29 日，据 Coinglass 数据显示，过去 24 小时全网爆仓 2.69 亿美元，其中多单爆仓 1.79 亿美元，空单爆仓 9000 万…
-
俄罗斯支持的黑客组织「Dark Storm」宣称对X平台DDoS攻击负责
idea2003.cn 消息，3 月 11 日，据 Cointelegraph 报道，俄罗斯支持的黑客组织「Dark Storm」已宣称对 X 平台的大规模网络攻击负责。在攻击高峰…
-
Babylon将空投注册截止时间将延长至3月19日
idea2003.cn 3月13日消息，Babylon 基金会宣布，由于部分用户近期才完成空投注册，空投注册截止时间将延长4天至北京时间3月19日下午4点。
-
Berachain联创：后悔将过多代币供应卖给VC，正努力回购那种子轮及之后等轮次的供应
idea2003.cn 消息，3 月 5 日，Berachain 的匿名联合创始人 Smokey the Bera 在接受 Un Chained 采访时表示：「不认为批评完全错误。…
-
观点：Strategy的比特币购买对币价影响微乎其微
idea2003.cn 消息，4 月 21 日，根据 TD Cowen 的研究报告，尽管 Strategy 作为比特币 (BTC) 的主要企业持有者影响力不断扩大，但其大规模购买加…
-
Astar zkEVM拟于近期关停，建议用户在4月1日前提取资产
idea2003.cn 3月15日消息，Astar Network在X平台发文宣布，Astar zkEVM网络关停日期逐渐临近，建议用户在4月1日前提取所有资产。
-
美国白宫加密峰会将于北京时间3月8日凌晨2:30开始
idea2003 3月5日消息，据福克斯商业新闻记者Eleanor Terrett报道，根据白宫首届加密货币峰会邀请邮件，会议将从3月7日下午1:30 持续至下午5:30（北京时间…
