ZKBoo: Faster Zero-Knowledge for Boolean Circuits
How to Prove Yourself: Practical Solutions to Identification and Signature Problems