Succinct SP1が高い深刻度の脆弱性を発見、メインネットが無効な証明を受け入れる可能性

Succinctのゼロ知識証明システムSP1に高い深刻度の信頼性の脆弱性が明らかになりました。この脆弱性は10月11日にGitHubで発表されたGHSA-p7v2-jjv3-8p8fを通じて公開され、SP1のネイティブRustバリデーターのバージョン6.0.0から6.8.0に影響を及ぼし、メインネットのProver Networkが無効な証明を受け入れる可能性があります。悪意のある証明者は無効な実行の証明を提出でき、ネットワークのバリデーターはそれを受け入れてしまいます。この脆弱性の原因は、バリデーターがデータのラベルのみを読み取り、実際に保存されている要素の数が次元の積と等しいかどうかを検証しないためであり、攻撃者は無効な証明を通過させるためにラベルを偽造することができます。固定形状のwrap証明を使用するGroth16およびPlonkのチェックは影響を受けず、チェーン上のSolidityチェックも安全です。Succinctは9月24日に修正バージョン6.8.1をリリースし、メインネットに展開しました。このバージョンでは逆シリアル化の長さチェックが追加されています。この脆弱性はVitalis Salisによって発見され、Immunefiのバグバウンティプログラムに報告されました。ネイティブRustバリデーターを自分で実行し、信頼できない証明者を受け入れるユーザーは6.8.1にアップグレードする必要があります。

本コンテンツは、一般的な情報提供のみを目的としたものであり、金融、投資、法律、または税務に関する助言を構成するものではありません。ここに記載されているイベント、報酬、オンラインキャンペーン、またはそれらに関連する情報は、暗号資産の購入、売却、取引、その他いかなる取引の推奨、勧誘、または招待とみなされるべきではありません。暗号資産は価格変動が非常に大きく、損失が発生する可能性があります。WEEXのサービス、プロダクト、および関連イベントの提供状況は、地域によって異なる場合があります。お客様は、ご自身の参加が適用される現地の法令を遵守していることを自ら確認する責任を負うものとします。