Vào ngày 8 tháng 4, tại Hội nghị Học giả Web3 2025 được tổ chức tại Hồng Kông, Zhong Shao, giáo sư khoa học máy tính tại Đại học Yale và là đồng sáng lập CertiK, đã có bài phát biểu quan trọng với tiêu đề Bằng chứng bảo mật và tính sống động của các giao thức đồng thuận dựa trên tinh chỉnh: LiDO và các phần mở rộng của nó, công khai lần đầu tiên giới thiệu mô hình LiDO và khuôn khổ mở rộng LiDO-DAG do nhóm của ông phát triển. Thành tựu đột phá này nhằm mục đích cung cấp bằng chứng bảo mật có thể xác minh được và bằng chứng thực tế cho các giao thức đồng thuận Byzantine Fault Tolerant (BFT) phức tạp, đặt nền tảng kỹ thuật cho độ tin cậy và khả năng mở rộng của hệ sinh thái Web3.
Trong bài phát biểu này, Giáo sư Shao Zhong chỉ ra rằng mặc dù các giao thức đồng thuận hiện có (như PBFT và Jolteon) được sử dụng rộng rãi, nhưng chúng thường ẩn chứa các lỗ hổng tiềm ẩn do quá trình triển khai phức tạp. Để giải quyết vấn đề này, mô hình LiDO đề xuất một khuôn khổ xác minh tinh chỉnh ba lớp một cách sáng tạo:
Lớp trừu tượng bảo mật: ánh xạ giao thức vào một máy trạng thái tuyến tính để đảm bảo tính nhất quán của nhật ký (bảo mật);
Lớp đảm bảo tính chủ động: Giới thiệu cơ chế Pacemaker để giải quyết vấn đề độ trễ mạng thông qua phát sóng thời gian chờ và đồng bộ hóa vòng;
Lớp mở rộng DAG: hỗ trợ các giao thức DAG mới nổi như Narwhal và Bullshark để đạt được hiệu quả xác minh sự đồng thuận không có người dẫn đầu.
Hiện tại, LiDO đã được áp dụng thành công cho giao thức cấp công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG, hoàn thiện quá trình chứng minh cơ giới hóa hơn 10.000 dòng mã Coq, với mã xác minh bảo mật và tính khả thi đạt lần lượt 4.000 dòng và 1.700 dòng. Giáo sư Shao Zhong chỉ ra trong bài phát biểu của mình rằng: “Hiện nay, các giao thức đồng thuận PoS thường gặp phải tình trạng khó khăn khi đạt được tính bảo mật, hoạt động và tính phi tập trung cùng một lúc”. “Mô hình LiDO là giải pháp thiết kế có hệ thống được đề xuất để phá vỡ tình thế tiến thoái lưỡng nan này.”
CertiKOS, được phát triển bởi Giáo sư Shao Zhong và nhóm của ông, là hệ điều hành không có lỗ hổng đầu tiên trên thế giới đã vượt qua quá trình xác minh chính thức và được ca ngợi là cột mốc trong bảo mật của hệ thống mạng vật lý. Thành tựu này không chỉ đặt nền tảng kỹ thuật cho công ty bảo mật CertiK mà còn chứng minh sự tích lũy sâu rộng của công ty trong lĩnh vực bảo mật hệ thống. Trong những năm gần đây, Giáo sư Shao Zhong đã tham gia sâu vào nghiên cứu bảo mật blockchain. Năm 2017, ông đồng sáng lập CertiK cùng với học trò của mình là Giáo sư Gu Ronghui, giới thiệu công nghệ xác minh chính thức vào bảo mật của các hợp đồng thông minh và giao thức trên chuỗi, bảo vệ an ninh cho tài sản tiền điện tử trị giá hàng trăm tỷ đô la.
LiDO hiện đã hoàn tất thiết kế mô hình và xác minh chính thức, đồng thời bắt đầu khám phá khả năng tích hợp với các chuỗi công khai chính thống và các giao thức phi tập trung. Giáo sư Shao Zhong cho biết CertiK cam kết xác minh các cơ chế chính trong Web3.0 để cung cấp các sản phẩm và dịch vụ trọn gói nhằm hỗ trợ tốt hơn cho các chiến lược phát triển dài hạn của các doanh nghiệp và hệ sinh thái Web3. Kết thúc bài phát biểu của mình, Giáo sư Shao Zhong nhấn mạnh: Một 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 thực sự phi tập trung.
