An awesome, curated list of (zk) proof verifiers implemented for the EVM
In blockchain applications using (zero-knowledge) proof systems, proofs are stored and verified on-chain via smart contracts. This design makes the verifier vital. In deploying zero-knowledge proofs on blockchains, the verifier's correct implementation is crucial for the security of the proof system. An incorrect verifier (e.g., incorrect Fiat-Shamir transformation, omitted checks or other cryptographic vulnerabilities) jeopardizes the application, risking user funds.
This repository aims to catalog up-to-date verifiers for major, popular proof systems on the Ethereum Virtual Machine (EVM). This aids practitioners, researchers, and security experts in understanding deployed proof systems and evaluating EVM's proof verification capabilities.
For contributions guideline, see the Contributing.md file.
Inspired by Matter Lab's Awesome zero-knowledge proofs repository.
- KZG
- Merkle trees, Alternative implementation, with multiproofs
- Merkle-Patricia trie
- FRI polynomial commitment scheme