Tại hội nghị học giả Web3, giáo sư Yale tiết lộ mô hình an toàn giao thức nhận thức chung mới.
Tại hội nghị học giả Web3 2025 vừa diễn ra, giáo sư Shao Zhong của khoa khoa học máy tính Đại học Yale đã có một bài phát biểu thu hút sự chú ý, giới thiệu mô hình LiDO và khung mở rộng LiDO-DAG mà nhóm của ông mới phát triển. Thành tựu đổi mới này nhằm cung cấp tính an toàn và chứng minh tính hoạt động có thể được xác minh cơ học cho giao thức đồng thuận Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng vững chắc cho sự phát triển đáng tin cậy và khả năng mở rộng của hệ sinh thái Web3.
Giáo sư Shao Zhong trong bài phát biểu của mình chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có (như PBFT, Jolteon) đã được áp dụng rộng rãi, nhưng do độ phức tạp trong việc thực hiện của chúng, thường tiềm ẩn các lỗ hổng bảo mật. Để giải quyết vấn đề này, mô hình LiDO đã đề xuất một khung xác thực tinh chỉnh ba lớp sáng tạo:
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ý;
Tầng 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 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 nhận thức chung hiệu quả không có lãnh đạo.
Hiện tại, LiDO đã thành công trong việc ứng dụng vào giao thức công nghiệp Jolteon (BFT hai giai đoạn) cũng như nhiều giao thức DAG khác, hoàn thành hơn mười ngàn dòng mã Coq được chứng minh cơ giới. Trong đó, khối lượng mã cho việc xác minh an toàn và tính năng đạt lần lượt là 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 tại, các giao thức PoS nhận thức chung đang phải đối mặt với khó khăn trong việc đạt được đồng thời ba yếu tố: an toàn, tính nă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ỡ khó khăn này."
Giáo sư Shao Zhong và nhóm của ông trước đây đã phát triển CertiKOS, được coi là "mốc quan trọng trong an toàn hệ thống vật lý mạng", là hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới được xác thực bằng hình thức. Thành tựu này không chỉ thể hiện sự tích lũy sâu sắc của nhóm trong lĩnh vực an toàn hệ thống mà còn đặt nền tảng vững chắc cho các nghiên cứu tiếp theo của họ. Năm 2017, giáo sư Shao Zhong cùng với sinh viên của ông, giáo sư Gu Ronghui, đã đưa công nghệ xác thực hình thức vào lĩnh vực bảo đảm an toàn 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ử trị giá hàng trăm tỷ đô la.
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 và giao thức phi tập trung chính. Giáo sư Shao Zhong cho biết, họ đang nỗ lực xác minh các cơ chế then chốt 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 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 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 dẫn đến một tương lai phi tập trung thực sự." Quan điểm này làm nổi bật sự hiểu biết sâu sắc của ông về hướng phát triển của công nghệ Web3, đồng thời cung cấp hướng suy nghĩ mới cho sự an toàn của blockchain và hệ thống phi tập trung trong tương lai.
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 giới thiệu mô hình LiDO: Đổi mới xác thực an ninh giao thức nhận thức chung Web3
Tại hội nghị học giả Web3, giáo sư Yale tiết lộ mô hình an toàn giao thức nhận thức chung mới.
Tại hội nghị học giả Web3 2025 vừa diễn ra, giáo sư Shao Zhong của khoa khoa học máy tính Đại học Yale đã có một bài phát biểu thu hút sự chú ý, giới thiệu mô hình LiDO và khung mở rộng LiDO-DAG mà nhóm của ông mới phát triển. Thành tựu đổi mới này nhằm cung cấp tính an toàn và chứng minh tính hoạt động có thể được xác minh cơ học cho giao thức đồng thuận Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng vững chắc cho sự phát triển đáng tin cậy và khả năng mở rộng của hệ sinh thái Web3.
Giáo sư Shao Zhong trong bài phát biểu của mình chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có (như PBFT, Jolteon) đã được áp dụng rộng rãi, nhưng do độ phức tạp trong việc thực hiện của chúng, thường tiềm ẩn các lỗ hổng bảo mật. Để giải quyết vấn đề này, mô hình LiDO đã đề xuất một khung xác thực tinh chỉnh ba lớp sáng tạo:
Hiện tại, LiDO đã thành công trong việc ứng dụng vào giao thức công nghiệp Jolteon (BFT hai giai đoạn) cũng như nhiều giao thức DAG khác, hoàn thành hơn mười ngàn dòng mã Coq được chứng minh cơ giới. Trong đó, khối lượng mã cho việc xác minh an toàn và tính năng đạt lần lượt là 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 tại, các giao thức PoS nhận thức chung đang phải đối mặt với khó khăn trong việc đạt được đồng thời ba yếu tố: an toàn, tính nă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ỡ khó khăn này."
Giáo sư Shao Zhong và nhóm của ông trước đây đã phát triển CertiKOS, được coi là "mốc quan trọng trong an toàn hệ thống vật lý mạng", là hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới được xác thực bằng hình thức. Thành tựu này không chỉ thể hiện sự tích lũy sâu sắc của nhóm trong lĩnh vực an toàn hệ thống mà còn đặt nền tảng vững chắc cho các nghiên cứu tiếp theo của họ. Năm 2017, giáo sư Shao Zhong cùng với sinh viên của ông, giáo sư Gu Ronghui, đã đưa công nghệ xác thực hình thức vào lĩnh vực bảo đảm an toàn 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ử trị giá hàng trăm tỷ đô la.
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 và giao thức phi tập trung chính. Giáo sư Shao Zhong cho biết, họ đang nỗ lực xác minh các cơ chế then chốt 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 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 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 dẫn đến một tương lai phi tập trung thực sự." Quan điểm này làm nổi bật sự hiểu biết sâu sắc của ông về hướng phát triển của công nghệ Web3, đồng thời cung cấp hướng suy nghĩ mới cho sự an toàn của blockchain và hệ thống phi tập trung trong tương lai.