Garbled circuit
A garbling scheme encodes a boolean circuit into a garbled circuit together with per-wire input labels, so that a party given the labels for an input can evaluate it to learn and nothing further about or the intermediate wire values.
TODO: syntax and security definition.
Participates in
Builds on Garbled circuit