This is an implementation of a Plonky2 verifier in Gnark (supports Groth16 and PLONK).

Besides the verifier, there are some Gnark implementation of circuits in this repo that may be useful for other projects:

• Goldilocks
• Poseidon
• FRI

• Go (1.19+)

To run the benchmark,

go run benchmark.go

First run the benchmark with profiling turned on

go run benchmark.go -profile

Then use the following command to generate a visualization of the pprof

go tool pprof --png gnark.pprof > verifier.png