Professor Shao Zhong, co-founder of CertiK, attended the Web3 Scholars Summit and publicly presented the LiDO model for the first time.

Professor Shao Zhong, co-founder of CertiK, has publicly unveiled the LiDO model and the LiDO-DAG extension framework, breaking through the challenges of consensus protocols.

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.