Succinct SP1 phát hiện lỗ hổng nghiêm trọng, mạng chính có thể chấp nhận chứng minh không hợp lệ

Hệ thống chứng minh không biết SP1 thuộc Succinct đã phát hiện một lỗ hổng nghiêm trọng về độ tin cậy. Lỗ hổng này được công bố vào ngày 11 tháng 10 thông qua thông báo trên GitHub GHSA-p7v2-jjv3-8p8f, ảnh hưởng đến các phiên bản trình xác thực Rust gốc của SP1 từ 6.0.0 đến 6.8.0, dẫn đến việc mạng chính Prover Network có thể chấp nhận chứng minh không hợp lệ. Những người chứng minh độc hại có thể gửi chứng minh thực thi không hợp lệ, trong khi các trình xác thực của mạng vẫn sẽ chấp nhận. Nguyên nhân của lỗ hổng là do trình xác thực chỉ đọc nhãn dữ liệu mà không kiểm tra xem số lượng phần tử lưu trữ thực tế có bằng tích của các chiều hay không, kẻ tấn công có thể giả mạo nhãn để cho chứng minh không hợp lệ được thông qua. Các chứng minh Groth16 và Plonk sử dụng hình dạng cố định không bị ảnh hưởng, và các trình kiểm tra Solidity trên chuỗi cũng an toàn. Succinct đã phát hành phiên bản sửa lỗi 6.8.1 vào ngày 24 tháng 9 và đã triển khai trên mạng chính; phiên bản này bổ sung kiểm tra độ dài giải mã. Lỗ hổng được Vitalis Salis phát hiện và đã được báo cáo qua chương trình thưởng lỗ hổng Immunefi. Người dùng tự chạy trình xác thực Rust gốc và chấp nhận những người chứng minh không đáng tin cậy cần nâng cấp lên phiên bản 6.8.1.

Nội dung này chỉ được đưa ra nhằm mục đích cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, ưu đãi trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto. Tài sản crypto có độ biến động cao và có thể dẫn đến thua lỗ.Tính khả dụng của các dịch vụ, sản phẩm và sự kiện liên quan của WEEX có thể khác nhau tùy theo khu vực. Bạn có trách nhiệm bảo đảm việc tham gia của mình tuân thủ các luật và quy định hiện hành tại địa phương.