João barbosa
@darkcolosso
At the 2025 Web3 Scholar Summit, Professor Zhong Shao, co-founder of CertiK and chair of Yale's Computer Science Department, introduced the LiDO model and its LiDO-DAG extension framework, offering a mechanizable verification for complex BFT consensus protocols to enhance Web3's reliability and scalability.
0 reply
0 recast
0 reaction