Succinct công bố lỗ hổng nghiêm trọng của SP1, 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 của Succinct mang tên SP1 đã bị phát hiện lỗ hổng độ tin cậy nghiêm trọng. Lỗ hổng này được công bố qua thông báo trên GitHub GHSA-p7v2-jjv3-8p8f, ảnh hưởng đến các phiên bản từ 6.0 đến 6.8.0 của trình xác thực Rust gốc của SP1, khiến cho 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 trên 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 (kích thước tuyên bố), 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 kích thước 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 chấp nhận. Các chứng minh Groth16 và Plonk sử dụng hình dạng cố định wrap không bị ảnh hưởng, và 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 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.
