1# gnark-plonky2-verifier
 2
 3This is an in-progress implementation of a [Plonky2](https://github.com/mir-protocol/plonky2) verifier in Gnark. It currently is able to verify some dummy circuits, but not much more as many of the custom gates used in Plonky2 are currently not implemented.
 4
 5Besides the verifier, there are some Gnark implementation of circuits in this repo that may be useful for other projects:
 6
 7- [Goldilocks](https://github.com/succinctlabs/gnark-plonky2-verifier/blob/main/field/field.go)
 8- [Poseidon](https://github.com/succinctlabs/gnark-plonky2-verifier/blob/main/poseidon/poseidon.go)
 9- [FRI](https://github.com/succinctlabs/gnark-plonky2-verifier/blob/main/plonky2_verifier/fri.go)
10
11## Requirements
12
13- [Go (1.20.1+)](https://go.dev/doc/install)
14
15## Benchmark
16
17To run the benchmark,
18```
19go run benchmark.go
20```
21
22Here are relevant numbers from a benchmark ran on an M1 Max with 10 CPU cores.
23
24```
2511:04:08 INF compiling circuit
2611:04:08 INF parsed circuit inputs nbPublic=0 nbSecret=0
2711:12:30 INF building constraint system nbConstraints=6740784
28Generating witness 2023-03-28 11:12:42.702566 -0700 PDT m=+514.333410376
29Running circuit setup 2023-03-28 11:12:42.702666 -0700 PDT m=+514.333509834
30Creating proof 2023-03-28 11:18:58.881518 -0700 PDT m=+890.519971543
3111:18:59 DBG constraint system solver done backend=groth16 nbConstraints=6740784 took=675.361625
3211:19:10 DBG prover done backend=groth16 curve=bn254 nbConstraints=6740784 took=10512.664584
33Verifying proof 2023-03-28 11:19:10.169636 -0700 PDT m=+901.808314709
3411:19:10 DBG verifier done backend=groth16 curve=bn254 took=6.288792
35bn254 2023-03-28 11:19:10.175992 -0700 PDT m=+901.814670834
36```
37
38The circuit can be significantly optimized by using more efficient arithmetic for Goldilocks, among other things.