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:
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