Lỗ hổng SP1 được khắc phục sau nguy cơ bằng chứng không hợp lệ
Succinct đã công bố một lỗ hổng độ tin cậy nghiêm trọng trong hệ thống chứng minh không tiết lộ tri thức SP1. Lỗi này ảnh hưởng đến các trình xác minh Rust gốc từ phiên bản 6.0.0 đến 6.8.0 và có thể khiến Prover Network trên mainnet chấp nhận bằng chứng về các lần thực thi không hợp lệ. Lỗ hổng SP1 bắt nguồn từ việc trình xác minh kiểm tra nhãn dữ liệu nhưng không xác nhận số phần tử được lưu trữ có khớp với kích thước đã khai báo hay không. Các kiểm tra dạng cố định của Groth16 và Plonk, cũng như các trình xác minh Solidity trên chuỗi, không bị ảnh hưởng. Ngày 24 tháng 9, Succinct phát hành phiên bản 6.8.1, bổ sung kiểm tra độ dài khi giải tuần tự hóa, và triển khai phiên bản này lên mainnet. Vitalis Salis đã báo cáo sự cố thông qua Immunefi. Người dùng trình xác minh Rust gốc và chấp nhận bằng chứng từ các bên tạo bằng chứng không đáng tin cậy nên nâng cấp lên phiên bản 6.8.1.
Neutral
Lỗ hổng này gây ra rủi ro bảo mật đáng kể: nếu bị khai thác, các trình xác minh Rust gốc của SP1 bị ảnh hưởng có thể chấp nhận các bằng chứng thực thi không hợp lệ, từ đó có khả năng làm suy yếu các ứng dụng phụ thuộc vào chúng. Tuy nhiên, báo cáo cho biết Succinct đã phát hành và triển khai bản sửa lỗi, trong khi các bước kiểm tra Groth16 và Plonk có cấu trúc cố định cùng các trình xác minh Solidity on-chain không bị ảnh hưởng. Điều này hạn chế cơ sở để cho rằng thị trường đang đối mặt với một mối đe dọa rộng khắp và kéo dài. Tác động trực tiếp có khả năng xảy ra nhất là người dùng đang chạy các trình xác minh Rust bị ảnh hưởng phải xử lý một số công việc vận hành có mục tiêu, thay vì giá tiền mã hóa chịu áp lực ngay lập tức. Trong ngắn hạn, nhà giao dịch có thể theo dõi sát hơn các dự án liên quan đến SP1, hoạt động xác minh và mọi thông báo về việc khai thác lỗ hổng hoặc tổn thất. Về lâu dài, sự cố có thể khiến việc triển khai các hệ thống chứng minh bị giám sát chặt chẽ hơn, đồng thời làm tăng nhu cầu kiểm toán, nâng cấp phiên bản và các lớp kiểm tra bảo vệ bổ sung. Những lỗ hổng hạ tầng tương tự có thể gây biến động mạnh khi làm thất thoát tiền hoặc gián đoạn các dịch vụ trên toàn mạng; do chưa có bằng chứng về việc lỗ hổng bị khai thác hay tình trạng gián đoạn kéo dài trong trường hợp này, đánh giá trung lập về thị trường là phù hợp hơn.