Practical protocols for specific functionalities or classes of functionalities.


Category contains 1 papers:

[JKO13] Marek Jawurek and Florian Kerschbaum and Claudio Orlandi. Zero-knowledge using garbled circuits: how to prove non-algebraic statements efficiently. ACM CCS 2013 [pdf] [bibtex]

Summary: Gives a practical protocol for ZK proofs, based on garbled circuits »