Ra mắt mô hình LiDO: GS BFT và vấn đề an ninh

Tại Hội nghị Thượng đỉnh Web3 Scholars 2025, Giáo sư Shao Zhong, trưởng Khoa Khoa học Máy tính tại Đại học Yale và đồng sáng lập của CertiK, đã lần đầu tiên công bố mô hình LiDO và khung mở rộng LiDO-DAG. Đây là một thành tựu đột phá trong việc cung cấp chứng minh tính an toàn và hoạt động cho các giao thức đồng thuận Byzantine Fault Tolerant (BFT) phức tạp. Được thực hiện thông qua một khung kiểm chứng chi tiết ba lớp, mô hình này nhằm mục tiêu nâng cao độ tin cậy và phát triển quy mô của hệ sinh thái Web3.

LiDO đã được áp dụng thành công vào các giao thức công nghiệp như Jolteon và hoàn tất kiểm chứng hơn 10.000 dòng mã Coq. Giáo sư Shao Zhong nhận định rằng LiDO đã đưa ra một giải pháp hệ thống cho thách thức của giao thức đồng thuận PoS, khó đạt được sự an toàn, hoạt động và phân tán. Hiện tại, LiDO đang tìm kiếm hợp tác với các chuỗi công khai chủ đạo nhằm xây dựng một ngăn xếp giao thức mạng tin cậy và phi tập trung.

Thông tin trên chỉ mang tính chất cung cấp thông tin thị trường và không cấu thành khuyến nghị đầu tư.

Tuyên bố miễn trừ: Bài viết này chỉ nhằm mục đích cung cấp thông tin dưới dạng blog cá nhân, không phải là khuyến nghị đầu tư. Nhà đầu tư cần tự nghiên cứu kỹ lưỡng trước khi đưa ra quyết định và chúng tôi không chịu trách nhiệm đối với bất kỳ quyết định đầu tư nào của bạn.

Theo Nghị quyết số 05/2025/NQ-CP ngày 09/09/2025 của Chính phủ về việc thí điểm triển khai thị trường tài sản số tại Việt Nam, TinTucBitcoin.com hiện chỉ cung cấp thông tin cho độc giả quốc tế và không phục vụ người dùng tại Việt Nam cho đến khi có hướng dẫn chính thức từ cơ quan chức năng.