An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract. - View it on GitHub