Commitment Scheme

• 秘匿性(hiding property)

  • 受信者がコミットフェーズ終了時にコミットされた値の影響を知り得ないことを保証
  • 完全秘匿: 完全にわからない
  • 計算量秘匿: 現実的な計算能力ではわからない

• 拘束性(binding property)

  • 送信者が公開フェーズでコミットした値と違う値を公開できないことを保証する
  • 完全拘束: 完全に拘束
  • 計算量拘束: 現実的な計算能力では違う値を公開できない

• 例

  • 一方向性関数によるビットコミットメント:
    • ハッシュ関数とソルトを使えばいい