SP1 네이티브 검증 취약점 수정…6.8.1 공개 후 메인넷 패치
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- 서싱트가 SP1 V6 네이티브 Rust 검증 경로의 취약점을 수정했다.
- 영향 버전은 6.0.0~6.8.0이며, 수정 버전은 6.8.1이다.
- 서싱트(Succinct)의 SP1 V6 네이티브 Rust 검증 경로에서 잘못된 실행의 증명이 통과할 수 있는 취약점이 확인됐다.
본문
서싱트가 SP1 V6 네이티브 Rust 검증 경로의 취약점을 수정했다. 영향 버전은 6.0.0~6.8.0이며, 수정 버전은 6.8.1이다. 서싱트(Succinct)의 SP1 V6 네이티브 Rust 검증 경로에서 잘못된 실행의 증명이 통과할 수 있는 취약점이 확인됐다. 서싱트는 취약 버전을 수정하고 운영 중인 메인넷 Prover Network에 패치를 적용했다. 서싱트는 2026년 10월 11일 공개한 보안 공지에서 취약점 심각도를 ‘높음(High)’으로 분류했다. 영향 패키지는 sp1_hypercube , sp1_prover , sp1_sdk 이며, 영향 버전은 6.0.0부터 6.8.0까지다. 취약점 발견 당시 공지에 기재된 영향 배포 사례는 제3자 증명자의 증명을 받던 서싱트 운영 메인넷 Prover Network다. Solidity 기반 Groth16·Plonk 검증 경로는 이번 취약점의 영향을 받지 않는다.
Compressed 증명도 집계 결과가 Groth16 또는 Plonk 증명으로 끝나는 경우에는 해당 라이브러리 검증 경로에서 영향이 없다. 이번 문제는 SP1 전체가 아니라 V6의 특정 네이티브 Rust 검증 경로에서 텐서 형태 검사가 누락된 사례다. 서싱트는 텐서를 읽어 들일 때 저장 요소 수와 선언된 차원값의 곱을 대조하고, 네이티브 검증 과정에서도 실제 텐서 형태를 확인하도록 수정했다. 6.8.1 공개 후에는 메인넷 Prover Network에 패치 검증기를 적용했다.