Mạng chính có thể chấp nhận bằng chứng không hợp lệ, SP1 của Succinct bị phát hiện lỗ hổng mức độ nghiêm trọng cao
Theo tin từ Odaily, hệ thống zero-knowledge proof SP1 thuộc Succinct đã bị phát hiện lỗ hổng độ tin cậy mức độ nghiêm trọng cao. Lỗ hổng được công bố vào ngày 11 tháng 10 thông qua thông báo GitHub GHSA-p7v2-jjv3-8p8f, ảnh hưởng đến phiên bản trình xác minh Rust gốc của SP1 từ 6.0.0 đến 6.8.0, khiến Prover Network trên mạng chính có thể chấp nhận bằng chứng không hợp lệ: kẻ tấn công độc hại có thể gửi bằng chứng về việc thực thi không hợp lệ, trong khi trình xác minh mạng vẫn chấp nhận. Nguyên nhân lỗ hổng là trình xác minh chỉ đọc nhãn dữ liệu (thứ nguyên khai báo), không kiểm tra xem số lượng phần tử lưu trữ thực tế có bằng tích các thứ nguyên hay không, kẻ tấn công có thể giả mạo nhãn để bằng chứng không hợp lệ được chấp nhận. Kiểm tra Groth16 và Plonk sử dụng bằng chứng wrap hình dạng cố định không bị ảnh hưởng, 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 lên mạng chính; phiên bản này bổ sung kiểm tra độ dài deserialization. Lỗ hổng được phát hiện bởi Vitalis Salis và báo cáo thông qua chương trình tiền thưởng lỗ hổng Immunefi. Người dùng tự vận hành trình xác minh Rust gốc và chấp nhận bằng chứng không đáng tin cậy cần nâng cấp lên 6.8.1.
