COM ⇒ Coin flipping (Blum)
Statement
A commitment scheme hiding for adversarial public parameters yields a coin-flipping protocol secure with abort: samples and sends it, commits to a uniform bit , replies with a uniform bit , opens , and both output , with outputting if the opening fails — Blu81, who instantiated the commitment from quadratic residuosity modulo Blum integers.
Sketch
Against a corrupt , hiding for the that chose makes independent of , so is uniform. Against a corrupt , binding for the honestly sampled fixes before is chosen, so the opened value is or the opening fails, and is uniform unless outputs .
Notes
- learns the outcome first and may abort, so the protocol is not fair; no protocol is (fair coin flipping) — Cle86. Running such flips in sequence and outputting their majority, with the honest party replacing the flips left after an abort by its own coins, gives bias from one-way functions — Cle86.
- Conversely, coin flipping with bias at most a constant implies one-way functions (constant-bias coin flipping ⇒ OWF) — HO11 for bias about , BHT14 for every constant .
- With a commitment that is hiding and binding only for honestly sampled , neither party can be trusted to sample it: an equivocable chosen by (Pedersen with known ) lets fix the output, and a chosen by may let read ; a commitment binding for every works with sampling it instead — standard.