Commit Graph

61 Commits

Author SHA1 Message Date
Jordi Baylina
b24cbbe0d2
Log zkey verification big circuits 2020-10-25 17:52:02 +01:00
Jordi Baylina
19951ea443
Fix Big Prove 2020-10-25 12:22:07 +01:00
Jordi Baylina
467e30f727
Fix big proof 2020-10-25 11:12:57 +01:00
Jordi Baylina
fefe0f4220
deps 2020-10-25 10:26:07 +01:00
Jordi Baylina
7e4cae9c25
QAP single thread 2020-10-23 11:34:00 +02:00
Jordi Baylina
fbc554af0f
deps 2020-10-23 08:02:04 +02:00
Jordi Baylina
0c7d19ace2
Fix generate big proof 2020-10-23 07:59:28 +02:00
Jordi Baylina
266680c625
Fix Big Proof 2020-10-22 18:14:02 +02:00
Jordi Baylina
60188c0b21
Fix big proof generation 2020-10-22 17:03:25 +02:00
Jordi Baylina
5f0158dbed
Fix big proof generation 2020-10-22 16:39:51 +02:00
Jordi Baylina
ca6b8f3eea
Fix big proof generation 2020-10-22 16:36:06 +02:00
Jordi Baylina
e1a50fcd08
Fix big proof generation 2020-10-22 16:33:42 +02:00
Jordi Baylina
31631db4d6
Fix proof generation big proofs 2020-10-22 16:31:05 +02:00
Jordi Baylina
da18523812
Inc cache reading proof generation 2020-10-22 14:58:12 +02:00
Jordi Baylina
b09d30fe0c
deps 2020-10-22 14:52:18 +02:00
Jordi Baylina
b08e811011
deps 2020-10-22 11:40:20 +02:00
Jordi Baylina
ada52e73b9
deps 2020-10-21 12:42:48 +02:00
Jordi Baylina
322668142a
deps 2020-10-21 11:35:18 +02:00
Jordi Baylina
f746a103d4
Fix maximum size in zkNew 2020-10-21 10:22:07 +02:00
Jordi Baylina
19edf8d9c6
optimize zknew 2020-10-20 19:24:45 +02:00
Jordi Baylina
ec9fbfe713
split zkne infunctions and log Hs 2020-10-12 12:18:45 +02:00
Jordi Baylina
4e03641027
Optimize reads from R1cs 2020-10-11 12:42:04 +02:00
Jordi Baylina
8d3d179bd1
improve zkey new speed 2020-10-11 10:32:31 +02:00
Jordi Baylina
1abf7b6ed3
Increase buffer in read 2020-10-10 07:42:14 +02:00
Jordi Baylina
0029b2f1a7
deps 2020-10-09 06:29:55 +02:00
Jordi Baylina
1bbb46a322
deps 2020-10-09 06:19:20 +02:00
Jordi Baylina
9a1509d849
Fix r1cs json export 2020-10-08 16:06:48 +02:00
Jordi Baylina
eebe654cdf
fix Print r1cs with deps 2020-10-08 11:54:00 +02:00
Jordi Baylina
86ee180a81
deps 2020-10-08 11:43:05 +02:00
Jordi Baylina
661f4a4b6e
Fix bls12-381 2020-09-25 07:38:22 +02:00
Jordi Baylina
40f0822a36
Fix PageSize on write 2020-09-15 06:13:56 +02:00
Jordi Baylina
def098be63
Truncate file from p=1 2020-09-14 13:11:51 +02:00
Jordi Baylina
8da74e8e3a
Fix trucate 2020-09-14 12:52:20 +02:00
Jordi Baylina
f79b8cf1f9
fix fftExp totalBits 2020-09-13 10:42:48 +02:00
Jordi Baylina
c2d5e439d1
deps 2020-09-10 15:02:19 +02:00
Jordi Baylina
c75690a2a5
Fix toJacobian 2020-09-09 09:03:41 +02:00
Jordi Baylina
8bc1df6e01
Parallelize lagrange evaluations 2020-09-07 18:24:09 +02:00
Jordi Baylina
ede3c2d702
Works with biggest power of the curve 2020-09-07 12:43:50 +02:00
Jordi Baylina
2ddfb6391c
Fix last point FFT times2 2020-09-03 11:28:42 +02:00
Jordi Baylina
1fafad70ee
Add lagrange op power plus one 2020-09-02 12:06:20 +02:00
Jordi Baylina
957ecc0006
Better info for signal not assigned 2020-08-31 11:33:56 +02:00
Jordi Baylina
97ac985a1b
Big ptau verification 2020-08-29 14:12:24 +02:00
Jordi Baylina
1edce883b7
assert working 2020-08-24 09:32:47 +02:00
Jordi Baylina
0199e57619
Fix concurrency in proof calculation 2020-08-21 19:55:54 +02:00
Jordi Baylina
11a7010050
build 2020-08-21 18:29:55 +02:00
Jordi Baylina
4567d1e316
deps 2020-08-20 23:42:25 +02:00
Jordi Baylina
aeef63c3bf
import pot with -nopoints 2020-08-20 10:44:00 +02:00
Jordi Baylina
5debda138e
bigFile 2020-08-19 20:12:03 +02:00
Jordi Baylina
b67fb6659b
increase mem 2020-08-18 20:09:46 +02:00
Jordi Baylina
7d7c98f93b
Fix proof calculation with L empty 2020-08-13 00:44:40 +02:00