Ngày 8 tháng 4, tại Hội nghị Học giả Web3 năm 2025, Giáo sư Shao Zhong - Giám đốc Khoa Khoa học Máy tính Đại học Yale, đồng sáng lập CertiK, đã công bố mô hình LiDO và khung mở rộng LiDO-DAG lần đầu tiên. Thành quả đột phá này thông qua khung xác minh ba lớp chi tiết (lớp trừu tượng an toàn, lớp đảm bảo hoạt động, lớp mở rộng DAG), cung cấp bằng chứng an toàn và hoạt động có thể được xác minh một cách cơ học cho các giao thức đồng thuận Byzantine khoan dung lỗi (BFT) phức tạp, nhằm nâng cao độ tin cậy và phát triển quy mô của hệ sinh thái Web3.
LiDO đã được áp dụng thành công cho các giao thức cấp công nghiệp như Jolteon, hoàn thành xác minh hơn 10.000 dòng mã Coq. Giáo sư Shao Zhong cho biết, LiDO đã đưa ra giải pháp hệ thống cho tình trạng khó khăn trong việc đảm bảo an toàn, hoạt động và tính phi tập trung của các giao thức đồng thuận PoS. Hiện tại, LiDO đang khám phá các cơ hội hợp tác với các chuỗi công khai chính, hỗ trợ xây dựng ngăn xếp giao thức mạng phi tập trung đáng tin cậy.
