Hội nghị học giả Web3: Giáo sư Yale công bố mô hình LiDO lần đầu tiên
Tại hội nghị học giả Web3 năm 2025 vừa diễn ra, giáo sư Shao Zhong thuộc 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 đề "Đảm bảo an toàn và tính khả thi 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ó", 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 do 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à tính khả thi có thể được xác minh 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 độ 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 của mình đã 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 có những rủi ro về an ninh 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 tinh vi 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);
Lớp 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ợ các giao thức DAG mới như Narwhal, Bullshark, đạt được 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 trong 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 10.000 dòng mã Coq với chứng minh cơ học, trong đó lượng mã xác thực an toàn và hoạt động lần lượt đạt 4.000 dòng và 1.700 dòng. Giáo sư Shao Zhong trong bài phát biểu của mình nhấn mạnh: "Hiện tại, các giao thức đồng thuận PoS đang đối mặt với tình huống khó khăn trong việc đạt được an toàn, hoạt động và phi tập trung đồng thời. Mô hình LiDO chính là giải pháp thiết kế hệ thống được đề xuất để phá vỡ tình huống này."
Đáng chú ý, giáo sư Shao Zhong đã dẫn dắt đội ngũ phát triển hệ điều hành "không có lỗ hổng" CertiKOS thông qua xác minh 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ỉ 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, mà còn đặt nền tảng vững chắc cho nghiên cứu an toàn blockchain sau này. Năm 2017, giáo sư Shao Zhong cùng với học trò của ông, giáo sư Gu Ronghui, đã đư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, cung cấp sự bảo vệ an toàn cho tài sản tiền điện tử trị giá hàng trăm tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế và xác nhận 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 cộng chính và giao thức phi tập trung. Giáo sư Shao Trung cho biết, họ cam kết xác thực các cơ chế chính trong Web3.0, nhằm 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 buổi thuyết trình, giáo sư Shao Trung 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.
13 thích
Phần thưởng
13
4
Chia sẻ
Bình luận
0/400
NFTArtisanHQ
· 21giờ trước
ah, cuối cùng thì có ai đó đang bàn về mô hình thẩm mỹ của sự đồng thuận... thật sự khiến tôi nhớ đến những tác phẩm sẵn có của duchamp
Xem bản gốcTrả lời0
InfraVibes
· 08-04 05:50
Lại là một dự án vẽ bánh.
Xem bản gốcTrả lời0
StableNomad
· 08-02 01:55
hmm một mô hình đồng thuận khác... đang cảm thấy chút PTSD về luna dao rn
Xem bản gốcTrả lời0
ZKProofster
· 08-02 01:50
nói một cách kỹ thuật, cái lido này thực sự không phải là đột phá... chỉ là một bft wrapper nữa thôi.
Giáo sư Yale xuất hiện tại hội nghị Web3: Mô hình LiDO giải quyết khó khăn trong giao thức nhận thức chung
Hội nghị học giả Web3: Giáo sư Yale công bố mô hình LiDO lần đầu tiên
Tại hội nghị học giả Web3 năm 2025 vừa diễn ra, giáo sư Shao Zhong thuộc 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 đề "Đảm bảo an toàn và tính khả thi 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ó", 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 do 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à tính khả thi có thể được xác minh 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 độ 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 của mình đã 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 có những rủi ro về an ninh 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 tinh vi ba tầng:
Hiện tại, LiDO đã được áp dụng thành công trong 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 10.000 dòng mã Coq với chứng minh cơ học, trong đó lượng mã xác thực an toàn và hoạt động lần lượt đạt 4.000 dòng và 1.700 dòng. Giáo sư Shao Zhong trong bài phát biểu của mình nhấn mạnh: "Hiện tại, các giao thức đồng thuận PoS đang đối mặt với tình huống khó khăn trong việc đạt được an toàn, hoạt động và phi tập trung đồng thời. Mô hình LiDO chính là giải pháp thiết kế hệ thống được đề xuất để phá vỡ tình huống này."
Đáng chú ý, giáo sư Shao Zhong đã dẫn dắt đội ngũ phát triển hệ điều hành "không có lỗ hổng" CertiKOS thông qua xác minh 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ỉ 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, mà còn đặt nền tảng vững chắc cho nghiên cứu an toàn blockchain sau này. Năm 2017, giáo sư Shao Zhong cùng với học trò của ông, giáo sư Gu Ronghui, đã đư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, cung cấp sự bảo vệ an toàn cho tài sản tiền điện tử trị giá hàng trăm tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế và xác nhận 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 cộng chính và giao thức phi tập trung. Giáo sư Shao Trung cho biết, họ cam kết xác thực các cơ chế chính trong Web3.0, nhằm 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 buổi thuyết trình, giáo sư Shao Trung 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ự."