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
相关推荐
-
某以太坊早期持有者沉寂7年后向Kraken转入2000枚ETH
idea2003.cn 4月8日消息，据Lookonchain报道，一位以太坊早期OG在沉寂7年后向Kraken交易所转入2000枚ETH，按当前价格约合311万美元。该地址于20…
-
巨鲸再售504万枚VIRTUAL，两个钱包累计亏损达851万美元
idea2003.cn 4月10日消息，据Onchain Lens监测，一名巨鲸近期以227万美元USDC出售504万枚VIRTUAL代币，此笔交易亏损达348万美元。该地址通过两…
-
美国比特币现货ETF昨日总净流出7107.50万美元，仅贝莱德IBIT实现净流入
idea2003.cn 4月1日消息，根据 SoSoValue 数据，昨日（美东时间 3 月 31 日）比特币现货 ETF 总净流出 7107.50 万美元。 昨日单日净流入最多的…
-
摩根大通将美国经济衰退几率上调至40%
idea2003.cn 消息，3 月 11 日，华尔街投行摩根大通的经济学家将美国今年的经济衰退风险从 2025 年初的 30% 上调至 40%。分析师写道：「由于美国的极端政策，…
-
贝索斯支持的银行初创公司Stark Bank SA瞄准巴西加密货币业务
idea2003.cn 3月12日消息，据彭博社报道，Stark Bank SA，这家由贝索斯家族办公室Bezos Expeditions支持的巴西纯线上银行，正将自己定位为该国加…
-
某巨鲸取消质押867万枚OM后已向币安存入700万枚OM
idea2003.cn 3月10日消息，据Spot On Chain监测，经过281天的沉寂，一条巨鲸12小时前将867万枚OM取消质押，并随后向币安存入了700万枚OM（价值43…
-
Amber Group将2万枚ETH转至CEX，价值3736万美元
idea2003.cn 3月11日消息，据链上分析师余烬监测，在过去15分钟里，Amber Group将2万枚ETH(3736万美元)转进Binance、OKX、Gate等CEX。
-
美SEC委员：加密货币工作组正努力制定监管框架
idea2003.cn 4月23日消息，据CNBC报道，美国证券交易委员会(SEC)委员Mark Uyeda参加“Money Movers”节目，讨论本届SEC与Gary Gens…
-
PayPal将支持LINK和SOL的购买、出售、持有和转移
idea2003.cn 4月5日消息，据官方公告，PayPal 宣布加密货币 Chainlink (LINK) 和 Solana (SOL) 将可供 PayPal 和 Venmo …
-
DoubleZero Foundation以4亿美元估值完成2800万美元融资，Dragonfly和Multicoin Capital领投
idea2003.cn 3月6日消息，据CoinDesk报道，知情人士透露，初创公司DoubleZero Foundation以4亿美元估值完成2800万美元融资，Dragonfl…
