在Web3学者峰会上，CertiK联合创始人兼耶鲁大学CS主席钟绍教授公布了一个突破性的框架：LiDO和LiDO-DAG。 这项创新为Jolteon、Narwhal和Bullshark等现代共识协议带来了第一个正式的、经过机器验证的安全性和活性证明。 通过将高级安全模型细化为实现级代码，LiDO为可验证的安全、可扩展和去中心化未来奠定了基础。 安全不仅仅是防止漏洞利用，而是要从头开始构建我们可以信任的系统。