1
$\begingroup$

I was curious which of Groth16, Halo2, Bulletproofs, etc have statistical vs computational zero knowledge guarantees. This would inform post-quantum zero knowledge as well, since I imagine that past statistical zero knowledge systems will not be de-anonymized, but past computational zk may. (Note that I am not concerned about soundness.)

$\endgroup$

1 Answer 1

1
$\begingroup$

As far as I know, all of the above, and essentially all ZK-SNARKs, have statistical zero-knowledge. More precisely, Groth16 can be instantiated in two modes, providing either statistical zero-knowledge or statistical soundness - ZK-SNARKs typically cannot provide statistical soundness, but statistical zero-knowledge is usually easy to achieve. Indeed, statistical zero-knowledge is in particular quantum-proof.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.