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

Commit history

ec6920aa1169af4ee4972d8b0d3ab8ce3e847984
a
Merge pull request #22 from iden3/feature/bugfix Fix binary parser bug, make go.bin format deterministic
arnau committed on May 22, 2020
ec6920a
E
Merge pull request #21 from iden3/feature/rm-unnecessary Remove unnecessary structs & polsC
Eduard S committed on May 22, 2020
94dc934
E
Merge pull request #19 from iden3/fix/pk-parse-benchmarks Fix pk parser benchmarks
Eduard S committed on May 21, 2020
e652f34
E
Merge pull request #18 from iden3/feature/pk-own-format Add own go-circom ProvingKey Bin format
Eduard S committed on May 21, 2020
3867583
E
Merge pull request #16 from iden3/feature/pk-bin Add ProvingKey binary parser
Eduard S committed on May 20, 2020
de95d7a
a
Merge pull request #15 from iden3/feature/proofjson Add JSON Marshal/Unmarshal to Proof
arnau committed on May 15, 2020
bedd64c
E
Merge pull request #11 from iden3/feature/proof-parsers Add proof parsers to string (decimal & hex)
Eduard S committed on May 7, 2020
1aa316c
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
a
Add proof parsers to string (decimal & hex) Also adds ProofToSmartContractFormat, which returns a ProofString as the proof.B elements swap is not a valid point for the bn256.G2 format. Also unexports internal structs and methods of the prover package. Also apply golint.
arnaucube committed on May 6, 2020
0f48cfa
E
Add JSON Marshal/Unmarshal to Proof
Eduard S committed on May 15, 2020
0d4e258
a
Add ProvingKey binary parser The time on the parsing doesn't improve, as the data from the binary file needs to be converted to `affine` representation, and then parsed into the `bn256.G1` & `bn256.G2` formats (Montgomery). But the size of the ProvingKey files in binary is much smaller, so will be better handled by the smarthpones. - Parse time benchmarks: ``` BenchmarkParsePk/Parse_Pk_bin_circuit1k-4 2 563729994 ns/op BenchmarkParsePk/Parse_Pk_json_circuit1k-4 635641 1941 ns/op BenchmarkParsePk/Parse_Pk_bin_circuit5k-4 1 2637941658 ns/op BenchmarkParsePk/Parse_Pk_json_circuit5k-4 1 2986560185 ns/op BenchmarkParsePk/Parse_Pk_bin_circuit10k-4 1 5337639150 ns/op BenchmarkParsePk/Parse_Pk_json_circuit10k-4 1 6149568824 ns/op BenchmarkParsePk/Parse_Pk_bin_circuit20k-4 1 10533654623 ns/op BenchmarkParsePk/Parse_Pk_json_circuit20k-4 1 11657326851 ns/op ``` - Size of ProvingKey file for a circuit of 50k constraints: ``` circuit 20k constraints: 10097812 bytes of proving_key.bin 29760049 bytes of proving_key.json circuit 50k constraints: 24194964 bytes of proving_key.bin 71484081 bytes of proving_key.json ```
arnaucube committed on May 13, 2020
5c2aaec
a
Add cli to convert Pk to go-circom binary file
arnaucube committed on May 20, 2020
2b8a15c
a
Add own go-circom ProvingKey Bin format Add parsers from bin to pk and from pk to bin. ``` BenchmarkParsePk/ParsePkJson_circuit1k-4 595215 1954 ns/op BenchmarkParsePk/ParsePkBin_circuit1k-4 2 522174688 ns/op BenchmarkParsePk/ParsePkGoBin_circuit1k-4 623182 1901 ns/op BenchmarkParsePk/ParsePkJson_circuit5k-4 1 2861959141 ns/op BenchmarkParsePk/ParsePkBin_circuit5k-4 1 2610638932 ns/op BenchmarkParsePk/ParsePkGoBin_circuit5k-4 612906 1907 ns/op BenchmarkParsePk/ParsePkJson_circuit10k-4 1 5793696755 ns/op BenchmarkParsePk/ParsePkBin_circuit10k-4 1 5204251056 ns/op BenchmarkParsePk/ParsePkGoBin_circuit10k-4 603478 1913 ns/op BenchmarkParsePk/ParsePkJson_circuit20k-4 1 11404022165 ns/op BenchmarkParsePk/ParsePkBin_circuit20k-4 1 10392012613 ns/op BenchmarkParsePk/ParsePkGoBin_circuit20k-4 620488 1921 ns/op ``` For the `10k` constraints circuit is arround `1_368_976x` improvement. For the `20k` constraints circuit is arround `5_409_689x` improvement.
arnaucube committed on May 20, 2020
d1b3979
a
Fix pk parser benchmarks Parsers were working correctly, but the benchmarks had errors. The benchmarks in the commit d1b3979eb663e1d6b2db672bca154c1a839b9cef are incorrect, correct ones are: ``` BenchmarkParsePk/ParsePkJson_circuit1k-4 2 529437960 ns/op BenchmarkParsePk/ParsePkBin_circuit1k-4 2 607792597 ns/op BenchmarkParsePk/ParsePkGoBin_circuit1k-4 2 540594611 ns/op BenchmarkParsePk/ParsePkJson_circuit5k-4 1 2769819086 ns/op BenchmarkParsePk/ParsePkBin_circuit5k-4 1 3094913319 ns/op BenchmarkParsePk/ParsePkGoBin_circuit5k-4 1 2404651389 ns/op BenchmarkParsePk/ParsePkJson_circuit10k-4 1 5374917709 ns/op BenchmarkParsePk/ParsePkBin_circuit10k-4 1 5756633515 ns/op BenchmarkParsePk/ParsePkGoBin_circuit10k-4 1 4782081310 ns/op BenchmarkParsePk/ParsePkJson_circuit20k-4 1 10374987398 ns/op BenchmarkParsePk/ParsePkBin_circuit20k-4 1 11528361584 ns/op BenchmarkParsePk/ParsePkGoBin_circuit20k-4 1 9541829245 ns/op BenchmarkParsePk/ParsePkJson_circuit50k-4 1 25979727146 ns/op BenchmarkParsePk/ParsePkBin_circuit50k-4 1 28434810627 ns/op BenchmarkParsePk/ParsePkGoBin_circuit50k-4 1 23860248412 ns/op ``` The size of ProvingKey file for a circuit of 20k and 50k constraints: ``` circuit 20k constraints: 10097876 bytes of proving_key.go.bin 10097876 bytes of proving_key.bin 29760049 bytes of proving_key.json circuit 50k constraints: 24195028 bytes of proving_key.go.bin 24194964 bytes of proving_key.bin 71484081 bytes of proving_key.json ```
arnaucube committed on May 21, 2020
42961f6
a
Remove unnecessary structs & polsC
arnaucube committed on May 22, 2020
9f25871
E
Fix binary parser bug, make go.bin format deterministic
Eduard S committed on May 22, 2020
6e31deb