gnark-workshop Install abigen git clone https://github.com/ethereum/go-ethereum.git cd go-ethereum make devtools Run go run main.go -init to serialize the circuit, its keys and the solidity contract Run go run main.go to verify the proof on-chain