Succinct、Rust検証器で無効な証明を通過させるSP1のバグを修正

TREE NEWS 情報： Succinctは、ゼロ知識証明システム「SP1」に存在した脆弱性を修正したと発表した。この脆弱性は、ネイティブRustバージョン6.0.0から6.8.0において、無効な証明が検証を通過する可能性があった。同社によると、Solidity検証器を介したオンチェーンのGroth16およびPlonk検証は影響を受けていない。今回の修正は、影響を受けたRustリリースにおける欠陥に対処するものだ。