Tại hội nghị học giả Web3, giáo sư Yale công bố mô hình xác thực giao thức nhận thức chung sáng tạo
Tại Hội nghị học giả Web3 năm 2025, Giáo sư Shao Zhong từ Khoa Khoa học Máy tính của Đạ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 nhận thức chung 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 và khung 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 cung cấp các bằng chứng an toàn và hoạt động có thể được xác minh một cách cơ giới 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 sự tin cậy và phát triển quy mô của hệ sinh thái Web3.
Giáo sư Shao Zhong trong bài phát biểu chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có (như PBFT, Jolteon) được ứng dụng rộng rãi, nhưng do độ phức tạp trong việc thực hiệ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 đề xuất một khung xác minh tinh vi 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 độ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, thực hiện xác minh hiệu quả với Nhận thức chung không có người 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) và nhiều giao thức DAG khác, hoàn thành việc chứng minh cơ học hơn mười ngàn dòng mã Coq, trong đó mã 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 trong bài phát biểu nhấn mạnh: "Hiện nay, giao thức đồng thuận PoS đang đối mặt với tình huống khó khăn trong việc đạt được đồng thời an toàn, hoạt độ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 để phá vỡ tình huống này."
Là người sáng lập hệ điều hành "không lỗi" CertiKOS được xác nhận thông qua kiểm tra hình thức đầu tiên trên thế giới, giáo sư Shao Zhong có những tích lũy sâu sắc trong lĩnh vực an ninh hệ thống. Trong những năm gần đây, ông đã 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ệ kiểm tra hình thức vào đảm bảo an ninh 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ử quy mô lớn.
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 chính và các giao thức phi tập trung. 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ụ toàn 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 cùng, giáo sư Shao Trung nhấn mạnh: "Giao thức mạng đáng tin cậy, an toàn và có thể xác minh sẽ là con đường chính hướng tới 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ố LiDO: Cung cấp bảo đảm an toàn có thể xác minh cho giao thức nhận thức chung Web3
Tại hội nghị học giả Web3, giáo sư Yale công bố mô hình xác thực giao thức nhận thức chung sáng tạo
Tại Hội nghị học giả Web3 năm 2025, Giáo sư Shao Zhong từ Khoa Khoa học Máy tính của Đạ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 nhận thức chung 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 và khung 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 cung cấp các bằng chứng an toàn và hoạt động có thể được xác minh một cách cơ giới 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 sự tin cậy và phát triển quy mô của hệ sinh thái Web3.
Giáo sư Shao Zhong trong bài phát biểu chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có (như PBFT, Jolteon) được ứng dụng rộng rãi, nhưng do độ phức tạp trong việc thực hiệ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 đề xuất một khung xác minh tinh vi 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) và nhiều giao thức DAG khác, hoàn thành việc chứng minh cơ học hơn mười ngàn dòng mã Coq, trong đó mã 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 trong bài phát biểu nhấn mạnh: "Hiện nay, giao thức đồng thuận PoS đang đối mặt với tình huống khó khăn trong việc đạt được đồng thời an toàn, hoạt độ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 để phá vỡ tình huống này."
Là người sáng lập hệ điều hành "không lỗi" CertiKOS được xác nhận thông qua kiểm tra hình thức đầu tiên trên thế giới, giáo sư Shao Zhong có những tích lũy sâu sắc trong lĩnh vực an ninh hệ thống. Trong những năm gần đây, ông đã 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ệ kiểm tra hình thức vào đảm bảo an ninh 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ử quy mô lớn.
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 chính và các giao thức phi tập trung. 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ụ toàn 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 cùng, giáo sư Shao Trung nhấn mạnh: "Giao thức mạng đáng tin cậy, an toàn và có thể xác minh sẽ là con đường chính hướng tới tương lai phi tập trung thực sự."