Hội nghị học giả Web3: Giáo sư Yale lần đầu công bố mô hình LiDO
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 với tiêu đề "Bằng chứng an toàn và hoạt động của giao thức đồng thuận tinh chỉnh: LiDO và các mở rộng của nó", lần đầu tiên giới thiệu công chúng về mô hình LiDO và khung mở rộng LiDO-DAG mà đội ngũ của ông phát triển. Thành quả đổi mới này nhằm cung cấp bằng chứng an toàn và hoạt động có thể xác minh đượ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à sự 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 thực hiện cao, thường tiềm ẩn các lỗ hổng. Để giải quyết vấn đề này, mô hình LiDO đã đổi mới đề xuất một khung xác minh ba lớp tinh vi:
Lớp trừu tượng an toàn: ánh xạ giao thức vào 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 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 như Narwhal, Bullshark, thực hiện xác minh hiệu quả mà không cần người lãnh đạo.
Hiện tại, LiDO đã thành công trong việc áp dụng cho giao thức cấp 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 ngàn dòng mã Coq trong việc chứng minh cơ học, trong đó lượng mã xác minh an ninh 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 của mình nhấn mạnh: "Hiện nay, các giao thức đồng thuận PoS đang phải đối mặt với tình huống khó khăn khi không thể đạt được đồng thời ba yếu tố: an ninh, 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 đưa ra để vượt qua tình huống này."
Đội ngũ do Giáo sư Shao Zhong dẫn dắt đã 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 thực bằng hình thức, được ca ngợi là "một cột mốc trong an toàn hệ thống mạng vật lý". Thành tựu này không chỉ đặt nền tảng cho các công nghệ liên quan mà còn thể hiện sự tích lũy sâu sắc của đội ngũ trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, Giáo sư Shao Zhong đã nghiên cứu sâu về an toàn blockchain, vào năm 2017 cùng với các đồng nghiệp đã thành lập một công ty an toàn, đưa công nghệ xác thực hình thức vào 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.
LiDO hiện đã 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 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ụ 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 Zhong 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 được sẽ là con đường chính dẫn đến tương lai thực sự phi tập trung."
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
5
Đăng lại
Chia sẻ
Bình luận
0/400
DegenDreamer
· 14giờ trước
Cuối cùng cũng đã đến lúc có hiểu biết có giá trị
Xem bản gốcTrả lời0
LayerZeroHero
· 23giờ trước
Quá xa vời! Hàng này竟然 vào Yale.
Xem bản gốcTrả lời0
OPsychology
· 23giờ trước
Quá tuyệt vời với Yale lần này!
Xem bản gốcTrả lời0
wagmi_eventually
· 23giờ trước
Một dự án web3 hứa hẹn khác
Xem bản gốcTrả lời0
AltcoinAnalyst
· 23giờ trước
Nên cảnh giác với tính không hoàn chỉnh của khung ba tầng, dữ liệu TVL cho thấy tỷ lệ rủi ro của công nghệ tương tự đạt 56% trong vòng 90 ngày.
Giáo sư Yale lần đầu tiên công khai mô hình LiDO cung cấp xác minh cơ học cho giao thức nhận thức chung Web3
Hội nghị học giả Web3: Giáo sư Yale lần đầu công bố mô hình LiDO
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 với tiêu đề "Bằng chứng an toàn và hoạt động của giao thức đồng thuận tinh chỉnh: LiDO và các mở rộng của nó", lần đầu tiên giới thiệu công chúng về mô hình LiDO và khung mở rộng LiDO-DAG mà đội ngũ của ông phát triển. Thành quả đổi mới này nhằm cung cấp bằng chứng an toàn và hoạt động có thể xác minh đượ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à sự 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 thực hiện cao, thường tiềm ẩn các lỗ hổng. Để giải quyết vấn đề này, mô hình LiDO đã đổi mới đề xuất một khung xác minh ba lớp tinh vi:
Hiện tại, LiDO đã thành công trong việc áp dụng cho giao thức cấp 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 ngàn dòng mã Coq trong việc chứng minh cơ học, trong đó lượng mã xác minh an ninh 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 của mình nhấn mạnh: "Hiện nay, các giao thức đồng thuận PoS đang phải đối mặt với tình huống khó khăn khi không thể đạt được đồng thời ba yếu tố: an ninh, 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 đưa ra để vượt qua tình huống này."
Đội ngũ do Giáo sư Shao Zhong dẫn dắt đã 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 thực bằng hình thức, được ca ngợi là "một cột mốc trong an toàn hệ thống mạng vật lý". Thành tựu này không chỉ đặt nền tảng cho các công nghệ liên quan mà còn thể hiện sự tích lũy sâu sắc của đội ngũ trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, Giáo sư Shao Zhong đã nghiên cứu sâu về an toàn blockchain, vào năm 2017 cùng với các đồng nghiệp đã thành lập một công ty an toàn, đưa công nghệ xác thực hình thức vào 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.
LiDO hiện đã 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 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ụ 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 Zhong 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 được sẽ là con đường chính dẫn đến tương lai thực sự phi tập trung."