Hội nghị học giả Web3 tập trung vào tính an toàn của giao thức nhận thức chung và chứng minh tính năng động
Tại hội nghị học giả Web3 năm 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ủ đề mang tên "An toàn và Chứng minh tính nă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 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 đột phá này nhằm cung cấp các chứng minh về an toàn và tính năng động có thể được xác minh cơ học cho giao thức Nhận thức chung Byzantine phức tạp (BFT), đặ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) mặc dù được áp dụng rộng rãi, nhưng do tính phức tạp trong việc thực hiện thường ẩn chứa 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 vi 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 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, thực hiện xác thực hiệu quả mà không cần nhận thức chung.
Hiện tại, LiDO đã thành công trong việc áp dụng vào giao thức công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG khác, hoàn thành hàng vạn dòng mã Coq cho việc chứng minh cơ học, với khối lượng mã chứng minh an toàn và tính khả dụng lần lượt đạt 4000 dòng và 1700 dòng. "Hiện tại, giao thức nhận thức chung PoS đang phải đối mặt với khó khăn trong việc đạt được đồng thời ba yếu tố an toàn, tính khả dụng và phi tập trung," vị giáo sư đã chỉ ra trong bài phát biểu của mình. "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 khó khăn này."
Giáo sư này đã dẫn dắt đội ngũ phát triển hệ điều hành "không lỗ hổng" đầu tiên trên thế giới thông qua xác minh hình thức, được ca ngợi là "cột mốc an toàn cho 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 công ty an ninh mà ông thành lập, mà còn thể hiện sự tích lũy sâu sắc của ông trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, giáo sư này đã tập trung vào an ninh blockchain, áp dụng 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 cho 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 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ế 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 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ư 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ật 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.
21 thích
Phần thưởng
21
7
Chia sẻ
Bình luận
0/400
MEV_Whisperer
· 07-25 08:35
Mã nguồn đã có trên GitHub chưa?
Xem bản gốcTrả lời0
NewPumpamentals
· 07-23 00:58
Lại là chứng minh toán học.
Xem bản gốcTrả lời0
LayerZeroHero
· 07-22 12:45
Giao thức an toàn phải được xác minh một cách tinh vi, nếu không thì chỉ là chơi xỏ!
Xem bản gốcTrả lời0
WalletDetective
· 07-22 12:44
Một dự án trên không nữa.
Xem bản gốcTrả lời0
RamenDeFiSurvivor
· 07-22 12:40
Người chơi phi tập trung kiếm 500U mỗi tháng, ghét những người xác thực chơi đùa với mọi người.
Web3 Nhận thức chung mới: Mô hình LiDO đạt được chứng minh cơ học an toàn và hoạt động.
Hội nghị học giả Web3 tập trung vào tính an toàn của giao thức nhận thức chung và chứng minh tính năng động
Tại hội nghị học giả Web3 năm 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ủ đề mang tên "An toàn và Chứng minh tính nă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 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 đột phá này nhằm cung cấp các chứng minh về an toàn và tính năng động có thể được xác minh cơ học cho giao thức Nhận thức chung Byzantine phức tạp (BFT), đặ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) mặc dù được áp dụng rộng rãi, nhưng do tính phức tạp trong việc thực hiện thường ẩn chứa 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 vi ba lớp:
Hiện tại, LiDO đã thành công trong việc áp dụng vào giao thức công nghiệp Jolteon (BFT hai giai đoạn) và nhiều giao thức DAG khác, hoàn thành hàng vạn dòng mã Coq cho việc chứng minh cơ học, với khối lượng mã chứng minh an toàn và tính khả dụng lần lượt đạt 4000 dòng và 1700 dòng. "Hiện tại, giao thức nhận thức chung PoS đang phải đối mặt với khó khăn trong việc đạt được đồng thời ba yếu tố an toàn, tính khả dụng và phi tập trung," vị giáo sư đã chỉ ra trong bài phát biểu của mình. "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 khó khăn này."
Giáo sư này đã dẫn dắt đội ngũ phát triển hệ điều hành "không lỗ hổng" đầu tiên trên thế giới thông qua xác minh hình thức, được ca ngợi là "cột mốc an toàn cho 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 công ty an ninh mà ông thành lập, mà còn thể hiện sự tích lũy sâu sắc của ông trong lĩnh vực an toàn hệ thống. Trong những năm gần đây, giáo sư này đã tập trung vào an ninh blockchain, áp dụng 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 cho 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 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ế 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 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ư 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ật sự."