Succinct закрыла баг SP1, пропускавший невалидные доказательства
- —Уязвимость затронула нативную Rust-верификацию в SP1 версий 6.0.0–6.8.0
- —Ончейн-верификация Groth16 и Plonk через Solidity не пострадала
- —Succinct выпустила патч, закрывающий возможность прохождения невалидных доказательств
Почему важно: SP1 используется для ZK-доказательств в роллапах и мостах, и баг в верификаторе мог подорвать доверие к проверкам на его основе.
Источник: The Defiant