Zero-Knowledge Proof Implementations