Geçersiz kanıt riski sonrasında SP1 güvenlik açığı giderildi
Succinct, SP1 sıfır bilgi kanıtı sisteminde yüksek önem dereceli bir güvenilirlik açığı olduğunu açıkladı. Bu kusur, 6.0.0 ile 6.8.0 arasındaki sürümlerin yerel Rust doğrulayıcılarını etkiliyordu ve mainnet Prover Network'ün geçersiz yürütmelere ait kanıtları kabul etmesine yol açabilirdi. SP1 açığı, doğrulayıcıların veri etiketlerini kontrol ederken depolanan öğe sayısının belirtilen boyutlarla eşleştiğini doğrulamamasından kaynaklanıyordu. Groth16 ve Plonk'un sabit biçimli kontrolleri ile zincir üstü Solidity doğrulayıcıları etkilenmedi. Succinct, serileştirme çözme sırasında uzunluk kontrolü ekleyen 6.8.1 sürümünü 24 Eylül'de yayımladı ve mainnet'e dağıttı. Sorun, Vitalis Salis tarafından Immunefi üzerinden bildirildi. Yerel Rust doğrulayıcıları çalıştıran ve güvenilmeyen kanıtlayıcılardan gelen kanıtları kabul eden kullanıcılar 6.8.1 sürümüne yükseltmelidir.
Neutral
Bu güvenlik açığı kayda değer bir güvenlik riski oluşturuyordu: Açığın istismar edilmesi hâlinde, etkilenen yerel SP1 Rust doğrulayıcıları geçersiz yürütme kanıtlarını kabul edebilir ve bu doğrulayıcılara dayanan uygulamaların güvenilirliğini zedeleyebilirdi. Ancak raporda Succinct’in bir düzeltme yayımlayıp devreye aldığı, sabit biçimli Groth16 ve Plonk kontrolleri ile zincir üzerindeki Solidity doğrulayıcılarının ise etkilenmediği belirtiliyor. Bu durum, piyasaya yönelik devam eden ve geniş kapsamlı bir tehdit olduğuna dair işaretleri sınırlandırıyor. En olası doğrudan etki, kripto fiyatları üzerinde anlık bir baskı oluşmasından ziyade, etkilenen Rust doğrulayıcılarını kullananların hedefli operasyonel çalışmalar yürütmesi olacaktır. Kısa vadede yatırımcılar, SP1 ile ilişkili projeleri, doğrulama faaliyetlerini ve olası istismar ya da kayıplara ilişkin açıklamaları daha yakından izleyebilir. Uzun vadede olay, kanıt sistemlerinin uygulamalarına yönelik denetimi artırabilir ve denetimlere, sürüm yükseltmelerine ve derinlemesine savunma kontrollerine olan talebi güçlendirebilir. Benzer altyapı açıkları, fon kaybına veya ağ genelindeki hizmetlerin kesintiye uğramasına yol açtığında sert piyasa hareketlerini tetikleyebilir; ancak bu olayda istismara ya da kalıcı bir kesintiye dair kanıt bulunmadığından, tarafsız bir piyasa değerlendirmesi daha uygundur.