Tại Hội nghị Thượng đỉnh Web3 Scholars 2025, Giáo sư Shao Zhong, trưởng Khoa Khoa học Máy tính tại Đại học Yale và đồng sáng lập của CertiK, đã lần đầu tiên công bố mô hình LiDO và khung mở rộng LiDO-DAG. Đây là một thành tựu đột phá trong việc cung cấp chứng minh tính an toàn và hoạt động cho các giao thức đồng thuận Byzantine Fault Tolerant (BFT) phức tạp. Được thực hiện thông qua một khung kiểm chứng chi tiết ba lớp, mô hình này nhằm mục tiêu 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 vào các giao thức công nghiệp như Jolteon và hoàn tất kiểm chứng hơn 10.000 dòng mã Coq. Giáo sư Shao Zhong nhận định rằng LiDO đã đưa ra một giải pháp hệ thống cho thách thức của giao thức đồng thuận PoS, khó đạt được sự an toàn, hoạt động và phân tán. Hiện tại, LiDO đang tìm kiếm hợp tác với các chuỗi công khai chủ đạo nhằm xây dựng một ngăn xếp giao thức mạng tin cậy và phi tập trung.
Thông tin trên chỉ mang tính chất cung cấp thông tin thị trường và không cấu thành khuyến nghị đầu tư.
