Hội nghị học giả Web3 tập trung vào khung xác thực an toàn giao thức nhận thức chung mới
Tại Hội nghị Các nhà nghiên cứu Web3 năm 2025 vừa qua, Giáo sư Shao Zhong của Khoa Khoa học Máy tính, Đại học Yale đã có bài phát biểu chủ đề với tiêu đề "Chứng minh an toàn và tính khả thi của giao thức nhận thức chung dựa trên sự 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 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 an toàn và tính khả thi có thể được cơ khí hóa cho các giao thức nhận thức chung Byzantine phức tạp (BFT), đặt nền tảng công nghệ vững chắc 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 đã chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có (như PBFT, Jolteon) đã được ứng dụng rộng rãi, nhưng do sự phức tạp trong việc thực hiện, thường tiềm ẩn các lỗ hổng. Để 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ý (tính 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 minh hiệu quả theo 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 hơn 10.000 dòng mã Coq với chứng minh cơ giới, trong đó mã xác minh an toàn và hoạt động lần lượt đạ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 PoS Nhận thức chung đang đối mặt với khó khăn trong việc đảm bảo an toàn, hoạt động và phân cấp cùng một lúc. Mô hình LiDO chính là giải pháp thiết kế hệ thống được đề xuất để vượt qua nút thắt này."
Là nhà lãnh đạo nghiên cứu phát triển hệ điều hành "không có lỗ hổng" CertiKOS thông qua xác minh hình thức đầu tiên trên thế giới, giáo sư Shao Zhong và nhóm của ông đã tích lũy được sức mạnh kỹ thuật sâu sắc trong lĩnh vực an toàn hệ thống. Thành tựu này không chỉ đặt nền tảng vững chắc cho các nghiên cứu tiếp theo của họ, mà còn thể hiện những đóng góp xuất 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ư Shao Zhong đã chuyển trọng tâm nghiên cứu sang an toàn blockchain, nỗ lực á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, nhằm bảo vệ an toàn cho các tài sản tiền điện tử trị giá hàng tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế và xác thực 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ư Shao Trung cho biết, họ cam kết xác thực 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. Khi kết thúc bài phát biểu, giáo sư Shao Trung 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 thực sự phi tập trung."
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.
14 thích
Phần thưởng
14
6
Đăng lại
Chia sẻ
Bình luận
0/400
GasDevourer
· 5giờ trước
bull à, anh một bước đến nơi
Xem bản gốcTrả lời0
MoonRocketman
· 5giờ trước
Giao thức này là nhiên liệu tiếp tế cần thiết để vượt qua tầng khí quyển. Xem nhiều.
Xem bản gốcTrả lời0
Blockblind
· 5giờ trước
Cuối cùng đã có xác thực an toàn mới.
Xem bản gốcTrả lời0
governance_ghost
· 5giờ trước
Đừng có khoác lác nữa, tất cả các lỗ hổng đều đã được sửa chữa.
Web3 giao thức nhận thức chung an toàn xác minh khung LiDO ra mắt hội nghị học giả
Hội nghị học giả Web3 tập trung vào khung xác thực an toàn giao thức nhận thức chung mới
Tại Hội nghị Các nhà nghiên cứu Web3 năm 2025 vừa qua, Giáo sư Shao Zhong của Khoa Khoa học Máy tính, Đại học Yale đã có bài phát biểu chủ đề với tiêu đề "Chứng minh an toàn và tính khả thi của giao thức nhận thức chung dựa trên sự 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 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 an toàn và tính khả thi có thể được cơ khí hóa cho các giao thức nhận thức chung Byzantine phức tạp (BFT), đặt nền tảng công nghệ vững chắc 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 đã chỉ ra rằng, mặc dù các giao thức nhận thức chung hiện có (như PBFT, Jolteon) đã được ứng dụng rộng rãi, nhưng do sự phức tạp trong việc thực hiện, thường tiềm ẩn các lỗ hổng. Để 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 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ơ giới, trong đó mã xác minh an toàn và hoạt động lần lượt đạ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 PoS Nhận thức chung đang đối mặt với khó khăn trong việc đảm bảo an toàn, hoạt động và phân cấp cùng một lúc. Mô hình LiDO chính là giải pháp thiết kế hệ thống được đề xuất để vượt qua nút thắt này."
Là nhà lãnh đạo nghiên cứu phát triển hệ điều hành "không có lỗ hổng" CertiKOS thông qua xác minh hình thức đầu tiên trên thế giới, giáo sư Shao Zhong và nhóm của ông đã tích lũy được sức mạnh kỹ thuật sâu sắc trong lĩnh vực an toàn hệ thống. Thành tựu này không chỉ đặt nền tảng vững chắc cho các nghiên cứu tiếp theo của họ, mà còn thể hiện những đóng góp xuất 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ư Shao Zhong đã chuyển trọng tâm nghiên cứu sang an toàn blockchain, nỗ lực á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, nhằm bảo vệ an toàn cho các tài sản tiền điện tử trị giá hàng tỷ đô la.
Mô hình LiDO hiện đã hoàn thành thiết kế và xác thực 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ư Shao Trung cho biết, họ cam kết xác thực 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. Khi kết thúc bài phát biểu, giáo sư Shao Trung 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 thực sự phi tập trung."