Hội nghị học giả Web3: Giáo sư Đại học Yale lần đầu công khai mô hình LiDO

Tại hội nghị học giả Web3 năm 2025 gần đây, 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 với chủ đề "Chứng minh an toàn và tính sống độ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 giới thiệu công chúng 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 đổi mới này nhằm cung cấp chứng minh an toàn và tính sống động có thể xác minh cơ học cho các giao thức đồng thuận Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng kỹ thuật quan trọng cho độ tin cậy và sự phát triển quy mô của hệ sinh thái Web3.

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

1. Lớp trừu tượng an toàn: ánh xạ giao thức thành máy trạng thái tuần tự, đảm bảo tính nhất quán của nhật ký để đảm bảo an toàn;
2. Tầng bảo đảm hoạt tính: 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ợ các giao thức DAG mới nổi như Narwhal, Bullshark, thực hiện xác nhận hiệu quả không cần lãnh đạo.

Hiện tại, LiDO đã thành công trong việc áp dụ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 hơn mười nghìn dòng mã Coq với chứng minh cơ học, trong đó lượng mã xác minh 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 buổi diễn thuyết đã nhấn mạnh: "Hiện nay, các giao thức đồng thuận PoS đang phải đối mặt với tình trạng khó có thể đạt được đồng thời ba yếu tố: an toàn, tính khả dụng và phi tập trung. Mô hình LiDO chính là một giải pháp thiết kế hệ thống được đề xuất để vượt qua giới hạn này."

Đáng chú ý, hệ thống CertiKOS do nhóm do giáo sư Shao Zhong lãnh đạo phát triển trước đó là hệ thống "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à "cột mốc an toàn hệ thống vật lý mạng". Thành tựu này không chỉ thể hiện sự tích lũy sâu sắc của nhóm trong lĩnh vực an toàn hệ thống mà còn đặt nền móng vững chắc cho nghiên cứu an toàn blockchain sau này.

Mô hình LiDO hiện đã hoàn thành thiết kế và xác thực 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 khai và giao thức phi tập trung chính. Giáo sư Shao Trung cho biết, họ cam kết xác thực các cơ chế chính trong Web3.0 để cung cấp sản phẩm và dịch vụ toàn diện, 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 diễn thuyết, 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 sẽ là con đường chính dẫn đến một tương lai phi tập trung thực sự." Quan điểm này làm nổi bật vai trò quan trọng của mô hình LiDO trong việc thúc đẩy sự phát triển của công nghệ Web3, cung cấp những ý tưởng và phương pháp mới cho tính an toàn và độ tin cậy của các hệ thống phi tập trung trong tương lai.