Tại hội nghị các học giả Web3, giáo sư Yale lần đầu tiên công bố 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ủ đề mang tên "Chứng minh 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 khung mở rộng của nó", lần đầu tiên giới thiệu công khai 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 đổi mới này nhằm cung cấp chứng minh an toàn và tính hoạt động có thể xác minh cơ học cho các giao thức đồng thuận chịu lỗi Byzantine (BFT) phức tạp, mở đường 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 thực hiện, thường tồn tại các nguy cơ an ninh 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 tuần tự, đảm bảo tính nhất quán của nhật ký, bảo vệ an toàn.
Lớp bảo đảm 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ợ các giao thức DAG mới nổi như Narwhal, Bullshark, thực hiện xác thực đồng thuận không có lãnh đạo hiệu quả.
Hiện tại, LiDO đã thành công trong việc áp dụng cho 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ười nghìn dòng mã Coq với chứng minh cơ học, trong đó mã xác minh tính an toàn và tính khả thi lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư Shao Zhong đã nhấn mạnh trong bài phát biểu: "Hiện nay, các giao thức đồng thuận PoS thường gặp khó khăn trong việc đạt được đồng thời ba yếu tố an toàn, khả năng 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 để phá vỡ tình huống này."
Đội ngũ do Giáo sư Shao Zhong lãnh đạo trước đó đã 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ộ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ỉ đặt nền tảng cho 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à vào năm 2017, ông cùng với đồng nghiệp thành lập một công ty an toàn, đưa công nghệ xác minh 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à 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ụ 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 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.
15 thích
Phần thưởng
15
7
Chia sẻ
Bình luận
0/400
LiquidityWitch
· 07-25 10:19
Đợt này coi như đã hoàn toàn bị phá vỡ phòng thủ.
Xem bản gốcTrả lời0
CryptoMotivator
· 07-24 15:10
Rời xa thực tế, vẫn còn nghiên cứu mô hình ở đây.
Xem bản gốcTrả lời0
New_Ser_Ngmi
· 07-22 16:54
Nói thật, vẫn đang nghiên cứu về Byzantine?
Xem bản gốcTrả lời0
FlyingLeek
· 07-22 16:53
Blockchain cổ đông, một mạng một mạng một mạng lỗ
Xem bản gốcTrả lời0
UnluckyLemur
· 07-22 16:42
Đây không phải là lừa đảo chứ?
Xem bản gốcTrả lời0
LidoStakeAddict
· 07-22 16:42
bull wow bft Nhận thức chung an toàn rồi
Xem bản gốcTrả lời0
GweiWatcher
· 07-22 16:41
Giờ đây, việc quản lý trên chuỗi có thể được đảm bảo.
Giáo sư Yale công bố mô hình LiDO: Cung cấp xác minh chính thức cho giao thức nhận thức chung Web3
Tại hội nghị các học giả Web3, giáo sư Yale lần đầu tiên công bố 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ủ đề mang tên "Chứng minh 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 khung mở rộng của nó", lần đầu tiên giới thiệu công khai 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 đổi mới này nhằm cung cấp chứng minh an toàn và tính hoạt động có thể xác minh cơ học cho các giao thức đồng thuận chịu lỗi Byzantine (BFT) phức tạp, mở đường 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 thực hiện, thường tồn tại các nguy cơ an ninh 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 đã thành công trong việc áp dụng cho 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ười nghìn dòng mã Coq với chứng minh cơ học, trong đó mã xác minh tính an toàn và tính khả thi lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư Shao Zhong đã nhấn mạnh trong bài phát biểu: "Hiện nay, các giao thức đồng thuận PoS thường gặp khó khăn trong việc đạt được đồng thời ba yếu tố an toàn, khả năng 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 để phá vỡ tình huống này."
Đội ngũ do Giáo sư Shao Zhong lãnh đạo trước đó đã 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ộ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ỉ đặt nền tảng cho 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à vào năm 2017, ông cùng với đồng nghiệp thành lập một công ty an toàn, đưa công nghệ xác minh 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à 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ụ 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 sẽ là con đường chính dẫn đến tương lai phi tập trung thực sự."