SuccinctのSP1の脆弱性を修正し、ネイティブRustの検証に関与しています。

ゼロ知識証明インフラストラクチャ Succinct は、SP1 におけるセキュリティの脆弱性を修正しました。この脆弱性は、無効な証明が有効と判断される可能性があります。The Defiant の報道によれば、欠陥は 6.0 から 6.8.0 バージョンのネイティブ Rust 検証パスに存在し、Solidity 検証器を介して実行されるオンチェーン Groth16 および Plonk 検証には影響しません。