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 kiến thức SP1 thuộc Succinct đã 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 Rust xác thực gốc của SP1 từ 6.0 đến 6.8.0, khiến 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 xác thực viên trên mạng vẫn sẽ chấp nhận.

Nguyên nhân của lỗ hổng là do xác thực viên 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 phép chứng minh không hợp lệ. 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 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 xác thực viên 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.