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 của khoa khoa học máy tính tại Đại học Yale đã có bài phát biểu chủ đề mang tên "Bằng chứng an toàn và tính hoạt động của giao thức đồng thuận dựa trên tinh chỉnh: LiDO và các mở rộng của nó". Ông đã công bố lần đầu tiên mô hình LiDO và khung mở rộng LiDO-DAG mà đội ngũ của ông phát triển, thành tựu đột phá này nhằm cung cấp chứng minh an toàn và tính hoạt động có thể cơ giới hóa cho các giao thức đồng thuận Byzantine Fault Tolerant (BFT) phức tạp, đặt nền tảng công nghệ cho tính đáng tin cậy và sự phát triển quy mô của hệ sinh thái Web3.
Giáo sư Shao Trung chỉ ra rằng, các giao thức đồng thuận hiện có (như PBFT, Jolteon) mặc dù được áp dụng rộng rãi, nhưng do sự phức tạp trong việc thực hiện 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 đã đổi mới đề xuất một khung xác nhận 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 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 vượt 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ả không có 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 việc chứng minh cơ khí cho hơn mười nghìn dòng mã Coq, với số lượng mã 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 đã chỉ ra: "Hiện nay, các giao thức đồng thuận PoS thường đối mặt với khó khăn trong việc đạt được đồng thời 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 đưa ra nhằm phá vỡ tình trạng này."
Giáo sư Shao Zhong dẫn dắt đội ngũ 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à "mốc quan trọng trong an toàn hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền tảng công nghệ của họ trong lĩnh vực an ninh mà còn thể hiện sự tích lũy sâu sắc của họ trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã chuyên sâu vào an ninh blockchain và vào năm 2017, ông cùng với học trò Gu Ronghui thành lập một công ty an ninh 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à giao thức trên chuỗi, bảo vệ an toàn cho tài sản tiền mã hóa trị giá hàng 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 chính và giao thức phi tập trung chính. 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. Cuối buổi nói chuyện, 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.
13 thích
Phần thưởng
13
5
Chia sẻ
Bình luận
0/400
CountdownToBroke
· 8giờ trước
Lại đến nữa, một đống khái niệm không hiểu làm người khác hoang mang.
Xem bản gốcTrả lời0
consensus_failure
· 08-03 18:27
Lại không thể thực hiện, chỉ làm lý thuyết thôi.
Xem bản gốcTrả lời0
MidsommarWallet
· 08-03 16:39
Yale cũng đến tham gia náo nhiệt à?
Xem bản gốcTrả lời0
OnchainHolmes
· 08-03 16:38
Điều này quá lý thuyết, khiến cho người mới khó khăn.
Giáo sư Yale lần đầu tiên tiết lộ LiDO: Đột phá về độ an toàn của 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
Hội nghị học giả Web3 năm 2025 đã được tổ chức hôm nay, 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ủ đề mang tên "Bằng chứng an toàn và tính hoạt động của giao thức đồng thuận dựa trên tinh chỉnh: LiDO và các mở rộng của nó". Ông đã công bố lần đầu tiên mô hình LiDO và khung mở rộng LiDO-DAG mà đội ngũ của ông phát triển, thành tựu đột phá này nhằm cung cấp chứng minh an toàn và tính hoạt động có thể cơ giới hóa cho các giao thức đồng thuận Byzantine Fault Tolerant (BFT) phức tạp, đặt nền tảng công nghệ cho tính đáng tin cậy và sự phát triển quy mô của hệ sinh thái Web3.
Giáo sư Shao Trung chỉ ra rằng, các giao thức đồng thuận hiện có (như PBFT, Jolteon) mặc dù được áp dụng rộng rãi, nhưng do sự phức tạp trong việc thực hiện 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 đã đổi mới đề xuất một khung xác nhận ba lớp.
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 việc chứng minh cơ khí cho hơn mười nghìn dòng mã Coq, với số lượng mã 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 đã chỉ ra: "Hiện nay, các giao thức đồng thuận PoS thường đối mặt với khó khăn trong việc đạt được đồng thời 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 đưa ra nhằm phá vỡ tình trạng này."
Giáo sư Shao Zhong dẫn dắt đội ngũ 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à "mốc quan trọng trong an toàn hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền tảng công nghệ của họ trong lĩnh vực an ninh mà còn thể hiện sự tích lũy sâu sắc của họ trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã chuyên sâu vào an ninh blockchain và vào năm 2017, ông cùng với học trò Gu Ronghui thành lập một công ty an ninh 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à giao thức trên chuỗi, bảo vệ an toàn cho tài sản tiền mã hóa trị giá hàng 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 chính và giao thức phi tập trung chính. 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. Cuối buổi nói chuyện, 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ự."