Hội nghị học giả Web3 tiết lộ mô hình an ninh giao thức nhận thức chung thế hệ mới
Tại hội nghị học giả Web3 năm 2025 diễn ra gần đây, 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ủ đề mang tên "Chứng minh an toàn và hoạt động của giao thức nhận thức chung dựa trên tinh chỉnh: LiDO và các mở rộng của nó", công bố lần đầu tiên mô hình LiDO do nhóm của ông phát triển và khung mở rộng LiDO-DAG. Thành tựu đột phá này nhằm cung cấp chứng minh an toàn và hoạt động có thể được xác minh cơ học cho 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 trong bài phát biểu của mình chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có như PBFT và Jolteon đã được áp dụng rộng rãi, nhưng do độ phức tạp của việc thực hiện, 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 đã đổi mới đề xuất một khung xác thực tinh chỉnh 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 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 đả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 minh hiệu quả mà không cần người lãnh đạo.
Hiện tại, LiDO đã được áp dụng thành cô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 chứng minh cơ học, trong đó mã lượng xác minh an toàn và tính năng đạt lần lượt 4000 dòng và 1700 dòng. Giáo sư Shao Trung nhấn mạnh: "Hiện nay, các giao thức nhận thức chung PoS thường gặp khó khăn trong việc đạt được ba yếu tố an toàn, tính nă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 thế khó khăn này."
Là người sáng lập hệ điều hành "không có lỗ hổng" CertiKOS được xác thực bằng hình thức đầu tiên trên toàn cầu, giáo sư Shao Zhong có nền tảng vững chắc trong lĩnh vực an ninh hệ thống. Thành tựu này không chỉ củng cố nền tảng của ông trong lĩnh vực công nghệ an toàn mà còn thể hiện trình độ chuyên môn của ông trong lĩnh vực an ninh hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã chuyển trọng tâm nghiên cứu sang an ninh blockchain, cam kết áp dụng 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à giao thức trên chuỗi, cung cấp bảo vệ an ninh cho các tài sản tiền mã hóa trị giá hàng trăm tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế 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 cộng chính và 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ế then chốt trong Web3.0 để cung cấp sản phẩm và dịch vụ trong toàn bộ chu kỳ, nhằm 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 bài phát biểu, giáo sư Shao Zhong nhấn mạnh: "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ự." Quan điểm này làm nổi bật tầm quan trọng của việc xây dựng cơ sở hạ tầng an toàn và đáng tin cậy trong thời đại Web3 để thúc đẩy sự phát triển khỏe mạnh của toàn bộ hệ sinh thái.
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.
11 thích
Phần thưởng
11
7
Chia sẻ
Bình luận
0/400
CrashHotline
· 17giờ trước
Những mô hình nghiên cứu này chẳng có tác dụng gì cả.
Xem bản gốcTrả lời0
ZenChainWalker
· 07-24 09:30
Hì hì, vừa thổi vừa mạnh mẽ.
Xem bản gốcTrả lời0
BTCBeliefStation
· 07-24 07:52
dang vẫn không gỡ được ba cái bánh cũ
Xem bản gốcTrả lời0
MoneyBurnerSociety
· 07-21 20:58
Một lý do nữa để làm sạch Ví tiền... Tôi sẽ nghiên cứu nó trực tiếp!
Xem bản gốcTrả lời0
MEV_Whisperer
· 07-21 20:58
Lại là mô hình mới lại là giao thức, thật biết chơi.
Xem bản gốcTrả lời0
LiquidationWatcher
· 07-21 20:58
Lại bắt đầu lý thuyết rồi, kiếm tiền là thực tế nhất.
Hội nghị học giả Web3 trọng điểm: Mô hình LiDO đánh dấu một kỷ nguyên mới cho sự an toàn của giao thức nhận thức chung
Hội nghị học giả Web3 tiết lộ mô hình an ninh giao thức nhận thức chung thế hệ mới
Tại hội nghị học giả Web3 năm 2025 diễn ra gần đây, 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ủ đề mang tên "Chứng minh an toàn và hoạt động của giao thức nhận thức chung dựa trên tinh chỉnh: LiDO và các mở rộng của nó", công bố lần đầu tiên mô hình LiDO do nhóm của ông phát triển và khung mở rộng LiDO-DAG. Thành tựu đột phá này nhằm cung cấp chứng minh an toàn và hoạt động có thể được xác minh cơ học cho 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 trong bài phát biểu của mình chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có như PBFT và Jolteon đã được áp dụng rộng rãi, nhưng do độ phức tạp của việc thực hiện, 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 đã đổi mới đề xuất một khung xác thực tinh chỉnh ba lớp:
Hiện tại, LiDO đã được áp dụng thành cô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 chứng minh cơ học, trong đó mã lượng xác minh an toàn và tính năng đạt lần lượt 4000 dòng và 1700 dòng. Giáo sư Shao Trung nhấn mạnh: "Hiện nay, các giao thức nhận thức chung PoS thường gặp khó khăn trong việc đạt được ba yếu tố an toàn, tính nă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 thế khó khăn này."
Là người sáng lập hệ điều hành "không có lỗ hổng" CertiKOS được xác thực bằng hình thức đầu tiên trên toàn cầu, giáo sư Shao Zhong có nền tảng vững chắc trong lĩnh vực an ninh hệ thống. Thành tựu này không chỉ củng cố nền tảng của ông trong lĩnh vực công nghệ an toàn mà còn thể hiện trình độ chuyên môn của ông trong lĩnh vực an ninh hệ thống. Trong những năm gần đây, giáo sư Shao Zhong đã chuyển trọng tâm nghiên cứu sang an ninh blockchain, cam kết áp dụng 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à giao thức trên chuỗi, cung cấp bảo vệ an ninh cho các tài sản tiền mã hóa trị giá hàng trăm tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế 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 cộng chính và 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ế then chốt trong Web3.0 để cung cấp sản phẩm và dịch vụ trong toàn bộ chu kỳ, nhằm 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 bài phát biểu, giáo sư Shao Zhong nhấn mạnh: "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ự." Quan điểm này làm nổi bật tầm quan trọng của việc xây dựng cơ sở hạ tầng an toàn và đáng tin cậy trong thời đại Web3 để thúc đẩy sự phát triển khỏe mạnh của toàn bộ hệ sinh thái.