bee zero knowledge proofs boilerplate
forked from https://github.com/ConsenSys/gnark-tests
- Write, debug and compile
gnark
circuits using Go tooling - Write, debug and compile solidity using
Hardhat
- Output gnark circuit to solidity
Circuits are compiled inside build directory, where a solidity artifact is created.
There are two examples from gnark library, the default cubic equation circuit and a MiMC circuit called age18orOlder
. Additional helper functions are EdDSA signatures
, Merkle proofs
and zk-SNARK verifier
Solidity contracts
Solidity tests
Compiles build/contract/main.go
, outputs a proof and verifier. Builds a Solidity contract verifier ready to use.
- @molekilla
MIT