在 Web3 Scholars Summit 上，CertiK 联合创始人兼耶鲁大学计算机科学教授 Zhong Shao 发布了一个突破性的框架：LiDO 和 LiDO-DAG。 这项创新为 Jolteon、Narwhal 和 Bullshark 等现代共识协议带来了首个正式的、机器验证的安全性和活跃性证明。 通过将高级安全模型细化到实现级别的代码，LiDO 为可验证的安全、可扩展和去中心化的未来奠定了基础。 安全性不仅仅是防止漏洞，而是构建我们可以从头开始信任的系统。