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