CertiK (@CertiK): At the Web3 Scholars Summit, CertiK Co-Founder and Yale CS Chair Prof. Zhong Shao unveiled a groundbreaking framework: LiDO and LiDO-DAG.
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
Impact unavailable
At the Web3 Scholars Summit, CertiK Co-Founder and Yale CS Chair 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.