arnaucube/gnark-plonky2-verifier
1
0
Fork 0
mirror of https://github.com/arnaucube/gnark-plonky2-verifier.git synced 2026-03-06 13:46:34 +01:00
Code Issues Projects Releases Packages Wiki Activity
No description
203 commits 2 branches 0 tags 3.8 MiB
  • Go 100%
Find a file
Exact
arnaucube 853a273aa9 add observer for FriConfig & FriParams in verifier circuit, to match the updated version of plonky2 at PR#1678 (https://github.com/0xPolygonZero/plonky2/pull/1678)
2025-08-15 16:06:08 +00:00
audits feat: add veridise audit (#50) 2024-02-15 16:07:24 -08:00
challenger add observer for FriConfig & FriParams in verifier circuit, to match the updated version of plonky2 at PR#1678 (https://github.com/0xPolygonZero/plonky2/pull/1678) 2025-08-15 16:06:08 +00:00
fri fix: Support range checking non aligned bitwidth values (#47) 2024-01-04 13:56:13 -08:00
goldilocks update goldilocks generators to the plonky2's updated ones at plonky2's PR#1579 (https://github.com/0xPolygonZero/plonky2/pull/1579) 2025-08-15 15:13:03 +00:00
plonk fix: Support range checking non aligned bitwidth values (#47) 2024-01-04 13:56:13 -08:00
poseidon fix: Support range checking non aligned bitwidth values (#47) 2024-01-04 13:56:13 -08:00
testdata Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) 2023-10-11 18:02:46 -07:00
trusted_setup feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) 2024-02-15 15:54:41 -08:00
types add observer for FriConfig & FriParams in verifier circuit, to match the updated version of plonky2 at PR#1678 (https://github.com/0xPolygonZero/plonky2/pull/1678) 2025-08-15 16:06:08 +00:00
variables fix for V-SCT-VUL-016 2023-12-18 18:02:01 -08:00
verifier add observer for FriConfig & FriParams in verifier circuit, to match the updated version of plonky2 at PR#1678 (https://github.com/0xPolygonZero/plonky2/pull/1678) 2025-08-15 16:06:08 +00:00
.gitignore feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) 2024-02-15 15:54:41 -08:00
benchmark.go feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) 2024-02-15 15:54:41 -08:00
go.mod feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) 2024-02-15 15:54:41 -08:00
go.sum feat: Add trusted setup via AZTEC Ignition Ceremony data (#48) 2024-02-15 15:54:41 -08:00
LICENSE update readme and MIT 2023-03-28 11:12:07 -07:00
README.md fix for V-SCT-VUL-027 2023-12-19 12:22:19 -08:00

README.md

Gnark Plonky2 Verifier

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:

Requirements

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