Commitment scheme

A commitment scheme is a two-phase protocol between a committer and a verifier in which the committer binds to a value during the commit phase (without revealing it), and then reveals the value in the open phase. The binding property ensures the committer cannot change the value after committing; the hiding property ensures the verifier learns nothing about the value before opening.

Syntax

A commitment scheme is a tuple of efficient algorithms $COM = (Gen, Com, Open)$ with respect to a message space $M$ , commitment space $C$ , and decommitment space $D$ :

$Gen (1^{λ}) \to pp,$ is a randomized algorithm that outputs public parameters $pp,$
$Com (pp, m; r) \to (c, d),$ is a randomized algorithm that takes a message $m \in M$ and randomness $r$ , and outputs a commitment $c \in C$ and decommitment string $d \in D,$
$Open (pp, c, d) \to m or ⊥,$ is a deterministic algorithm that opens a commitment $c$ using decommitment $d$ , returning the message or $⊥$ on failure.

Properties

Correctness

For all $λ \in N$ and $m \in M$ , $Open (pp, c, d) = m$ with probability 1 over $pp \leftarrow Gen (1^{λ})$ and $(c, d) \leftarrow Com (pp, m)$ .

Hiding

The commitment $c$ reveals no information about $m$ before opening. Computationally:

$Adv_{COM, A}^{hide} (λ) := 2 Pr [G_{COM, A}^{hide} (λ) = 1] - 1$

is negligible, where the game samples $pp \leftarrow Gen (1^{λ})$ , receives $(m_{0}, m_{1})$ from $A$ , picks $b \leftarrow $ {0, 1}$ , computes $(c, d) \leftarrow Com (pp, m_{b})$ , sends $c$ to $A$ , receives $b^{'}$ from $A$ , and outputs $[b^{'} = b]$ .

A commitment is statistically hiding if this holds even against computationally unbounded adversaries.

Binding

No efficient committer can open a commitment to two different messages:

$Adv_{COM, A}^{bind} (λ) := Pr [G_{COM, A}^{bind} (λ) = 1]$

is negligible, where the game samples $pp \leftarrow Gen (1^{λ})$ , receives $(c, d_{0}, d_{1})$ from $A$ , and outputs 1 iff $Open (pp, c, d_{0}) \neq = ⊥$ , $Open (pp, c, d_{1}) \neq = ⊥$ , and $Open (pp, c, d_{0}) \neq = Open (pp, c, d_{1})$ .

A commitment is statistically binding if this holds even against computationally unbounded adversaries.

Note: No commitment scheme is simultaneously statistically hiding and statistically binding — folklore. The achievable regimes are: (1) statistically binding / computationally hiding, (2) computationally binding / statistically hiding, and (3) computationally binding / computationally hiding.

Variations

Trapdoor commitments

A trapdoor commitment (or equivocable commitment) is a commitment scheme with an additional trapdoor $td$ (generated alongside $pp$ ) that allows equivocation: given $td$ , for any commitment $c$ and any two messages $m_{0}, m_{1}$ , one can produce decommitment strings $d_{0}, d_{1}$ with $Open (pp, c, d_{0}) = m_{0}$ and $Open (pp, c, d_{1}) = m_{1}$ . Used in zero-knowledge proof constructions.

Vector commitments

A vector commitment allows committing to an ordered vector $(m_{1}, \dots, m_{n})$ such that one can later open any single position $m_{i}$ with a short proof. Used in verifiable data structures and SNARKs.

Other results

Participates in

Produces Commitment scheme

Cryptology City

Explorer