Bart200c / gnark-tests

gnark-tests

This repo contains tests (interop or integration) that may drag some extra dependencies, for the following projects:

• gnark: a framework to execute (and verify) algorithms in zero-knowledge
• gnark-crypto

Solidity verifier (groth16 and plonk)

install geth tools

sudo add-apt-repository -y ppa:ethereum/ethereum
sudo apt-get update
sudo apt-get install ethereum solc

make

Note that since the verifying key of the contract is included in the solidity/contract.sol, changes to gnark version or circuit should result in running go generate to regenerate keys and solidity contracts.

It needs solc and abigen (1.10.17-stable).