Tại hội nghị học giả Web3, giáo sư Yale lần đầu tiên công khai mô hình LiDO
Hội nghị học giả Web3 năm 2025 đã được tổ chức hôm nay, 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ính, giới thiệu 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 đổi mới này nhằm cung cấp sự xác minh an toàn và chứng minh tính 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 nền tảng công nghệ cho sự phát triển độ 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 đồng thuận hiện có (như PBFT và Jolteon) đã được áp dụng rộng rãi, nhưng do tính phức tạp trong việc triển khai, thường có những lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã đề 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 tuần tự, đảm bảo tính nhất quán của nhật ký (an toàn);
Tầng 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ả mà không cần người lãnh đạo.
Mô hình LiDO đã được áp dụng thành công cho giao thức công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG, hoàn thành hơn mười nghìn dòng mã Coq cho chứng minh cơ học. Trong đó, khối lượng mã cho xác minh an toàn và tính khả dụ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 của mình nhấn mạnh: "Hiện tại, các giao thức đồng thuận PoS đang phải đối mặt với khó khăn trong việc đạt được ba yếu tố an toàn, tính khả dụ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à một trong những nhà phát triển chính của hệ điều hành "không có lỗ hổng" CertiKOS được xác minh hình thức đầu tiên trên thế giới, Giáo sư Shao Zhong có một nền tảng vững chắc trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, ông đã chuyển trọng tâm nghiên cứu của mình sang an toàn blockchain, cam kết ứng dụng công nghệ xác minh hình thức để đảm bảo an toàn cho hợp đồng thông minh và các giao thức trên chuỗi, cung cấp bảo vệ an toàn cho các tài sản tiền điện tử trị giá hàng tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế và xác minh hình thức, đang 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ế 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 dài hạn của các doanh nghiệp và hệ sinh thái Web3.
Giáo sư Shao Zhong nhấn mạnh vào cuối bài phát biểu: "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.
14 thích
Phần thưởng
14
4
Đăng lại
Chia sẻ
Bình luận
0/400
WalletInspector
· 19giờ trước
Công nghệ này thay đổi quá nhanh.
Xem bản gốcTrả lời0
SleepyValidator
· 19giờ trước
Ôi, lại một mô hình xác thực nữa, các chuyên nghiệp mật mã học đều đang cạnh tranh á.
Giáo sư Yale công bố mô hình LiDO cung cấp xác minh an toàn hình thức cho hệ sinh thái Web3
Tại hội nghị học giả Web3, giáo sư Yale lần đầu tiên công khai mô hình LiDO
Hội nghị học giả Web3 năm 2025 đã được tổ chức hôm nay, 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ính, giới thiệu 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 đổi mới này nhằm cung cấp sự xác minh an toàn và chứng minh tính 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 nền tảng công nghệ cho sự phát triển độ 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 đồng thuận hiện có (như PBFT và Jolteon) đã được áp dụng rộng rãi, nhưng do tính phức tạp trong việc triển khai, thường có những lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã đề xuất một khung xác minh tinh vi ba lớp:
Mô hình LiDO đã được áp dụng thành công cho giao thức công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG, hoàn thành hơn mười nghìn dòng mã Coq cho chứng minh cơ học. Trong đó, khối lượng mã cho xác minh an toàn và tính khả dụ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 của mình nhấn mạnh: "Hiện tại, các giao thức đồng thuận PoS đang phải đối mặt với khó khăn trong việc đạt được ba yếu tố an toàn, tính khả dụ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à một trong những nhà phát triển chính của hệ điều hành "không có lỗ hổng" CertiKOS được xác minh hình thức đầu tiên trên thế giới, Giáo sư Shao Zhong có một nền tảng vững chắc trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, ông đã chuyển trọng tâm nghiên cứu của mình sang an toàn blockchain, cam kết ứng dụng công nghệ xác minh hình thức để đảm bảo an toàn cho hợp đồng thông minh và các giao thức trên chuỗi, cung cấp bảo vệ an toàn cho các tài sản tiền điện tử trị giá hàng tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế và xác minh hình thức, đang 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ế 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 dài hạn của các doanh nghiệp và hệ sinh thái Web3.
Giáo sư Shao Zhong nhấn mạnh vào cuối bài phát biểu: "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ự."