mirror of
https://github.com/logos-storage/gnark-plonky2-verifier.git
synced 2026-01-02 13:13:06 +00:00
31 lines
922 B
Markdown
31 lines
922 B
Markdown
# 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
|
|
``` |