- 秘匿性(hiding property) - 受信者がコミットフェーズ終了時にコミットされた値の影響を知り得ないことを保証 - 完全秘匿: 完全にわからない - 計算量秘匿: 現実的な計算能力ではわからない - 拘束性(binding property) - 送信者が公開フェーズでコミットした値と違う値を公開できないことを保証する - 完全拘束: 完全に拘束 - 計算量拘束: 現実的な計算能力では違う値を公開できない - 例 - 一方向性関数による[[ビットコミットメント]]: - ハッシュ関数とソルトを使えばいい