Hội nghị học giả Web3 nóng bỏng: Giáo sư Yale lần đầu công khai mô hình LiDO
Tại hội nghị học giả Web3 năm 2025 được tổ chức gần đây, giáo sư Shao Zhong của khoa khoa học máy tính tại Đại học Yale đã có bài phát biểu chủ đề về "Bằng chứng an toàn và hoạt động của giao thức đồng thuận dựa trên tinh chế: 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 đổi mới này nhằm cung cấp bằng chứng an toàn và hoạt động có thể được xác minh một cách cơ học 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 độ tin cậy và phát triển quy mô lớn 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 đồng thuận hiện có (như PBFT, Jolteon) đã được áp dụng rộng rãi, nhưng do độ phức tạp trong việc triển khai, những giao thức này 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 đã đề 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 vệ 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 thực hiệu quả mà không cần nhà 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, hoàn thành hơn một vạn dòng mã Coq được chứng minh cơ học, 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 Trung 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 đồ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 trạng này."
Đáng chú ý là, đội ngũ do Giáo sư Shao Zhong lãnh đạo trước đây đã phát triển CertiKOS, hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới được xác minh bằng hình thức, được ngành công nghiệp ca ngợi là "mốc quan trọng trong an toàn hệ thống mạng vật lý". Thành tựu này không chỉ thể hiện 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 vững chắc cho nghiên cứu an toàn blockchain sau này. Kể từ năm 2017, Giáo sư Shao Zhong đã cống hiến vào việc đưa công nghệ xác minh 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, đóng góp quan trọng trong việc bảo vệ an toàn cho các tài sản tiền điện tử trị giá hàng trăm tỷ đô la.
Hiện tại, LiDO đã 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 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ế quan trọng trong Web3.0 nhằm cung cấp sản phẩm và dịch vụ theo chu kỳ đầy đủ, 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 bài phát biểu, giáo sư Shao Trung nhấn mạnh: "Các 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.
12 thích
Phần thưởng
12
8
Đăng lại
Chia sẻ
Bình luận
0/400
NFTragedy
· 3giờ trước
Có chút gì đó, giới học thuật đang trở nên điên cuồng.
Xem bản gốcTrả lời0
ForkMaster
· 10giờ trước
Một dự án mũ trắng nữa? Hãy xem xét cách kiểm tra lỗ hổng... Những người mũ trắng lâu năm đều hiểu.
Xem bản gốcTrả lời0
MidnightGenesis
· 20giờ trước
Đêm khuya lại đang xem mã, không ngoài dự đoán vấn đề cũ vẫn còn.
Xem bản gốcTrả lời0
0xDreamChaser
· 08-11 02:29
Xem xem xem, lại làm cái bẫy đó.
Xem bản gốcTrả lời0
MetaMisfit
· 08-10 20:55
Lại đến thời điểm thổi phồng khái niệm rồi, làm những cái này không bằng trực tiếp áp dụng pbft.
Xem bản gốcTrả lời0
ThatsNotARugPull
· 08-10 20:39
Bull à, nhưng có thể nói bằng tiếng Trung không?
Xem bản gốcTrả lời0
LiquidatedAgain
· 08-10 20:36
An toàn chỉ là một niềm vui, hãy nghĩ về bài học mà tôi đã bị tẩy chay lần trước.
Giáo sư Yale lần đầu tiên công bố mô hình LiDO hỗ trợ xác thực an toàn giao thức Web3 Nhận thức chung
Hội nghị học giả Web3 nóng bỏng: Giáo sư Yale lần đầu công khai mô hình LiDO
Tại hội nghị học giả Web3 năm 2025 được tổ chức gần đây, giáo sư Shao Zhong của khoa khoa học máy tính tại Đại học Yale đã có bài phát biểu chủ đề về "Bằng chứng an toàn và hoạt động của giao thức đồng thuận dựa trên tinh chế: 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 đổi mới này nhằm cung cấp bằng chứng an toàn và hoạt động có thể được xác minh một cách cơ học 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 độ tin cậy và phát triển quy mô lớn 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 đồng thuận hiện có (như PBFT, Jolteon) đã được áp dụng rộng rãi, nhưng do độ phức tạp trong việc triển khai, những giao thức này 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 đã đề 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, hoàn thành hơn một vạn dòng mã Coq được chứng minh cơ học, 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 Trung 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 đồ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 trạng này."
Đáng chú ý là, đội ngũ do Giáo sư Shao Zhong lãnh đạo trước đây đã phát triển CertiKOS, hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới được xác minh bằng hình thức, được ngành công nghiệp ca ngợi là "mốc quan trọng trong an toàn hệ thống mạng vật lý". Thành tựu này không chỉ thể hiện 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 vững chắc cho nghiên cứu an toàn blockchain sau này. Kể từ năm 2017, Giáo sư Shao Zhong đã cống hiến vào việc đưa công nghệ xác minh 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, đóng góp quan trọng trong việc bảo vệ an toàn cho các tài sản tiền điện tử trị giá hàng trăm tỷ đô la.
Hiện tại, LiDO đã 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 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ế quan trọng trong Web3.0 nhằm cung cấp sản phẩm và dịch vụ theo chu kỳ đầy đủ, 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 bài phát biểu, giáo sư Shao Trung nhấn mạnh: "Các 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ự."