arnaucube
arnaucube/go-circom-prover-verifierPublic Self-hosted repository

Commit history

6ec118d4e27ff26ea52a177b0b05e1e0b983d8cf
E
Merge pull request #10 from iden3/feature/tables2 Add G1/G2 table calculation functionality
Eduard S committed on May 6, 2020
6ec118d
a
Add witness parser from binary file
arnaucube committed on Apr 30, 2020
a314ecc
a
Fix prover benchmark file paths, update readme, and other small updates
arnaucube committed on Apr 29, 2020
700f2a4
a
Merge pull request #7 from iden3/feature/paralelism2 Implement more agressive parallelism
arnau committed on Apr 28, 2020
02fc1ea
a
Merge pull request #6 from iden3/ed255-patch-1-1 Fix setting node version in gh workflow
arnau committed on Apr 28, 2020
296dc53
a
Merge pull request #5 from iden3/feature/refactor-circuits Feature/refactor circuits
arnau committed on Apr 26, 2020
dc4ac0b
a
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
arnaucube committed on Apr 24, 2020
3691785
a
Merge pull request #4 from iden3/fix/verify Fix mutation of inputs in Verify
arnau committed on Apr 23, 2020
569d168
a
Fix verifier inputs field check
arnaucube committed on Apr 22, 2020
bbcbba3
a
Fix verifier mod import path
arnaucube committed on Apr 22, 2020
37e5995
a
Update go mod & usage
arnaucube committed on Apr 21, 2020
6256fcc
a
Merge pull request #3 from iden3/feature/calculateH-mul Use fft on calculateH polynomial multiplication
arnau committed on Apr 21, 2020
e6fe08e
a
Merge pull request #2 from iden3/feature/polynomials-goff Add polynomials arithmetic in goff
arnau committed on Apr 20, 2020
fb3bbed
a
Add CLI
arnaucube committed on Apr 17, 2020
3f5f8e2
a
refactor in sub packages
arnaucube committed on Apr 17, 2020
e1147db
a
Merge pull request #1 from iden3/feature/gh-actions Add Github Actions
arnau committed on Apr 14, 2020
96b4b5b
a
Add benchmarks, Rename repo, update README.md
arnaucube committed on Apr 9, 2020
a439651
a
Add Verifier Groth16 compatible with circom
arnaucube committed on Apr 8, 2020
0e453eb
a
Add Verification Key & Proof parsers from json
arnaucube committed on Apr 8, 2020
2a18bbd
a
Add testdata big&small circuits, update proof parsers, add compile-circuits.sh
arnaucube committed on Apr 6, 2020
7aa69a5
a
Add Proof to string in circom/snarkjs format
arnaucube committed on Apr 6, 2020
c03cb1a
a
Fix use H polynomial
arnaucube committed on Apr 6, 2020
198eeee
a
Update exposed methods, update README.md, add godoc & goreport cards
arnaucube committed on Apr 3, 2020
d5c971e
a
Add README.md
arnaucube committed on Apr 2, 2020
89e71b6
a
Proof generation works, add h pol calculation
arnaucube committed on Apr 2, 2020
001af79
a
Add ifft
arnaucube committed on Apr 1, 2020
f8481a6
a
Add zkSNARK Groth16 prover
arnaucube committed on Mar 29, 2020
a99f451
a
Add Witness parser from json
arnaucube committed on Mar 29, 2020
f942c8c
a
Add ProvingKey parser from json
arnaucube committed on Mar 29, 2020
a9a9e78
a
Add parsers tests
arnaucube committed on Mar 29, 2020
fc9ce30
a
Add array string parser to G1 & G2
arnaucube committed on Mar 29, 2020
828e3ab
a
Add bn256.G2 parser
arnaucube committed on Mar 29, 2020
dfdc65f
a
Add bn256.G1 parser
arnaucube committed on Mar 29, 2020
d0219b3
a
Add polynomial operations
arnaucube committed on Mar 28, 2020
1e12670
a
Add arithmetic mod operations
arnaucube committed on Mar 28, 2020
36fb418
a
Update compile-circuits.sh to adapt null from json, update GH Actions to install snarkjs & circom for testdata generation
arnaucube committed on Apr 11, 2020
8df45c7
a
Create main.yml
arnau committed on Apr 11, 2020
c584fc1
a
Add polynomials arithmetic in goff Polynomials and ifft moved to goff (iden3/go-iden3-crypto/ff) instead of *big.Int. Benchmarks: - Before: BenchmarkArithmetic/polynomialSub-4 2774 441063 ns/op BenchmarkArithmetic/polynomialMul-4 1 1135732757 ns/op BenchmarkArithmetic/polynomialDiv-4 768 1425192 ns/op BenchmarkGenerateProof-4 1 2844488975 ns/op - With this commit: BenchmarkArithmetic/polynomialSubE-4 23097 54152 ns/op BenchmarkArithmetic/polynomialMulE-4 25 44914327 ns/op BenchmarkArithmetic/polynomialDivE-4 8703 132573 ns/op BenchmarkGenerateProof-4 1 1530398526 ns/op
arnaucube committed on Apr 20, 2020
324c817
a
Use fft on calculateH polynomial multiplication For a circuit arround 22500 constraints: - before: the proof was generated aprox in `80 seconds` - now: the proof is generated aprox in `16 seconds`
arnaucube committed on Apr 21, 2020
9b93bad
E
Fix mutation of inputs in Verify
Eduard S committed on Apr 23, 2020
40b280f
a
Refactor circuits, update prover & verifier tests
arnaucube committed on Apr 26, 2020
d3f43ce
a
Update proof sync.WaitGroup scooped variables & Add time prints in cli proof generation
arnaucube committed on Apr 26, 2020
5b77df5
E
Fix setting node version in gh workflow
Eduard S committed on Apr 28, 2020
0977fac
a
Remove inner prints
arnaucube committed on Apr 28, 2020
16054cc
E
Implement more agressive parallelism
Eduard S committed on Apr 28, 2020
8f09322
d
Add G1/G2 table calculation functionality
druiz0992 committed on May 3, 2020
423d5f0