Vào ngày 8 tháng 4, tại Hội nghị các học giả Web3 2025 được tổ chức ở Hồng Kông, giáo sư Khoa học máy tính Đại học Yale, đồng sáng lập CertiK, Shao Zhong đã có bài phát biểu chủ đề với tiêu đề "Chứng minh tính an toàn và tính khả thi của giao thức nhận thức chung dựa trên sự 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 mà nhóm của ông phát triển và khung mở rộng LiDO-DAG. Thành tựu đột phá này nhằm cung cấp chứng minh an toàn và tính khả thi có thể tự động hóa cho các giao thức nhận thức chung Byzantine phức tạp (BFT), đặt nền tảng công nghệ cho độ tin cậy và sự phát triển quy mô 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 các giao thức nhận thức chung hiện có (như PBFT, Jolteon) mặc dù được ứng dụng rộng rãi, nhưng do việc thực hiện phức tạp nên thường ẩn chứa các lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã đổi mới đưa ra khung xác minh tinh chỉnh ba lớp:
**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ý (an toàn);
Lớp đảm bảo 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 vượt thời gian và đồng bộ vòng.
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 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 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 thành bằng chứng cơ giới hóa của hơn 10.000 dòng mã Coq, với 4.000 dòng bảo mật và 1.700 dòng mã xác minh hoạt động. "Hiện tại, các giao thức đồng thuận PoS nói chung đang phải đối mặt với tình thế tiến thoái lưỡng nan về bảo mật, khả năng tồn tại và phân cấp", Giáo sư Shao Zhong chỉ ra trong bài phát biểu của mình. "Mô hình LiDO là một giải pháp thiết kế có hệ thống để phá vỡ tình thế tiến thoái lưỡng nan 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 thông qua xác thực hình thức, được mệnh danh là "mốc quan trọng 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 công ty an ninh CertiK, mà còn thể hiện sự tích lũy sâu sắc của họ trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã tập trung vào an ninh blockchain, vào năm 2017 cùng với học trò giáo sư Gu Ronghui thành lập CertiK, đưa công nghệ xác thực 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 cho 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 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 chính và giao thức phi tập trung. Giáo sư Shao Zhong cho biết, CertiK cam kết xác thực các cơ chế quan trọng trong Web3.0 để cung cấp sản phẩm và dịch vụ trong toàn bộ chu kỳ, hỗ trợ tốt hơn cho 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. Cuối bài phát biểu, 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 tương lai phi tập trung thực sự."
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
Giáo sư Shao Zhong, đồng sáng lập CertiK, đã tham dự Hội nghị thượng đỉnh học giả Web3 và lần đầu tiên công khai mô hình LiDO
Vào ngày 8 tháng 4, tại Hội nghị các học giả Web3 2025 được tổ chức ở Hồng Kông, giáo sư Khoa học máy tính Đại học Yale, đồng sáng lập CertiK, Shao Zhong đã có bài phát biểu chủ đề với tiêu đề "Chứng minh tính an toàn và tính khả thi của giao thức nhận thức chung dựa trên sự 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 mà nhóm của ông phát triển và khung mở rộng LiDO-DAG. Thành tựu đột phá này nhằm cung cấp chứng minh an toàn và tính khả thi có thể tự động hóa cho các giao thức nhận thức chung Byzantine phức tạp (BFT), đặt nền tảng công nghệ cho độ tin cậy và sự phát triển quy mô 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 các giao thức nhận thức chung hiện có (như PBFT, Jolteon) mặc dù được ứng dụng rộng rãi, nhưng do việc thực hiện phức tạp nên thường ẩn chứa các lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã đổi mới đưa ra khung xác minh tinh chỉnh ba lớp:
**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ý (an toàn);
Lớp đảm bảo 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 vượt thời gian và đồng bộ vòng.
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 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 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 thành bằng chứng cơ giới hóa của hơn 10.000 dòng mã Coq, với 4.000 dòng bảo mật và 1.700 dòng mã xác minh hoạt động. "Hiện tại, các giao thức đồng thuận PoS nói chung đang phải đối mặt với tình thế tiến thoái lưỡng nan về bảo mật, khả năng tồn tại và phân cấp", Giáo sư Shao Zhong chỉ ra trong bài phát biểu của mình. "Mô hình LiDO là một giải pháp thiết kế có hệ thống để phá vỡ tình thế tiến thoái lưỡng nan 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 thông qua xác thực hình thức, được mệnh danh là "mốc quan trọng 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 công ty an ninh CertiK, mà còn thể hiện sự tích lũy sâu sắc của họ trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã tập trung vào an ninh blockchain, vào năm 2017 cùng với học trò giáo sư Gu Ronghui thành lập CertiK, đưa công nghệ xác thực 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 cho 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 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 chính và giao thức phi tập trung. Giáo sư Shao Zhong cho biết, CertiK cam kết xác thực các cơ chế quan trọng trong Web3.0 để cung cấp sản phẩm và dịch vụ trong toàn bộ chu kỳ, hỗ trợ tốt hơn cho 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. Cuối bài phát biểu, 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 tương lai phi tập trung thực sự."