1. 首页

CertiK创始人邵中教授出席Web3学者峰会,发布LiDO模型攻克BFT共识难题

OKX欧易app

OKX欧易app

欧易交易所app是全球排名第一的虚拟货币交易所,注册领取6万元盲盒礼包!

APP下载   官网注册
Odaily星球日报讯 4 月 8 日,在 2025 年 Web3 学者峰会上,耶鲁大学计算机科学系主任、CertiK 联合创始人邵中教授首次公开 LiDO 模型及 LiDO-DAG 扩展框架。这一突破性成果通过三层细化验证框架(安全抽象层、活性保障层、DAG 扩展层),为复杂拜占庭容错(BFT)共识协议提供可机械化验证的安全性与活性证明,旨在提升 Web3 生态的可靠性和规模化发展。LiDO 已成功应用于 Jolteon 等工业级协议,完成超万行 Coq 代码验证。邵中教授表示,LiDO 针对 PoS 共识协议安全性、活性与去中心化难以兼得的困境,提出系统性解决方案。目前,LiDO 正探索与主流公链合作,助力构建可信的去中心化网络协议栈。
OKX欧易app

OKX欧易app

欧易交易所app是全球排名第一的虚拟货币交易所,注册领取6万元盲盒礼包!

APP下载   官网注册
相关文章
  • Odaily星球日报讯 印度尼西亚的加密货币交易活动在 2024 年增长了 335.9%,达到 650.61 万亿印尼盾(402 亿美元)。商品期货交易监管局(Bappebti)将这一增长归因于用户数
    2025-01-26 08:47:29
  • Odaily星球日报讯 Movement Labs 联合创始人 Rushi Manche 针对社区对其转入交易平台代币的质疑在 X 平台发文表示,相关代币是为机构即将推出的产品(如 ETP / ETF
    2025-03-31 10:26:32
  • Odaily星球日报讯 据链上分析师 Ai 姨监测,随着 ETH 跌破 3200 美元,ETH 波段巨鲸仓位的 10,391.76 枚 ETH 已浮亏 147.5 万美元。
    2025-01-13 18:38:24
  • 火星财经消息,11 月 20 日,周二市场的目光都放在了俄乌局势上。在俄乌冲突的第 1000 天,俄方的新政策降低了使用核武器的门槛,令全球金融市场神经紧绷,不过总体反应较为有限。

    2024-11-20 11:10:37
  • Mask币最新消息还能涨起来吗?近年来,加密货币市场一直波动不定,但有些币种却在逆势中崭露头角。Mask币(MASK)作为一种新兴的数字货币,吸引了众多投资者的关注。Mask币究竟有何特别之处?它的未来是否真的如市场预测那般光明?本文将通过技术背景、市场需求和专家观点等多方面深入分析Mask币的未来趋势,帮助投资者做出明智的决定。

    Mask币的技术背景

    Mas

    2024-12-13 16:10:01
  • 火星财经消息,10 月 24 日,据 @CarpeNoctom 监测数据,美国比特币现货 ETF 昨日净流入 1.985 亿美元。

    2024-10-24 09:22:39
  • Odaily星球日报讯 金融解决方案公司 ABD Systems 已从 Rollman Management Digital (RMD)获得 2000 万美元的代币投资承诺,以进一步发展其技术和业务。
    2024-12-13 18:43:46
  • Odaily星球日报讯 链上聚合交易平台 Ave.ai 宣布推出多链“信号广场”。该功能是基于 Ave 独家“聪明钱+巨鲸+KOL”地址库,多链多地址异动,自动抓取链上潜在金狗信号。 数据显示,Av
    2025-04-03 18:42:46
OKX欧易app

OKX欧易app

欧易交易所app是全球排名第一的虚拟货币交易所,注册领取6万元盲盒礼包!

APP下载   官网注册