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
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 chủ đề với tiêu đề "Chứng minh An ninh và Hoạt động của Giao thức Đồng thuận Dựa trên Cải tiến: LiDO và các Khung Mở Rộng của nó", công bố lần đầ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 đột phá này nhằm cung cấp chứng minh an ninh và hoạt động có thể xác minh cơ học cho các giao thức đồng thuận Byzantine phức tạp (BFT), đặt nền tảng công nghệ cho sự tin cậy và phát triển quy mô của hệ sinh thái Web3.
Giáo sư Shao Zhong chỉ ra rằng, các giao thức đồng thuận hiện có như PBFT mặc dù được ứng dụng rộng rãi, nhưng do tính phức tạp trong việc triển khai thường ẩn chứa những lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã sáng tạo ra một khung xác minh chi tiết ba tầng:
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 độ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ợ giao thức DAG mới nổi, thực hiện xác minh hiệu quả với sự đồng thuận không có 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 việc chứng minh cơ học với hơn một vạn dòng mã Coq, với số lượng mã kiểm tra an ninh 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 đã chỉ ra: "Hiện nay, các giao thức đồng thuận PoS thường gặp phải tình trạng khó khăn trong việc đạt được đồng thời ba yếu tố an ninh, 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 trạng này."
Giáo sư Shao Zhong cùng đội ngũ của mình 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 mệnh danh là "cột mốc an toàn cho hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền tảng vững chắc cho sự tích lũy sâu sắc của họ trong lĩnh vực an toàn hệ thống mà còn cung cấp nền tảng vững chắc cho các nghiên cứu tiếp theo. Trong những năm gần đây, giáo sư Shao Zhong đã đi sâu vào an toàn blockchain, đư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à các giao thức trên chuỗi, cung cấp hỗ trợ mạnh mẽ cho an toàn tài sản mã hóa.
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 mainstream 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ụ theo chu kỳ toàn diện, 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: "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.
10 thích
Phần thưởng
10
4
Đăng lại
Chia sẻ
Bình luận
0/400
GweiWatcher
· 3giờ trước
Suốt cả ngày bận rộn bán khống, bò và gấu tôi đều hiểu.
Xem bản gốcTrả lời0
GasFeeSobber
· 3giờ trước
Yale quá đắt, không thể chi trả được.
Xem bản gốcTrả lời0
FlashLoanPrince
· 3giờ trước
Lại thổi lên trời rồi phải không?
Xem bản gốcTrả lời0
GasFeeVictim
· 3giờ trước
Nhận thức chung giao thức lại có cái mới rồi, được thôi.
Giáo sư Yale công bố mô hình LiDO giúp đẩy mạnh việc xác minh giao thức Nhận thức chung 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
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 chủ đề với tiêu đề "Chứng minh An ninh và Hoạt động của Giao thức Đồng thuận Dựa trên Cải tiến: LiDO và các Khung Mở Rộng của nó", công bố lần đầ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 đột phá này nhằm cung cấp chứng minh an ninh và hoạt động có thể xác minh cơ học cho các giao thức đồng thuận Byzantine phức tạp (BFT), đặt nền tảng công nghệ cho sự tin cậy và phát triển quy mô của hệ sinh thái Web3.
Giáo sư Shao Zhong chỉ ra rằng, các giao thức đồng thuận hiện có như PBFT mặc dù được ứng dụng rộng rãi, nhưng do tính phức tạp trong việc triển khai thường ẩn chứa những lỗ hổng tiềm ẩn. Để giải quyết vấn đề này, mô hình LiDO đã sáng tạo ra một khung xác minh chi tiết ba tầng:
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 việc chứng minh cơ học với hơn một vạn dòng mã Coq, với số lượng mã kiểm tra an ninh 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 đã chỉ ra: "Hiện nay, các giao thức đồng thuận PoS thường gặp phải tình trạng khó khăn trong việc đạt được đồng thời ba yếu tố an ninh, 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 trạng này."
Giáo sư Shao Zhong cùng đội ngũ của mình 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 mệnh danh là "cột mốc an toàn cho hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền tảng vững chắc cho sự tích lũy sâu sắc của họ trong lĩnh vực an toàn hệ thống mà còn cung cấp nền tảng vững chắc cho các nghiên cứu tiếp theo. Trong những năm gần đây, giáo sư Shao Zhong đã đi sâu vào an toàn blockchain, đư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à các giao thức trên chuỗi, cung cấp hỗ trợ mạnh mẽ cho an toàn tài sản mã hóa.
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 mainstream 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ụ theo chu kỳ toàn diện, 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: "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ự."