Notes Notes 要点

• Flaws arise from unbound claim data in Fiat-Shamir transcripts, making challenges independent of values like claimed_sum.
• Attackers can solve linear equations to adjust unbound values, passing verification for invalid executions.
• Affected systems: Jolt, Nexus, Cairo-M, Ceno, Expander, Binius64.
• In blockchain, this could create assets out of thin air.
• Fix requires absorbing all verification-affecting values into transcript before challenge generation.
• Jolt fixed via PR #981 on Oct 3, 2025; status of others unclear.

• 漏洞源于Fiat-Shamir转录中未绑定声明数据，如claimed_sum和opening_claim，导致挑战独立于这些值。
• 攻击者可通过线性方程求解调整未绑定值，使验证通过，即使执行无效。
• 受影响系统包括Jolt、Nexus、Cairo-M、Ceno、Expander和Binius64。
• 在区块链场景中，此漏洞可能导致凭空创造资产。
• 修复需确保影响验证的值在挑战生成前被吸收到转录中。
• Jolt已于2025年10月3日修复，其他系统状态未明确。

• Fiat-Shamirトランスクリプトにおけるバウンドされていないクレームデータが問題を引き起こし、チャレンジがclaimed_sumのような値から独立してしまう。
• 攻撃者は線形方程式を解いて未拘束な値を調整し、無効な実行に対する検証をパスすることができる。
• 影響を受けるシステム: Jolt, Nexus, Cairo-M, Ceno, Expander, Binius64。
• ブロックチェーン上では、これによりゼロから資産が創出される可能性がある。
• 修正には、チャレンジ生成前に検証に影響を与えるすべての値をトランスクリプトに吸収させる必要がある。
• Joltは2025年10月3日のPR #981で修正済み。他のシステムの状況は不明。