proof-carrying computation

証明付き計算 (Proof-Carrying Computation)

計算結果にその正当性を保証する暗号学的証明を付与する計算パラダイム。これにより、結果の検証者は計算を再実行することなく、その正確性を信頼できます。

関連用語

• zero-knowledge proof
• verifiable computation
• rollup

この用語を使っている記事

(なし)

元の表記（英語）

• PCC