arnaucube
/
go-circom-prover-verifier
mirror of https://github.com/arnaucube/go-circom-prover-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.
58 Commits
16 Branches
2 Tags
4.4 MiB
Branch: feature/missingPolsC
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'feature/missingPolsC'
${ noResults }
go-circom-prover-verifier/.gitignore

9 lines
157 B
Raw Permalink Normal View History

Add testdata big&small circuits, update proof parsers, add compile-circuits.sh
4 years ago
​
​
​
​
Add paralelization of polynomials in GenerateProof - before: BenchmarkGenerateProof-4 1 1553842743 ns/op For a circuit of 9094 constraints takes 7.761949512s seconds to generate the proof. - now: BenchmarkGenerateProof-4 1 1331576862 ns/op For a circuit of 9094 constraints takes 5.745279126s to generate the proof. For bigger circuits (more constraints) the difference will be bigger. Executed on a Intel(R) Core(TM) i5-7200U CPU @ 2.50GHz, with 16GB of RAM
4 years ago
Add witness parser from binary file
4 years ago
Refactor circuits, update prover & verifier tests
4 years ago
Add CLI
4 years ago
  1. testdata/*/*.json
  2. testdata/*/*.wasm
  3. testdata/*/*.cpp
  4. testdata/*/*.sym
  5. testdata/*/*.r1cs
  6. testdata/*/*.sol
  7. testdata/*/*.bin
  8. !testdata/*/inputs.json
  9. cli/*.json