Inayos ang kahinaan ng SP1 matapos lumitaw ang panganib ng di-wastong patunay
Nagbunyag ang Succinct ng isang seryosong kahinaan sa pagiging maaasahan ng SP1 zero-knowledge proof system nito. Apektado nito ang mga native Rust verifier mula bersyon 6.0.0 hanggang 6.8.0, at maaari nitong pahintulutan ang mainnet Prover Network na tumanggap ng mga proof ng mga hindi wastong execution. Nagmula ang kahinaan sa SP1 sa pag-check ng mga verifier sa mga data label nang hindi tinitiyak na tugma ang bilang ng mga nakaimbak na elemento sa sinasabing mga dimensyon. Hindi apektado ang mga fixed-shape na Groth16 at Plonk check, gayundin ang mga on-chain Solidity verifier. Noong Setyembre 24, inilabas ng Succinct ang bersyon 6.8.1 na nagdagdag ng pagsusuri sa haba habang nagde-deserialize, at inilunsad ito sa mainnet. Iniulat ni Vitalis Salis ang isyu sa pamamagitan ng Immunefi. Dapat mag-upgrade sa 6.8.1 ang mga gumagamit ng native Rust verifier na tumatanggap ng mga proof mula sa mga prover na hindi pinagkakatiwalaan.
Neutral
Nagdulot ng makabuluhang panganib sa seguridad ang kahinaang ito: kung mapagsamantalahan, maaaring tanggapin ng mga apektadong native Rust verifier ng SP1 ang mga di-wastong execution proof, na posibleng magpahina sa mga application na umaasa sa mga ito. Gayunman, sinasabi ng ulat na naglabas at nag-deploy ang Succinct ng pag-aayos, samantalang hindi naapektuhan ang mga nakapirming-shape na pagsusuri ng Groth16 at Plonk at ang mga on-chain Solidity verifier. Dahil dito, limitado ang palatandaan ng nagpapatuloy at malawakang banta sa merkado. Ang pinakamalamang na direktang epekto ay ang naka-target na operasyonal na trabaho para sa mga gumagamit ng mga apektadong Rust verifier, sa halip na agarang pagdiin sa mga presyo ng crypto. Maaaring mas tutukan ng mga trader sa maikling panahon ang mga proyektong kaugnay ng SP1, aktibidad ng verification, at anumang pagsisiwalat tungkol sa pagsasamantala o pagkalugi. Sa mas mahabang panahon, maaaring magpalakas ang insidente ng pagsusuri sa mga implementasyon ng proof system at magpataas ng pangangailangan para sa mga audit, pag-upgrade ng bersyon, at mga pagsusuring may maraming patong ng depensa. Maaaring magdulot ng matitinding paggalaw sa merkado ang mga kahinaan sa imprastraktura na kahalintulad nito kapag nawalan ng pondo o nagambala ang mga serbisyong sumasaklaw sa buong network; dahil walang ebidensiya rito ng pagsasamantala o pangmatagalang pagkaantala, mas angkop ang neutral na pagtatasa sa merkado.