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

Commit history

bbcbba31134ea7cfec0a5c08acf0c0cbe1037ef2
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