Tại hội nghị các học giả Web3, giáo sư Yale chia sẻ mô hình mới về an toàn giao thức nhận thức chung
Gần đây, Hội nghị học giả Web3 năm 2025 đã diễn ra như dự kiến. Tại hội nghị, 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ủ đề mang tên "Chứng minh an ninh và tính khả thi 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ó", lần đầu tiên giới thiệu với công chúng mô hình LiDO và khung mở rộng LiDO-DAG mà nhóm của ông phát triển. Thành tựu sáng tạo này nhằm cung cấp chứng minh an ninh và tính khả thi có thể được kiểm tra cơ học cho các giao thức nhận thức chung Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng kỹ thuật 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 buổ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 triển khai, chúng thường tiềm ẩn 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 chỉnh ba lớp đổi mới:
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);
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 hiệu quả mà không cần nhận thức chung.
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 hơn 10,000 dòng mã Coq trong việc chứng minh cơ giới, trong đó mã xác minh an toàn và tính năng lần lượt đạt 4,000 dòng và 1,700 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 khó khăn trong việc đạt được cả ba yếu tố là 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ỡ tình thế này."
Cần lưu ý rằng, nhóm do giáo sư Shao Zhong lãnh đạo trước đây đã phát triển CertiKOS, đây 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 hình thức, được ca ngợi là "một cột mốc trong an toàn hệ thống vật lý mạng". Thành tựu này không chỉ cho thấy sự tích lũy sâu sắc của ông trong lĩnh vực an toàn hệ thống, mà còn đặt nền tảng cho các nghiên cứu tiếp theo của ông trong lĩnh vực an toàn blockchain. Năm 2017, giáo sư Shao Zhong cùng với học trò của ông, giáo sư Gu Ronghui, đã cùng nhau đư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 chính và giao thức phi tập trung. Giáo sư Shao Trung 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ộ vòng đời, 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. Vào cuối bài phát biểu, giáo sư Shao Trung 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.
14 thích
Phần thưởng
14
4
Chia sẻ
Bình luận
0/400
CryptoNomics
· 12giờ trước
*thở dài* một mô hình khác tuyên bố giải quyết BFT khi vấn đề thực sự nằm ở sự cân bằng lý thuyết trò chơi ngẫu nhiên... để tôi chạy một vài con số nhanh nhanh.
Xem bản gốcTrả lời0
AirdropHunterKing
· 12giờ trước
Đây lại là cái gì cao siêu thế này? Không nhanh chóng nói Airdrop thì làm sao mà hái?
Giáo sư Yale giới thiệu mô hình LiDO: bước đột phá mới trong xác minh tính an toàn của giao thức nhận thức chung.
Tại hội nghị các học giả Web3, giáo sư Yale chia sẻ mô hình mới về an toàn giao thức nhận thức chung
Gần đây, Hội nghị học giả Web3 năm 2025 đã diễn ra như dự kiến. Tại hội nghị, 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ủ đề mang tên "Chứng minh an ninh và tính khả thi 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ó", lần đầu tiên giới thiệu với công chúng mô hình LiDO và khung mở rộng LiDO-DAG mà nhóm của ông phát triển. Thành tựu sáng tạo này nhằm cung cấp chứng minh an ninh và tính khả thi có thể được kiểm tra cơ học cho các giao thức nhận thức chung Byzantine Fault Tolerance (BFT) phức tạp, đặt nền tảng kỹ thuật 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 buổ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 triển khai, chúng thường tiềm ẩn 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 chỉnh ba lớp đổi mới:
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 hơn 10,000 dòng mã Coq trong việc chứng minh cơ giới, trong đó mã xác minh an toàn và tính năng lần lượt đạt 4,000 dòng và 1,700 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 khó khăn trong việc đạt được cả ba yếu tố là 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ỡ tình thế này."
Cần lưu ý rằng, nhóm do giáo sư Shao Zhong lãnh đạo trước đây đã phát triển CertiKOS, đây 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 hình thức, được ca ngợi là "một cột mốc trong an toàn hệ thống vật lý mạng". Thành tựu này không chỉ cho thấy sự tích lũy sâu sắc của ông trong lĩnh vực an toàn hệ thống, mà còn đặt nền tảng cho các nghiên cứu tiếp theo của ông trong lĩnh vực an toàn blockchain. Năm 2017, giáo sư Shao Zhong cùng với học trò của ông, giáo sư Gu Ronghui, đã cùng nhau đư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 chính và giao thức phi tập trung. Giáo sư Shao Trung 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ộ vòng đời, 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. Vào cuối bài phát biểu, giáo sư Shao Trung 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ự."