Tại Hội nghị các học giả Web3, giáo sư Yale lần đầu tiên công bố mô hình LiDO

Tại Hội nghị học giả Web3 năm 2025, giáo sư Shao Zhong của Khoa Khoa học Máy tính Đại học Yale đã có bài phát biểu chủ đề mang tên "Bằng chứng an toàn và hoạt động của giao thức đồng thuận tinh chỉnh: LiDO và các mở rộng của nó", lần đầu tiên công bố mô hình LiDO và khung mở rộng LiDO-DAG mà nhóm của ông phát triển. Thành tựu đột phá này nhằm cung cấp chứng minh an toàn và hoạt động có thể được xác minh cơ học cho các giao thức đồng thuận Byzantine Fault Tolerant (BFT) phức tạp, đặt nền tảng công nghệ cho sự phát triển tin cậy và quy mô của hệ sinh thái Web3.

Giáo sư Shao Zhong chỉ ra rằng, các giao thức đồng thuận hiện có mặc dù được ứng dụng rộng rãi, nhưng do tính phức tạp trong việc triển khai thường ẩn chứa những lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã sáng tạo ra một khung xác thực ba lớp được tinh chỉnh.

1. Lớp trừu tượng an toàn: Ánh xạ giao thức thành máy trạng thái tuyến tính, đảm bảo tính nhất quán của nhật ký (an toàn);
2. Tầng bảo vệ hoạt động: Giới thiệu cơ chế "Pacemaker", giải quyết vấn đề độ trễ mạng thông qua phát sóng quá thời gian và đồng bộ vòng.
3. Lớp mở rộng DAG: Hỗ trợ giao thức DAG mới nổi, thực hiện xác minh hiệu quả mà không cần lãnh đạo.

Hiện tại, LiDO đã được áp dụng thành công vào giao thức công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG khác, hoàn thành việc chứng minh cơ khí cho hơn một vạn dòng mã Coq, với lượng mã chứng thực an toàn và tính khả dụng lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư Shao Zhong trong bài phát biểu của mình đã chỉ ra: "Hiện nay, các giao thức đồng thuận PoS đang phải đối mặt với khó khăn trong việc đạt được ba yếu tố an toàn, tính khả dụng và phi tập trung. Mô hình LiDO chính là giải pháp thiết kế hệ thống được đưa ra để phá vỡ tình thế này."

Giáo sư Shao Zhong dẫn dắt đội ngũ phát triển CertiKOS, là hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới được xác minh bằng hình thức, được ca ngợi là "một cột mốc trong an toàn hệ thống mạng vật lý". Thành tựu này không chỉ đặt nền tảng công nghệ cho lĩnh vực an toàn hệ thống mà còn thể hiện sự tích lũy sâu sắc của ông. Trong những năm gần đây, giáo sư Shao Zhong đã dồn sức vào an toàn blockchain, vào năm 2017 cùng với đồ đệ của mình là giáo sư Gu Ronghui đã đưa công nghệ xác minh hình thức vào bảo đảm an toàn cho hợp đồng thông minh và giao thức trên chuỗi, bảo vệ an toàn tài sản mã hóa trị giá hàng tỷ đô la.

LiDO hiện đã hoàn thành thiết kế mô hình và xác minh hình thức, và đã bắt đầu khám phá khả năng tích hợp với các chuỗi công cộng chính và giao thức phi tập trung. Giáo sư Shao Zhong cho biết, họ cam kết xác minh các cơ chế chính trong Web3.0 để cung cấp sản phẩm và dịch vụ toàn chu kỳ, hỗ trợ tốt hơn cho chiến lược phát triển lâu dài của các doanh nghiệp và hệ sinh thái Web3. Cuối buổi nói chuyện, giáo sư Shao Zhong nhấn mạnh: "Một ngăn xếp giao thức mạng đáng tin cậy, an toàn và có thể xác minh được, sẽ là con đường chính hướng tới tương lai phi tập trung thực sự."