LiDO model officially launched, CertiK co-founder Shao Zhong focuses on solving the security problems of BFT consensus protocol

PANews reported on April 8 that at the 2025 Web3 Scholars Summit, Professor Shao Zhong, a professor of computer science at Yale University and co-founder of CertiK, publicly disclosed the LiDO model and LiDO-DAG extension framework for the first time. This breakthrough provides mechanized verifiable security and liveness proofs for complex Byzantine Fault Tolerant (BFT) consensus protocols through a three-layer detailed verification framework (security abstraction layer, liveness guarantee layer, and DAG extension layer), aiming to improve the reliability and scale development of the Web3 ecosystem.

LiDO has been successfully applied to industrial-grade protocols such as Jolteon, and has completed over 10,000 lines of Coq code verification. Professor Shao Zhong said that LiDO has proposed a systematic solution to the dilemma of the PoS consensus protocol's difficulty in achieving security, activity, and decentralization. Currently, LiDO is exploring cooperation with mainstream public chains to help build a trusted decentralized network protocol stack.