ZKBoo: Faster Zero-Knowledge for Boolean Circuits
completeness theorems for non - cryptographic fault - tolerant distributed computation ( extended abstract ) .