Zero-knowledge using garbled circuits: how to prove non-algebraic statements efficiently.

Marek Jawurek, Florian Kerschbaum, Claudio Orlandi

Browse the full CCS paper archive.