finishing portion on zero-knowledge proofs