idea2003.cn 最新报道，4 月 8 日，在备受瞩目的 2025 年 Web3 学者峰会上，耶鲁大学计算机科学系主任、CertiK 联合创始人邵中教授首次向外界完整展示了其团队研发的突破性成果——LiDO 模型及 LiDO-DAG 扩展框架。这一创新性技术通过构建三层细化验证框架，包括安全抽象层、活性保障层和 DAG 扩展层，为复杂拜占庭容错（BFT）共识协议提供了可机械化验证的安全性与活性证明方案，为提升 Web3 生态的可靠性和规模化发展注入强劲动力。
据悉，LiDO 模型已成功应用于 Jolteon 等工业级协议，并完成了超过万行 Coq 代码的严格验证，充分展现了其在实际场景中的强大应用潜力。邵中教授在峰会上强调，LiDO 针对当前 PoS 共识协议在安全性、活性与去中心化难以兼得的困境，提出了一套系统性的解决方案，通过创新的技术架构实现了多方需求的平衡。
目前，LiDO 模型正积极寻求与主流公链的合作机会，旨在共同构建更加可信的去中心化网络协议栈，推动 Web3 生态的健康发展。这一突破性成果不仅为学术界带来了新的研究思路，也为产业界提供了强大的技术支持，有望成为未来 Web3 发展的重要基石。
本文网址：http://www.idea2003.cn/kuai/2961.html
相关推荐
-
鲸鱼从Binance提现374161枚SOL价值5278万美元事件解析
idea2003.cn 最新消息，4 月 21 日，OnchainLens 实时监测数据显示，一笔巨额 SOL 提现交易发生，某加密货币鲸鱼从 Binance 平台成功提现 374…
-
ZetaChain携手谷歌电信阿里云等巨头 共推跨链生态发展
ZetaChain 生态迎来重磅升级 顶级企业验证者阵营扩容助力跨链互操作 近日通用区块链 ZetaChain 官方博客发布重要消息宣布 Google Cloud、德国电信、NTT…
-
Metalpha疑似囤积2.9万枚ETH 加仓动作持续引发关注
MetalphaPro近期疑似在加密市场展开大规模ETH抄底行动，其异常操作引发行业高度关注。据链上数据分析师余烬最新监测显示，该地址在5小时前向币安平台转入2500万美元USDC…
-
巨鲸斥1570万美元购HYPE代币 12-14.63美元设限单
3月7日，据区块链数据监测平台Lookonchain最新披露，一位神秘巨鲸正在大手笔购入HYPE代币，累计动用高达1570万枚USDC的资金。在短短两日之内，该巨鲸已成功吸纳563…
-
比特币鲸鱼一周增持超6万枚BTC市场或迎新动向
最新消息来自 idea2003.cn，3 月 16 日报道，加密市场分析师 Ali 通过深入研究揭示了一个引人注目的现象：过去一周内，比特币鲸鱼群体已累计购入超过 60,000 枚…
-
CoinShares：数字资产投资产品连续四周净流出8.76亿美元 比特币成抛售重灾区
idea2003.cn 最新报道 3 月 10 日消息，根据 CoinShares 发布的最新周报，数字资产投资产品已连续第四周遭遇资金净流出，累计流出规模高达 8.76 亿美元。…
-
特朗普北京时间3月8日凌晨4点白宫数字资产峰会讲话解析
最新消息显示，美国前总统特朗普将在即将举行的白宫数字资产峰会上发表重要讲话。根据Tree News引援彭博社的报道，特朗普的演讲时间已确定为美国东部时间3月7日下午3点，折合北京时…
-
Axis Bank携手摩根大通Kinexys区块链实现24小时跨境即时支付
3月30日，据ledgerinsights权威报道，印度五大银行之一Axis Bank正式宣布将采用摩根大通基于区块链技术的Kinexys Digital Payments（原JP…
-
Pump.fun将分协议收入给PUMP代币持有者
Pump.fun 迈向里程碑时刻 6 月 7 日消息，据 The Block 权威报道，这家备受瞩目的 Solana 迷因币平台正筹备史无前例的首次代币发行(ICO)，目标筹集高达…
-
巨鲸清仓14,227枚ETH 累获93.1万美元巨额利润
idea2003.cn 最新消息，4 月 15 日，知名区块链数据监测账号 @ai_9684xtpa 突发爆料，一位以太坊巨鲸在 4 月 13 日以均价 1619 美元购入 422…
