ZKBoo: Faster Zero-Knowledge for Boolean Circuits
how to play any mental game or a completeness theorem for protocols with honest majority .