arnaucube
/
gnark-plonky2-verifier
mirror of https://github.com/arnaucube/gnark-plonky2-verifier.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
183 Commits
2 Branches
0 Tags
3.8 MiB
 
Tree: 40d71e9e29
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '40d71e9e29'
${ noResults }
Kevin Jue 40d71e9e29 fix for V-SCT-VUL-025 1 year ago
challenger fix for V-SCT-VUL-024 1 year ago
fri fix for V-SCT-VUL-022 1 year ago
goldilocks fix for V-SCT-VUL-016 1 year ago
plonk fix for V-SCT-VUL-023 1 year ago
poseidon fix for V-SCT-VUL-025 1 year ago
testdata Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) 2 years ago
types fix for V-SCT-VUL-016 1 year ago
variables fix for V-SCT-VUL-016 1 year ago
verifier fix for V-SCT-VUL-020 1 year ago
.gitignore feat: Plonk optimizations (#39) 2 years ago
LICENSE update readme and MIT 2 years ago
README.md feat: Plonk optimizations (#39) 2 years ago
benchmark.go feat: Plonk optimizations (#39) 2 years ago
go.mod Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) 2 years ago
go.sum Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) 2 years ago

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