Hội nghị học giả Web3 tập trung vào an ninh và chứng minh tính năng động của giao thức nhận thức chung
Tại hội nghị học giả Web3 2025 vừa qua, một giáo sư khoa học máy tính nổi tiếng đã có bài phát biểu chủ đề với tiêu đề "Bảo mật và chứng minh 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ó", 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 chứng minh về bảo mật và hoạt động có thể xác minh cơ học cho các giao thức nhận thức chung Byzantine phức tạp (BFT), thiết lập 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.
Người phát biểu chỉ ra rằng, các giao thức nhận thức chung hiện có (như PBFT, Jolteon) tuy được áp dụng rộng rãi, nhưng do sự 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 ba tầng tinh vi:
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 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ả không cần người lãnh đạo.
Hiện tại, LiDO đã được áp dụng thành công trong 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ơ khí cho hơn một vạn dòng mã Coq, với số lượng mã xác minh an ninh và tính khả dụng lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư này đã chỉ ra trong bài phát biểu: "Hiện nay, giao thức đồng thuận PoS thường phải đối mặt với tình thế khó khăn khi không thể đạt được đồng thời an ninh, tính khả dụng và phi tập trung. Mô hình LiDO chính là giải pháp thiết kế hệ thống được đề xuất để phá vỡ tình thế này."
Giáo sư này từng dẫn dắt nhóm phát triển hệ điều hành "không lỗ hổng" CertiKOS thông qua xác minh hình thức, được ca ngợi là "cột mốc an toàn hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền tảng cho sự tích lũy sâu sắc của ông trong lĩnh vực an toàn hệ thống, mà còn tạo điều kiện cho nghiên cứu tiếp theo trong lĩnh vực an ninh blockchain.
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 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 quan trọng 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.
16 thích
Phần thưởng
16
10
Chia sẻ
Bình luận
0/400
WalletWhisperer
· 33phút trước
hm. nhận diện mẫu cho thấy xác suất 76.2% rằng điều này sẽ sửa chữa các trường hợp biên đồng thuận hiện tại
Xem bản gốcTrả lời0
CryptoTarotReader
· 07-26 09:57
Cuối cùng cũng có mô hình mới, đánh giá tốt.
Xem bản gốcTrả lời0
AltcoinMarathoner
· 07-24 19:08
giao thức khác tham gia vào cuộc đua... cuộc marathon này đang trở nên đông đúc nhưng các yếu tố cơ bản vẫn vững mạnh
Xem bản gốcTrả lời0
TokenCreatorOP
· 07-24 17:20
Tại sao an toàn lại quan trọng như vậy?
Xem bản gốcTrả lời0
AirdropLicker
· 07-24 17:13
Lại đến thời điểm chơi đùa với mọi người rồi.
Xem bản gốcTrả lời0
MidnightSnapHunter
· 07-24 17:12
Việc làm rõ xác minh có thể giải quyết lỗ hổng.
Xem bản gốcTrả lời0
SchrodingerAirdrop
· 07-24 17:04
Có tiền thì tốt
Xem bản gốcTrả lời0
OnchainGossiper
· 07-24 16:55
Đừng nói nhiều như vậy, ổn là được.
Xem bản gốcTrả lời0
HodlNerd
· 07-24 16:53
thú vị khi lý thuyết trò chơi gặp xác minh chính thức trong điều này... vẻ đẹp toán học thực sự
Web3 đột phá: Mô hình LiDO hỗ trợ xác minh an ninh và tính năng của nhận thức chung giao thức
Hội nghị học giả Web3 tập trung vào an ninh và chứng minh tính năng động của giao thức nhận thức chung
Tại hội nghị học giả Web3 2025 vừa qua, một giáo sư khoa học máy tính nổi tiếng đã có bài phát biểu chủ đề với tiêu đề "Bảo mật và chứng minh 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ó", 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 chứng minh về bảo mật và hoạt động có thể xác minh cơ học cho các giao thức nhận thức chung Byzantine phức tạp (BFT), thiết lập 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.
Người phát biểu chỉ ra rằng, các giao thức nhận thức chung hiện có (như PBFT, Jolteon) tuy được áp dụng rộng rãi, nhưng do sự 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 ba tầng tinh vi:
Hiện tại, LiDO đã được áp dụng thành công trong 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ơ khí cho hơn một vạn dòng mã Coq, với số lượng mã xác minh an ninh và tính khả dụng lần lượt đạt 4000 dòng và 1700 dòng. Giáo sư này đã chỉ ra trong bài phát biểu: "Hiện nay, giao thức đồng thuận PoS thường phải đối mặt với tình thế khó khăn khi không thể đạt được đồng thời an ninh, tính khả dụng và phi tập trung. Mô hình LiDO chính là giải pháp thiết kế hệ thống được đề xuất để phá vỡ tình thế này."
Giáo sư này từng dẫn dắt nhóm phát triển hệ điều hành "không lỗ hổng" CertiKOS thông qua xác minh hình thức, được ca ngợi là "cột mốc an toàn hệ thống vật lý mạng". Thành tựu này không chỉ đặt nền tảng cho sự tích lũy sâu sắc của ông trong lĩnh vực an toàn hệ thống, mà còn tạo điều kiện cho nghiên cứu tiếp theo trong lĩnh vực an ninh blockchain.
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 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 quan trọng dẫn đến tương lai phi tập trung thực sự."