Verification Invariant

検証不変条件 (Verification Invariant)

プロトコルにおける検証プロセスの最小限かつ本質的な手順を定義する条件。OCPにおいては「再計算 → 比較 → 包含の確認」という3つのステップで、コミットされたダイジェストが公開台帳の状態と一致することを独立して確認する。

関連用語

• Observation Commitment Protocol

元の表記（英語）

(なし)