# Gnark Plonky2 Verifier

This is a fork of [succinctlabs](https://github.com/succinctlabs/gnark-plonky2-verifier) implementation of [Plonky2](https://github.com/0xPolygonZero/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](https://github.com/0xPolygonZero/plonky2/pull/1579)
- Include the FRI config and params in the challenger, see this [PR](https://github.com/0xPolygonZero/plonky2/pull/1678)
- Replace the testdata with Plonky2 v1.0.2 output.

## Requirements

- [Go (1.19+)](https://go.dev/doc/install)

## 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
```