Hội nghị học giả Web3: Giáo sư Đại học Yale công bố mô hình LiDO và khung mở rộng của nó
Tại Hội nghị Học giả Web3 năm 2025, 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 chủ đề với tiêu đề "Bằng chứng an toàn và hoạt độ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 công khai giới thiệu mô hình LiDO và khung mở rộng LiDO-DAG mà đội ngũ của ông phát triển. Thành quả đổi mới này nhằm cung cấp sự chứng thực an toàn và bằng chứng hoạt động có thể cơ giới hóa cho các giao thức đồng thuận Byzantine Fault Tolerance (BFT) phức tạp, từ đó đặ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ư Shaozhong đã chỉ ra trong bài phát biểu của mình rằng, mặc dù các giao thức đồng thuận hiện có (như PBFT và Jolteon) được áp dụng rộng rãi, nhưng do độ phức tạp trong việc triển khai, chúng 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 đề xuất một 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 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 vệ 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.
Lớp mở rộng DAG: Hỗ trợ các giao thức DAG mới nổi như Narwhal, Bullshark, đạt được 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ông nghiệp Jolteon (BFT hai giai đoạn) cùng với 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 đó mã cho xác minh an toàn và hoạt động lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư Shao Zhong đã nhấn mạnh trong bài phát biểu: "Hiện nay, giao thức đồng thuận PoS đang phải đối mặt với tình huống khó khăn, khi mà an toàn, hoạt động và phi tập trung khó có thể đồng thời đạt được. 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."
Là nhà phát triển của hệ điều hành "không có lỗ hổng" CertiKOS, hệ điều hành đầu tiên trên thế giới được xác minh hình thức, giáo sư Shao Zhong và nhóm của ông đã tích lũy được nhiều kinh nghiệm trong lĩnh vực an ninh hệ thống. Thành tựu này không chỉ đặt nền tảng kỹ thuật cho các công ty an ninh mà còn thể hiện sức mạnh chuyên môn của họ trong lĩnh vực an ninh hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã chuyển trọng tâm nghiên cứu sang an ninh blockchain, và vào năm 2017, ông cùng với các đối tác đã thành lập một công ty an ninh, đưa công nghệ xác minh hình thức vào bảo đảm an ninh cho hợp đồng thông minh và giao thức trên chuỗi, cung cấp bảo vệ an ninh cho 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 và giao thức phi tập trung chính. Giáo sư Shao Zhong 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ụ trong toàn bộ chu kỳ, nhằm 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 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 tương lai phi tập trung thực sự."
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Giáo sư Yale công bố mô hình LiDO: cung cấp tính bảo mật có thể xác minh cho giao thức nhận thức chung Web3
Hội nghị học giả Web3: Giáo sư Đại học Yale công bố mô hình LiDO và khung mở rộng của nó
Tại Hội nghị Học giả Web3 năm 2025, 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 chủ đề với tiêu đề "Bằng chứng an toàn và hoạt độ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 công khai giới thiệu mô hình LiDO và khung mở rộng LiDO-DAG mà đội ngũ của ông phát triển. Thành quả đổi mới này nhằm cung cấp sự chứng thực an toàn và bằng chứng hoạt động có thể cơ giới hóa cho các giao thức đồng thuận Byzantine Fault Tolerance (BFT) phức tạp, từ đó đặ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ư Shaozhong đã chỉ ra trong bài phát biểu của mình rằng, mặc dù các giao thức đồng thuận hiện có (như PBFT và Jolteon) được áp dụng rộng rãi, nhưng do độ phức tạp trong việc triển khai, chúng 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 đề xuất một khung xác minh tinh chỉnh ba lớp:
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) cùng với 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 đó mã cho xác minh an toàn và hoạt động lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư Shao Zhong đã nhấn mạnh trong bài phát biểu: "Hiện nay, giao thức đồng thuận PoS đang phải đối mặt với tình huống khó khăn, khi mà an toàn, hoạt động và phi tập trung khó có thể đồng thời đạt được. 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."
Là nhà phát triển của hệ điều hành "không có lỗ hổng" CertiKOS, hệ điều hành đầu tiên trên thế giới được xác minh hình thức, giáo sư Shao Zhong và nhóm của ông đã tích lũy được nhiều kinh nghiệm trong lĩnh vực an ninh hệ thống. Thành tựu này không chỉ đặt nền tảng kỹ thuật cho các công ty an ninh mà còn thể hiện sức mạnh chuyên môn của họ trong lĩnh vực an ninh hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã chuyển trọng tâm nghiên cứu sang an ninh blockchain, và vào năm 2017, ông cùng với các đối tác đã thành lập một công ty an ninh, đưa công nghệ xác minh hình thức vào bảo đảm an ninh cho hợp đồng thông minh và giao thức trên chuỗi, cung cấp bảo vệ an ninh cho 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 và giao thức phi tập trung chính. Giáo sư Shao Zhong 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ụ trong toàn bộ chu kỳ, nhằm 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 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 tương lai phi tập trung thực sự."