gnark-solidity-checker generate
is a helper to compile gnark solidity verification circuits using solc
,
generate go bindings using abigen
and submit a proof running on geth simulated backend using gnark-solidity-checker verify
.
brew install solidity
or
sudo add-apt-repository ppa:ethereum/ethereum
sudo apt-get update
sudo apt-get install solc
brew install golang
go install github.com/ethereum/go-ethereum/cmd/[email protected]