Install Solidity
brew install solidity
Install Go:
brew install golang
Install abigen:
go install github.com/ethereum/go-ethereum/cmd/abigen@latest
-
Look at
circuit/circuit.go
, this is the circuit definition -
Generate gnark internal representation of the circuit:
go run main.go generate
-
View the solidity smart contract
RSA.G16.sol
(other files with same prefix are proving key, veriyfing key and compiled arithmetisation) -
Generate ABI and bytecode:
make all
-
Run the test:
go run main.go test
You can have a look at main.go
on how to compile, deploy and run.