arnaucube
|
37e5995f80
|
Fix verifier mod import path
|
4 years ago |
arnaucube
|
6256fcc9db
|
Update go mod & usage
|
4 years ago |
arnau
|
e6fe08e699
|
Merge pull request #3 from iden3/feature/calculateH-mul
Use fft on calculateH polynomial multiplication
|
4 years ago |
arnaucube
|
9b93bad028
|
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`
|
4 years ago |
arnau
|
fb3bbedde5
|
Merge pull request #2 from iden3/feature/polynomials-goff
Add polynomials arithmetic in goff
|
4 years ago |
arnaucube
|
324c817d42
|
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
|
4 years ago |
arnaucube
|
3f5f8e2318
|
Add CLI
|
4 years ago |
arnaucube
|
e1147db72f
|
refactor in sub packages
|
4 years ago |
arnau
|
96b4b5b308
|
Merge pull request #1 from iden3/feature/gh-actions
Add Github Actions
|
4 years ago |
arnaucube
|
8df45c7a91
|
Update compile-circuits.sh to adapt null from json, update GH Actions to install snarkjs & circom for testdata generation
|
4 years ago |
arnau
|
c584fc1288
|
Create main.yml
|
4 years ago |
arnaucube
|
a439651faf
|
Add benchmarks, Rename repo, update README.md
|
4 years ago |
arnaucube
|
0e453eb1ff
|
Add Verifier Groth16 compatible with circom
|
4 years ago |
arnaucube
|
2a18bbd5fe
|
Add Verification Key & Proof parsers from json
|
4 years ago |
arnaucube
|
7aa69a5b2c
|
Add testdata big&small circuits, update proof parsers, add compile-circuits.sh
|
4 years ago |
arnaucube
|
c03cb1af00
|
Add Proof to string in circom/snarkjs format
|
4 years ago |
arnaucube
|
198eeee493
|
Fix use H polynomial
|
4 years ago |
arnaucube
|
d5c971e59a
|
Update exposed methods, update README.md, add godoc & goreport cards
|
4 years ago |
arnaucube
|
89e71b617a
|
Add README.md
|
4 years ago |
arnaucube
|
001af791cc
|
Proof generation works, add h pol calculation
|
4 years ago |
arnaucube
|
f8481a66aa
|
Add ifft
|
4 years ago |
arnaucube
|
a99f4510da
|
Add zkSNARK Groth16 prover
|
4 years ago |
arnaucube
|
f942c8c157
|
Add Witness parser from json
|
4 years ago |
arnaucube
|
a9a9e78b6e
|
Add ProvingKey parser from json
|
4 years ago |
arnaucube
|
fc9ce307f8
|
Add parsers tests
|
4 years ago |
arnaucube
|
828e3abd61
|
Add array string parser to G1 & G2
|
4 years ago |
arnaucube
|
dfdc65fca9
|
Add bn256.G2 parser
|
4 years ago |
arnaucube
|
d0219b3a33
|
Add bn256.G1 parser
|
4 years ago |
arnaucube
|
1e1267092b
|
Add polynomial operations
|
4 years ago |
arnaucube
|
36fb41886a
|
Add arithmetic mod operations
|
4 years ago |