DIZK: A Distributed Zero Knowledge Proof System.
ZKBoo: Faster Zero-Knowledge for Boolean Circuits