Homomorphic encryption could be seen as one method of implementing a zero knowledge proof. Traditionally, zero knowledge proofs are implemented with more statis

Homomorphic encryption could be seen as one method of implementing a zero knowledge proof. Traditionally, zero knowledge proofs are implemented with more statistical methods however. As an aside, having the verifier choose the desired confidence interval is a rather nice property of interactive zero knowledge proofs.