single-instruction Groth16 proof

単一命令Groth16証明

オプティミスティックロールアップの不正証明において、MIPSなどの仮想マシンの単一の命令実行ステップのみを対象として生成されるGroth16形式のゼロ知識証明。これにより、オンチェーンでの検証コストを大幅に削減できる。

関連用語

• Groth16
• ZK-SNARK
• optimistic rollup
• fraud proof

元の表記（英語）

(なし)