Tại hội nghị các học giả Web3 2025 được tổ chức hôm nay, giáo sư khoa học máy tính của Đại học Yale, đồng sáng lập CertiK, Shao Zhong đã có bài phát biểu chủ đề với tiêu đề "Bảo mật và chứng minh tính khả thi của giao thức đồng thuận dựa trên tinh chỉnh: LiDO và các mở rộng của nó", công bố lần đầu tiên mô hình LiDO mà đội ngũ 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 các chứng minh bảo mật và tính khả thi có thể cơ giới hóa cho giao thức đồng thuận kháng Byzantine phức tạp (BFT), đặ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.
Trong bài phát biểu này, giáo sư Shao Zhong chỉ ra rằng các giao thức đồng thuận hiện có (như PBFT, Jolteon) dù được sử dụng rộng rãi nhưng do sự 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 một cách sáng tạo đã đề xuất khung xác thực 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 tuyến tính, đảm bảo tính nhất quán của nhật ký (an toàn);
Lớp 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 việc phát sóng quá 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 vào 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 việc chứng minh cơ khí với hơn 10.000 dòng mã Coq, với số lượng mã xác minh an toàn và hoạt động lần lượt đạt 4.000 dòng và 1.700 dòng. "Hiện tại, giao thức đồng thuận PoS đang phải đối mặt với khó khăn khi không thể đạt được đồng thời an toàn, hoạt động và phi tập trung," giáo sư Shao Zhong đã chỉ ra trong bài phát biểu. "Mô hình LiDO chính là giải pháp thiết kế hệ thống được đưa ra để phá vỡ tình huống này."
CertiKOS, được phát triển bởi nhóm do Giáo sư Shao Zhong dẫn đầu, là hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới đã vượt qua xác minh chính thức và được biết đến như một "cột mốc quan trọng trong bảo mật hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền móng cho công nghệ của công ty bảo mật CertiK, mà còn thể hiện kinh nghiệm sâu sắc 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 bảo mật blockchain và đồng sáng lập CertiK với đệ tử của mình là Giáo sư Gu Ronghui vào năm 2017, 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, đồng thời hộ tống bảo mật hàng trăm tỷ đô la tài sản tiền điện tử.
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 khai chính 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 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 lâu dài 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 quan trọng dẫn đến một tương lai thực sự phi tập trung."
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ị học giả Web3, công bố lần đầu mô hình LiDO.
Tại hội nghị các học giả Web3 2025 được tổ chức hôm nay, giáo sư khoa học máy tính của Đại học Yale, đồng sáng lập CertiK, Shao Zhong đã có bài phát biểu chủ đề với tiêu đề "Bảo mật và chứng minh tính khả thi của giao thức đồng thuận dựa trên tinh chỉnh: LiDO và các mở rộng của nó", công bố lần đầu tiên mô hình LiDO mà đội ngũ 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 các chứng minh bảo mật và tính khả thi có thể cơ giới hóa cho giao thức đồng thuận kháng Byzantine phức tạp (BFT), đặ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.
Trong bài phát biểu này, giáo sư Shao Zhong chỉ ra rằng các giao thức đồng thuận hiện có (như PBFT, Jolteon) dù được sử dụng rộng rãi nhưng do sự 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 một cách sáng tạo đã đề xuất khung xác thực ba lớp.
Hiện tại, LiDO đã được áp dụng thành công vào 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 việc chứng minh cơ khí với hơn 10.000 dòng mã Coq, với số lượng mã xác minh an toàn và hoạt động lần lượt đạt 4.000 dòng và 1.700 dòng. "Hiện tại, giao thức đồng thuận PoS đang phải đối mặt với khó khăn khi không thể đạt được đồng thời an toàn, hoạt động và phi tập trung," giáo sư Shao Zhong đã chỉ ra trong bài phát biểu. "Mô hình LiDO chính là giải pháp thiết kế hệ thống được đưa ra để phá vỡ tình huống này."
CertiKOS, được phát triển bởi nhóm do Giáo sư Shao Zhong dẫn đầu, là hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới đã vượt qua xác minh chính thức và được biết đến như một "cột mốc quan trọng trong bảo mật hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền móng cho công nghệ của công ty bảo mật CertiK, mà còn thể hiện kinh nghiệm sâu sắc 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 bảo mật blockchain và đồng sáng lập CertiK với đệ tử của mình là Giáo sư Gu Ronghui vào năm 2017, 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, đồng thời hộ tống bảo mật hàng trăm tỷ đô la tài sản tiền điện tử.
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 khai chính 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 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 lâu dài 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 quan trọng dẫn đến một tương lai thực sự phi tập trung."