Odaily Planet Daily News On April 8, at the 2025 Web3 Scholars Summit, Professor Shao Zhong, the head of the Department 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 activity proofs for complex Byzantine Fault Tolerance (BFT) consensus protocols through a three-layer refinement verification framework (security abstraction layer, activity assurance 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 more than 10,000 lines of Coq code verification. Professor Shao Zhong said that LiDO proposes a systematic solution to the dilemma of the PoS consensus protocol's difficulty in achieving security, activity, and decentralization. At present, LiDO is exploring cooperation with mainstream public chains to help build a trusted decentralized network protocol stack.