Gnark Plonky2 Verifier

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

Changes:

• Apply Goldilocks changes (update 2-adic generator) in version 1.0.2 of plonky2, see this PR
• Include the FRI config and params in the challenger, see this PR
• Replace the testdata with Plonky2 v1.0.2 output.

Requirements

• Go (1.19+)

Benchmark

To run the benchmark,

go run benchmark.go

Profiling

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