유효하지 않은 증명 위험 이후 SP1 취약점 수정
Succinct은 자사의 SP1 영지식 증명 시스템에서 심각도가 높은 신뢰성 취약점을 공개했습니다. 이 결함은 6.0.0부터 6.8.0까지의 네이티브 Rust 검증기에 영향을 미쳤으며, mainnet의 Prover Network가 유효하지 않은 실행에 대한 증명을 받아들일 가능성이 있었습니다. SP1 취약점은 검증기가 데이터 레이블을 확인하면서 저장된 요소 수가 주장된 차원과 일치하는지는 확인하지 않아 발생했습니다. 고정 형태의 Groth16 및 Plonk 검사와 온체인 Solidity 검증기는 영향을 받지 않았습니다. Succinct은 9월 24일 역직렬화 길이 검사를 추가한 버전 6.8.1을 출시하고 mainnet에 배포했습니다. 이 문제는 Vitalis Salis가 Immunefi를 통해 제보했습니다. 네이티브 Rust 검증기를 실행하고 신뢰할 수 없는 prover의 증명을 받아들이는 사용자는 6.8.1로 업그레이드해야 합니다.
Neutral
이 취약점은 상당한 보안 위험을 초래했습니다. 악용될 경우 영향을 받은 SP1 네이티브 Rust 검증기가 유효하지 않은 실행 증명을 받아들여, 이에 의존하는 애플리케이션의 보안이 훼손될 가능성이 있었습니다. 그러나 보고서에 따르면 Succinct는 수정 사항을 공개하고 배포했으며, 고정된 형태의 Groth16 및 Plonk 검사와 온체인 Solidity 검증기는 영향을 받지 않았습니다. 따라서 지속적이고 광범위한 시장 위협을 시사하는 징후는 제한적입니다. 가장 가능성이 높은 직접적인 영향은 암호화폐 가격에 대한 즉각적인 압박이 아니라, 영향을 받은 Rust 검증기를 사용하는 이용자에게 필요한 표적화된 운영 작업입니다. 단기적으로 트레이더들은 SP1 관련 프로젝트, 검증 활동, 악용이나 손실에 관한 공개 여부를 더 면밀히 살펴볼 수 있습니다. 장기적으로는 이번 사건으로 증명 시스템 구현에 대한 검토가 강화되고, 감사, 버전 업그레이드, 다층 방어 점검에 대한 수요가 늘어날 수 있습니다. 유사한 인프라 취약점은 자금이 손실되거나 네트워크 전반의 서비스가 중단될 때 급격한 시장 변동을 일으킬 수 있습니다. 그러나 여기서는 악용이나 지속적인 서비스 장애의 증거가 없으므로 중립적인 시장 평가가 더 적절합니다.