CertiK 联创邵中教授公开 LiDO 模型及 LiDO-DAG 扩展框架，突破共识协议难题
快链头条 2025-04-08 14:07:55
快链头条 消息，2025 年 Web3 学者峰会上，耶鲁大学计算机科学系主任、CertiK 联合创始人邵中教授首次公开 LiDO 模型及 LiDO-DAG 扩展框架。这一成果通过三层细化验证框架（安全抽象层、活性保障层、DAG 扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升 Web3 生态的可靠性和规模化发展。其其表示，「LiDO 已成功应用于 Jolteon 等工业级协议，完成超万行 Coq 代码验证。邵中教授表示，LiDO 针对 PoS 共识协议安全性、活性与去中心化难以兼得的困境，提出系统性解决方案。」
快链头条登载此文本着传递更多信息的缘由，并不代表赞同其观点或证实其描述。
文章内容仅供参考，不构成投资建议。投资者据此操作，风险自担。
投资有风险，入市须谨慎。本资讯不作为投资理财建议。
7*24小时快讯
Gate.io迎来十二周年庆典，迪拜活动赠送国际米兰限量签名球衣
04-26 13:39(7分钟前)
某巨鲸买入多种山寨币，包括 266 万美元 VIRTUAL 和 173 万美元 WLD
04-26 13:00(1小时前)
auto.fun 发布代币经济机制路线图：双池系统为核心，回购机制已投入运营
04-26 12:45(1小时前)
BSV 24小时上涨40%，现报45.06美元
04-26 12:37(1小时前)
OpenAI 创始人：已更新 GPT-4o，提升智能水平和个性表现
04-26 12:10(2小时前)
Treasure 推出 AI Agent Creator，支持将 NFT 转变为 MAGIC 驱动的 AI 代理
04-26 12:06(2小时前)
昨日美国以太坊现货ETF净流入1.041亿美元
04-26 12:03(2小时前)
某钱包盗币地址转移价值约 108 万美元 ETH 至 0x474 开头地址
04-26 12:01(2小时前)
热门资讯
风险提示
根据银保监会等五部门于 2018 年 8月发布《关于防范以「虚拟货币」「区块链」名义进行非法集资的风险提示》的文件， 请广大公众理性看待区块链，不要盲目相信天花乱坠的承诺，树立正确的货币观念和投资理念，切实提高风险意识；对发现的违法犯罪线索，可积极向有关部门举报反映。