Tại Hội nghị các học giả Web3, mô hình LiDO lần đầu tiên được công khai, cung cấp hướng đi mới cho sự an toàn của nhận thức chung giao thức.

Tại hội nghị các học giả Web3 năm 2025 gần đây, một giáo sư khoa học máy tính từ Đại học Yale đã có bài phát biểu chủ đề với tiêu đề "Bảo mật và chứng minh hoạt động của giao thức nhận thức chung dựa trên tinh chế: LiDO và các mở rộng của nó". Đây là lần đầu tiên ông giới thiệu công chúng về mô hình LiDO và khung mở rộng LiDO-DAG do nhóm của mình phát triển. Thành tựu đổi mới này nhằm cung cấp các chứng minh bảo mật và hoạt động có thể xác minh cơ học cho các giao thức nhận thức chung Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng công nghệ cho sự tin cậy và phát triển quy mô của hệ sinh thái Web3.

Giáo sư đã chỉ ra trong bài phát biểu rằng, mặc dù các giao thức nhận thức chung hiện có (như PBFT, Jolteon) đã được áp dụng rộng rãi, nhưng do độ phức tạp trong việc thực hiện cao, thường ẩn chứa các lỗ hổng bảo mật 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 tinh chỉnh ba lớp:

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. Lớp bảo đảm 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ợ các giao thức DAG mới nổi như Narwhal, Bullshark, thực hiện xác thực hiệu quả mà không cần nhận thức chung.

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, hoàn thành hơn mười nghìn dòng mã Coq được chứng minh cơ khí, trong đó mã cho 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ư này đã nhấn mạnh trong bài phát biểu: "Hiện nay, các giao thức PoS nhận thức chung đang đối mặt với tình huống khó khăn trong việc đạt được 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 đề xuất để vượt qua nút thắt này."

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

Mô hình LiDO hiện đã hoàn thành thiết kế 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 khai và giao thức phi tập trung phổ biến. Giáo sư cho biết, họ cam kết xác minh các cơ chế quan trọng trong Web3.0 để cung cấp sản phẩm và dịch vụ cho toàn bộ 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. Vào cuối bài phát biểu, ông nhấn mạnh: "Bộ 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 tương lai phi tập trung thực sự."