Mac'n'Cheese: Zero-Knowledge Proofs for Boolean and Arithmetic Circuits with Nested Disjunctions.

Carsten Baum, Alex J. Malozemoff, Marc B. Rosen, Peter Scholl

Browse the full CRYPTO paper archive.