At the Web3 Scholars Summit, CertiK Co-Founder and Yale CS Prof. Zhong Shao unveiled a groundbreaking framework: LiDO and LiDO-DAG.

This innovation brings the first formal, machine-verified proofs of safety and liveness for modern consensus protocols like Jolteon, Narwhal, and Bullshark.

By refining high-level safety models down to implementation-level code, LiDO lays the foundation for a verifiably secure, scalable, and decentralized future.

Security isn’t just about preventing exploits, it's about building systems we can trust from the ground up.