Giáo sư Yale lần đầu tiên tiết lộ mô hình LiDO: cung cấp xác minh cơ học cho giao thức BFT

robot
Đang tạo bản tóm tắt

Tại hội nghị 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 2025 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ính đề tài "Bằng chứng về tính 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 tiết lộ 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 đổi mới này nhằm cung cấp các chứng minh về tính an toàn và tính khả thi có thể được xác minh cơ họ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 Trung 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 ứng dụng rộng rãi, nhưng do độ phức tạp trong việc triển khai, chúng 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 thực tinh chỉnh ba lớp:

  1. 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ý (an toàn);
  2. 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 hết thời gian và đồng bộ vòng.
  3. Tầng mở rộng DAG: Hỗ trợ các giao thức DAG mới nổi như Narwhal, Bullshark, đạt được xác thực hiệu quả mà không cần 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 hơn 10.000 dòng mã Coq với chứng minh cơ học, trong đó số lượng mã để xác minh tính an toàn và tính khả dụ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 đã nhấn mạnh: "Hiện tại, các giao thức đồng thuận PoS đang đối mặt với thách thức khó khăn trong việc cân bằng giữa tính an toàn, tính khả dụng và sự phi tập trung. Mô hình LiDO chính là giải pháp 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 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 vững chắc cho họ trong lĩnh vực an ninh hệ thống mà còn thể hiện kinh nghiệm phong phú của họ trong lĩnh vực này. Trong những năm gần đây, Giáo sư Shao Zhong đã tập trung vào nghiên cứu an ninh blockchain, vào năm 2017, ông đã cùng đồng nghiệp thành lập một công ty an ninh, đưa công nghệ xác thực hình thức vào việc 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 bảo vệ an toàn cho các tài sản tiền điện tử trị giá hàng trăm tỷ đô la.

Giáo sư Shao Zhong, đồng sáng lập CertiK, tham dự Hội nghị học giả Web3, công bố công khai mô hình LiDO lần đầu tiên

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 dài hạn của các doanh nghiệp và hệ sinh thái Web3. Vào 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 để đạt được tương lai phi tập trung thực sự."

Xem bản gốc
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Phần thưởng
  • 7
  • Chia sẻ
Bình luận
0/400
FlashLoanLordvip
· 10giờ trước
À cái xác thực này chỉ là một cái bẫy!
Xem bản gốcTrả lời0
WhaleWatchervip
· 07-10 21:00
Chẳng phải là xác thực kiểu brute force sao?
Xem bản gốcTrả lời0
DAOdreamervip
· 07-10 14:27
Ôi chao, lại làm trò mới rồi.
Xem bản gốcTrả lời0
ResearchChadButBrokevip
· 07-10 14:24
Đợt nghiên cứu này khá cứng cáp
Xem bản gốcTrả lời0
TaxEvadervip
· 07-10 14:22
Thế giới học thuật thật thú vị~
Xem bản gốcTrả lời0
SchrodingersPapervip
· 07-10 14:14
Sự tôn thờ nhận thức chung cũng cần phải phác thảo trên giấy.
Xem bản gốcTrả lời0
NFTRegretfulvip
· 07-10 14:14
Công nghệ BFT cũ này có thể tạo ra điều mới mẻ?
Xem bản gốcTrả lời0
  • Ghim
Giao dịch tiền điện tử mọi lúc mọi nơi
qrCode
Quét để tải xuống ứng dụng Gate
Cộng đồng
Tiếng Việt
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)