Hội nghị học giả Web3 tập trung vào nghiên cứu an ninh giao thức nhận thức chung, mô hình LiDO mới thu hút theo dõi
Tại hội nghị học giả Web3 năm 2025 vừa diễn ra, một giáo sư khoa học máy tính nổi tiếng đã có bài phát biểu với tiêu đề "Bảo mật và chứng minh tính hoạt động của giao thức nhận thức chung tinh chế: LiDO và các mở rộng của nó", lần đầu tiên công bố 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 bảo mật và tính hoạt động có thể cơ giới hóa cho các giao thức nhận thức chung Byzantine phức tạp (BFT), từ đó đặt nền tảng công nghệ cho sự phát triển 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 việc thực hiện phức tạp thường che giấu các 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:
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 nổi như Narwhal, Bullshark, thực hiện xác minh hiệu quả nhận thức chung không có người 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 việc chứng minh cơ học cho hơn 10,000 dòng mã Coq, với khối lượng mã chứng minh an toàn và tính năng lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư trong buổi thuyết trình chỉ ra: "Hiện nay, các giao thức đồng thuận PoS đều đang phải đối mặt với tình thế khó khăn trong việc đạt được đồng thời an toàn, tính nă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 thế này."
Đáng chú ý là, giáo sư này trước đây đã dẫn dắt đội ngũ 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 thực bằng hình thức, được ca ngợi là "mốc quan trọng 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 công nghệ 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 ninh hệ thống. Trong những năm gần đây, giáo sư này đã tập trung vào an ninh blockchain, đưa công nghệ xác thực 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, bảo vệ an toàn tài sản tiền điện tử 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 chính và giao thức phi tập trung. Giáo sư cho biết, họ cam kết xác minh các cơ chế quan trọng 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, ông 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
4
Đăng lại
Chia sẻ
Bình luận
0/400
TokenDustCollector
· 2giờ trước
Lại đang làm mô hình mới nữa rồi, không nghe không nghe.
Xem bản gốcTrả lời0
ImpermanentPhilosopher
· 2giờ trước
Lại là các nhà khoa học nói về độ an toàn, tôi chỉ cần một bể báo là có thể giải quyết.
Xem bản gốcTrả lời0
SelfStaking
· 2giờ trước
Bạn thổi phồng giao thức nhận thức chung của mình lên khá huyền bí.
Hội nghị học giả Web3 ra mắt mô hình LiDO Giao thức nhận thức chung an toàn đạt đến chiều cao mới
Hội nghị học giả Web3 tập trung vào nghiên cứu an ninh giao thức nhận thức chung, mô hình LiDO mới thu hút theo dõi
Tại hội nghị học giả Web3 năm 2025 vừa diễn ra, một giáo sư khoa học máy tính nổi tiếng đã có bài phát biểu với tiêu đề "Bảo mật và chứng minh tính hoạt động của giao thức nhận thức chung tinh chế: LiDO và các mở rộng của nó", lần đầu tiên công bố 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 bảo mật và tính hoạt động có thể cơ giới hóa cho các giao thức nhận thức chung Byzantine phức tạp (BFT), từ đó đặt nền tảng công nghệ cho sự phát triển 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 việc thực hiện phức tạp thường che giấu các 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:
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 việc chứng minh cơ học cho hơn 10,000 dòng mã Coq, với khối lượng mã chứng minh an toàn và tính năng lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư trong buổi thuyết trình chỉ ra: "Hiện nay, các giao thức đồng thuận PoS đều đang phải đối mặt với tình thế khó khăn trong việc đạt được đồng thời an toàn, tính nă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 thế này."
Đáng chú ý là, giáo sư này trước đây đã dẫn dắt đội ngũ 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 thực bằng hình thức, được ca ngợi là "mốc quan trọng 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 công nghệ 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 ninh hệ thống. Trong những năm gần đây, giáo sư này đã tập trung vào an ninh blockchain, đưa công nghệ xác thực 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, bảo vệ an toàn tài sản tiền điện tử 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 chính và giao thức phi tập trung. Giáo sư cho biết, họ cam kết xác minh các cơ chế quan trọng 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, ông 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ự."