Yale Professor Unveils LiDO Model at 2025 Web3 Scholars Summit

At the 2025 Web3 Scholars Summit, Professor Zhong Shao, Chair of Yale University’s Computer Science Department and co-founder of CertiK, presented the LiDO model and its LiDO-DAG extension framework. This groundbreaking development offers a mechanism for verifying the security and liveness of complex Byzantine Fault Tolerance (BFT) consensus protocols through a three-layered verification framework. This includes a security abstraction layer, a liveness assurance layer, and a DAG extension layer. The goal is to enhance the stability and scalability of the Web3 ecosystem.