Commit Graph

9995 Commits

Author SHA1 Message Date
jl777
21d62dce12 test 2016-12-15 00:15:24 +02:00
jl777
d936b97fc9 test 2016-12-14 08:08:30 +02:00
Jack Grigg
4082dcb10f Extend createjoinsplit to benchmark parallel JoinSplits
Closes #1940
2016-12-14 15:28:00 +13:00
jl777
fa1a55cd45 test 2016-12-13 21:05:05 +02:00
zkbot
152c0ebf21 Auto merge of #1938 - ebfull:g2-subgroup-check, r=str4d
Additional well-formedness check for G2 elements

libsnark currently checks that G<sub>1</sub> and G<sub>2</sub> elements are well-formed by ensuring that they satisfy their respective curve equations, and although this is enough for G<sub>1</sub> (which is instantiated as an order r curve E/F<sub>p</sub>: y^2 = x^3 + b), G<sub>2</sub> is the order r *subgroup* of the composite order r(2q-r) curve E'/Fp<sup>2</sup>: y^2 = x^3 + b/e constructed via a sextic twisting isomorphism. This means we need to ensure these points are order r as well.

None of the proofs on the Zcash blockchain violate this check, and it may not even be possible for them to violate this check (bilinearity is not preserved). Let's be cautious and do it anyway.
2016-12-13 11:26:23 +00:00
jl777
60cd57df7f test 2016-12-13 13:22:59 +02:00
jl777
865bd97214 test 2016-12-13 13:19:41 +02:00
jl777
772c13de09 test 2016-12-13 13:14:18 +02:00
jl777
716aa1d5ed test 2016-12-13 13:07:08 +02:00
jl777
673fddf0d7 test 2016-12-13 13:02:37 +02:00
zkbot
5c47d620f4 Auto merge of #1892 - str4d:1749-disable-js-verification-before-checkpoints, r=str4d
Skip JoinSplit verification before the last checkpoint

Part of #1749
2016-12-13 10:36:48 +00:00
jl777
a6fa105447 test 2016-12-13 12:15:33 +02:00
jl777
fd5bb9fb53 test 2016-12-13 12:11:29 +02:00
jl777
15373725e7 test 2016-12-13 12:09:52 +02:00
Jack Grigg
c0ec0e756b Fix bug in IncrementNoteWitness() 2016-12-13 22:53:52 +13:00
Jack Grigg
78f4e0ef37 Rewrite reindex test to check beyond the max witness cache size 2016-12-13 22:53:29 +13:00
Jack Grigg
0752d1f8c4 Extract block-generation wallet test code into a function 2016-12-13 22:53:11 +13:00
Jack Grigg
35ce717f96 Fix bug in wallet tests 2016-12-13 22:50:57 +13:00
jl777
e40060c243 test 2016-12-13 11:43:17 +02:00
jl777
22b09834bb test 2016-12-13 11:38:04 +02:00
jl777
ec7c10be58 test 2016-12-13 10:12:02 +02:00
jl777
1ac3f9efae test 2016-12-13 10:07:31 +02:00
jl777
f1e6a93738 test 2016-12-13 10:01:41 +02:00
jl777
34ae5f7e87 test 2016-12-13 09:56:30 +02:00
jl777
49058e977e test 2016-12-13 09:55:03 +02:00
jl777
b27b2877b1 test 2016-12-13 09:47:18 +02:00
jl777
894c570b0b test 2016-12-13 09:43:27 +02:00
jl777
2b630e7581 test 2016-12-13 09:37:11 +02:00
jl777
14e3fb45f4 test 2016-12-13 09:33:38 +02:00
jl777
0f1e05aac0 test 2016-12-13 09:29:29 +02:00
jl777
33171f51f4 test 2016-12-13 09:26:25 +02:00
jl777
3339aa3418 test 2016-12-13 09:20:16 +02:00
jl777
8c0ffb407f test 2016-12-13 09:07:31 +02:00
jl777
4640c1a141 test 2016-12-13 08:52:20 +02:00
jl777
d62eb4b0cb test 2016-12-13 08:50:56 +02:00
jl777
3dcce5b419 test 2016-12-13 08:38:19 +02:00
Sean Bowe
c4fce3fc81 Check that E' points are actually in G2 by ensuring they are of order r. 2016-12-12 19:14:42 -07:00
jl777
2a15e8eac9 test 2016-12-13 00:08:09 +02:00
jl777
80fd363110 test 2016-12-13 00:03:00 +02:00
jl777
b307682fa3 test 2016-12-12 23:59:49 +02:00
jl777
3da07d2e1d test 2016-12-12 23:31:30 +02:00
jl777
5ba0ce9d70 test 2016-12-12 23:25:24 +02:00
Jack Grigg
6f78f4f44c Only check cache validity for witnesses being incremented or decremented
Fixes the bug resulting from #1904.
2016-12-13 09:34:55 +13:00
jl777
f002aa71e7 test 2016-12-12 13:33:24 +02:00
jl777
5ccb222a7e test 2016-12-12 13:29:33 +02:00
jl777
6238a204a6 test 2016-12-12 13:25:14 +02:00
jl777
8be198635e test 2016-12-12 13:22:20 +02:00
jl777
003034253d test 2016-12-12 13:17:24 +02:00
jl777
00a74ca1dc test 2016-12-12 13:13:05 +02:00
jl777
65b18d2f71 test 2016-12-12 13:07:50 +02:00