A zero-knowledge proof is a way of proving the validity of a statement without revealing the statement itself. The ‘prover’ is the party trying to prove a claim, while the ‘verifier’ is responsible for validating the claim.
Broadly speaking, ZK proofs have two common use-cases: privacy and compression.
Resources
- https://ethereum.org/zero-knowledge-proofs
- https://zkhack.dev/whiteboard/module-one/
- https://a16zcrypto.com/posts/article/decentralized-speed-advances-in-zero-knowledge-proofs/
- https://a16zcrypto.com/posts/article/zero-knowledge-canon/
- https://a16z.com/security-and-privacy-for-crypto-with-zero-knowledge-proofs/
- https://vitalik.eth.limo/general/2017/02/01/zk_snarks.html
- https://ethproofs.org/learn
- https://www.mikkoikola.com/blog/2023/1/9/exploring-ethereum-scalability-what-are-zero-knowledge-proofs-and-zkevm
- https://www.mikkoikola.com/blog/2023/12/11/new-paradigm-in-ethereum-l2-scaling-multi-proving-and-zk-vms