Hội nghị học giả Web3 tập trung vào an ninh giao thức nhận thức chung và chứng minh hoạt động
Tại hội nghị học giả Web3 2025 gần đây, một giáo sư khoa học máy tính nổi tiếng đã có bài phát biểu chính đề tài "Bảo mật và chứng minh tính sống độ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ó", lần đầu tiên công khai mô hình LiDO và khung mở rộng LiDO-DAG do đội ngũ của mình phát triển. Thành tựu đột phá này nhằm cung cấp chứng minh bảo mật và tính sống động có thể xác minh cơ học cho giao thức nhận thức chung BFT phức tạp, đặt nền tảng công nghệ cho sự phát triển đáng tin cậy và quy mô của hệ sinh thái Web3.
Trong bài phát biểu, giáo sư chỉ ra rằng các giao thức nhận thức chung hiện có (như PBFT, Jolteon) tuy được ứng dụng rộng rãi, nhưng do sự phức tạp trong việc triển khai 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 ba lớp tinh vi:
Lớp trừu tượng an ninh: á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 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 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, đạ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 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 việc chứng minh cơ học cho hơn 10.000 dòng mã Coq, với mã xác minh an toàn và hoạt động lần lượt đạt 4.000 dòng và 1.700 dòng. Giáo sư đã chỉ ra trong bài phát biểu: "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, hoạt động và phân cấp. 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."
Cần lưu ý rằng, giáo sư này trước đây đã dẫn dắt đội ngũ phát triển CertiKOS, là hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới được xác minh 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 kỹ thuật cho một công ty an ninh nào đó, 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ư này đã chuyên sâu vào an ninh blockchain, đưa công nghệ xác minh 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, bảo vệ an toàn tài sả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 khai và giao thức phi tập trung chính. Giáo sư 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ụ 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. Cuối buổi thuyết trình, ông nhấn mạnh: "Chồng 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
4
Chia sẻ
Bình luận
0/400
SleepTrader
· 7giờ trước
Viết rất sâu sắc, có chút không chịu nổi.
Xem bản gốcTrả lời0
ShadowStaker
· 07-21 20:16
meh... một mô hình học thuật khác sẽ không sống sót sau lần tiếp xúc đầu tiên với MEV bots tbh
Xem bản gốcTrả lời0
quietly_staking
· 07-21 04:11
lại đang làm những thứ rườm rà
Xem bản gốcTrả lời0
BlockchainDecoder
· 07-21 04:10
Từ góc độ của các bài báo về hệ thống phân tán, khung xác thực ba lớp của LiDO thực sự bổ sung cho những thiếu sót của logic Hoare trong môi trường bất đồng bộ, đáng để nghiên cứu sâu về hiệu quả thực tiễn của nó trong hệ thống nhận thức chung.
Mô hình LiDO ra mắt lần đầu: Cải cách an ninh giao thức nhận thức chung Web3
Hội nghị học giả Web3 tập trung vào an ninh giao thức nhận thức chung và chứng minh hoạt động
Tại hội nghị học giả Web3 2025 gần đây, một giáo sư khoa học máy tính nổi tiếng đã có bài phát biểu chính đề tài "Bảo mật và chứng minh tính sống độ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ó", lần đầu tiên công khai mô hình LiDO và khung mở rộng LiDO-DAG do đội ngũ của mình phát triển. Thành tựu đột phá này nhằm cung cấp chứng minh bảo mật và tính sống động có thể xác minh cơ học cho giao thức nhận thức chung BFT phức tạp, đặt nền tảng công nghệ cho sự phát triển đáng tin cậy và quy mô của hệ sinh thái Web3.
Trong bài phát biểu, giáo sư chỉ ra rằng các giao thức nhận thức chung hiện có (như PBFT, Jolteon) tuy được ứng dụng rộng rãi, nhưng do sự phức tạp trong việc triển khai 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 ba lớp tinh vi:
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 việc chứng minh cơ học cho hơn 10.000 dòng mã Coq, với mã xác minh an toàn và hoạt động lần lượt đạt 4.000 dòng và 1.700 dòng. Giáo sư đã chỉ ra trong bài phát biểu: "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, hoạt động và phân cấp. 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."
Cần lưu ý rằng, giáo sư này trước đây đã dẫn dắt đội ngũ phát triển CertiKOS, là hệ điều hành "không có lỗ hổng" đầu tiên trên thế giới được xác minh 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 kỹ thuật cho một công ty an ninh nào đó, 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ư này đã chuyên sâu vào an ninh blockchain, đưa công nghệ xác minh 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, bảo vệ an toàn tài sả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 khai và giao thức phi tập trung chính. Giáo sư 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ụ 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. Cuối buổi thuyết trình, ông nhấn mạnh: "Chồng 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ự."