SP1 yerel doğrulama açığı giderildi: 6.8.1 sonrası ana ağa yama uygulandı

Succinct’in (서싱트) SP1 V6 yerel Rust doğrulama yolunda, hatalı bir yürütmeye ait kanıtın doğrulamadan geçmesine imkân verebilecek bir güvenlik açığı tespit edildi. Succinct, etkilenen sürümleri düzeltti ve çalışan ana ağ Prover Network’e yama uyguladı.

Succinct, 11 Ekim 2026’da yayımladığı güvenlik duyurusunda açığı ‘yüksek’ önem seviyesinde sınıflandırdı. Etkilenen paketler sp1_hypercube, sp1_prover ve sp1_sdk; etkilenen sürümler 6.0.0 ile 6.8.0 arası. Düzeltilen sürüm ise 6.8.1.

Sorun, kanıt verileri okunurken tensörün depolanan öğe sayısı ile beyan edilen boyutlarının çarpımının eşleşip eşleşmediğinin denetlenmemesinden kaynaklandı. Tensör, birden fazla boyutta veri tutan bir yapıdır; depolanan öğe sayısı boyut değerlerinin çarpımına eşit olmalıdır.

Önceki doğrulayıcı bu iki değerin eşleşmesini kontrol etmiyordu. Bazı doğrulama aşamalarında depolanan öğe sayısı yeniden denetlenmeden beyan edilen boyutlar kullanılıyordu. Bu nedenle kötü niyetli bir kanıt sağlayıcı, değerleri uyuşmayan bir tensör gönderdiğinde aşamalar aynı tensörün farklı bölümlerini işleyebiliyordu.

Succinct, bu durumda hatalı yürütmeye ait bir kanıtın yerel Rust doğrulamasından geçebileceğini açıkladı. Bu, açığın teknik etkisine ilişkin bir açıklama; kamuya açık bir istismar vakası doğrulanmadı.

Açık, savunmasız yerel Rust doğrulayıcısına doğrudan gönderilen Core ve Compressed kanıtları etkiliyor. Güvenilmeyen dış kanıt sağlayıcılarından gelen kanıtları bu yolla kabul eden uygulamalar risk altında olabilir.

Açığın tespit edildiği sırada duyuruda etkilendiği belirtilen dağıtım, üçüncü taraf kanıt sağlayıcılarının kanıtlarını kabul eden Succinct’in ana ağ Prover Network’üydü. Diğer hizmetlerin etkilenip etkilenmediği doğrulanmadı.

Solidity tabanlı Groth16 ve Plonk doğrulama yolları bu açıktan etkilenmiyor. Bu yollar, soruna yol açan Rust tensörlerini işlemeden sabit biçimli kanıtlar kullanıyor. Compressed kanıtların toplama sonucu Groth16 veya Plonk kanıtıyla bitiyorsa ilgili kütüphane doğrulama yolu da etkilenmiyor.

SP1, Rust gibi LLVM ile derlenen programların yürütülmesini kanıtlayan bir sıfır bilgi sanal makinesidir (zkVM). Succinct, Immunefi’deki SP1 programı açıklamasında geliştiricilerin program yürütme kanıtları oluşturup doğrulayabildiğini belirtiyor.

Bu sorun SP1’in tamamını değil, V6’daki belirli bir yerel Rust doğrulama yolunda tensör biçiminin kontrol edilmemesini kapsıyor. Arbitrum’un SP1 ile gerçek ana ağ blokları için sıfır bilgi kanıtı oluşturduğu daha önce bildirilmişti.

Succinct, tensör okunurken depolanan öğe sayısını boyut değerlerinin çarpımıyla karşılaştıracak ve yerel doğrulama sırasında tensörün gerçek biçimini kontrol edecek şekilde düzeltme yaptı. 6.8.1’in yayımlanmasının ardından ana ağ Prover Network’e yamalı doğrulayıcı uygulandı.

Ağı kullananların ayrıca entegrasyon değişikliği yapması gerekmiyor. Güvenilmeyen kanıtları kabul eden yerel Rust doğrulayıcısını bağımsız olarak işletenlere 6.8.1’e güncelleme yapmaları önerildi.