Jack Grigg
9377b78b35
Panic if spending_key is given a seed shorter than 32 bytes
...
This enforces the MUST requirement in ZIP 32. A panic is used instead of
an error because this should be considered an implementation error.
Ideally the type system would prevent this from occurring at all.
Closes #125 .
2019-09-17 21:28:23 +01:00
Jack Grigg
39a73c8eda
Add missing cs.is_satisfied() to bellman test
2019-09-17 00:16:33 +01:00
Taylor Hornby
3701c2b442
Increase the number of pedersen hash generators, exercise all test vectors.
2019-09-17 00:05:54 +01:00
Taylor Hornby
4dff8055bf
Remove unfinished find_group_hash test.
2019-09-16 23:44:14 +01:00
Taylor Hornby
caab37c336
Fix build warnings
2019-09-16 23:06:48 +01:00
Taylor Hornby
e391594e9e
Fix broken linear relation checking
2019-09-16 22:51:11 +01:00
Kobi Gurkan
15b4c37ab0
adds test for linear relation between pedersen hash generators
2019-09-16 22:23:28 +01:00
Aurélien Nicolas
3efb7f9146
Test PH circuit for the size used in the Merkle tree
2019-09-16 22:20:51 +01:00
Aurélien Nicolas
d56758d426
Calculate number of constraints and more comprehensive test
2019-09-16 22:14:14 +01:00
Kobi Gurkan
f3533e291f
boolean: adds tests for alloc_conditionally
2019-09-16 22:08:30 +01:00
Kobi Gurkan
e0c5ef22bc
ecc: makes assert_not_small_order tests deeper
2019-09-16 22:08:27 +01:00
Kobi Gurkan
ace929c5ba
ecc: test_assert_not_small_order also tests for the generators
2019-09-16 22:03:22 +01:00
Kobi Gurkan
bb0a769162
ecc: tests for assert_not_small_order
2019-09-16 22:01:00 +01:00
Aurélien Nicolas
68ba93f5fd
PH test vectors for edge-cases
2019-09-16 21:58:28 +01:00
Aurélien Nicolas
6240c02208
Long and random PH test vectors
2019-09-16 21:57:53 +01:00
Aurélien Nicolas
be18eb240c
Move test vectors into own module
2019-09-16 21:57:42 +01:00
Aurélien Nicolas
9080b4ccf3
Many test vectors for pedersen hash
2019-09-16 20:52:11 +01:00
Aurélien Nicolas
f5dfe07355
A test vector for pedersen hash
2019-09-16 20:50:22 +01:00
Kobi Gurkan
2ee7b108af
blake2s: adds test vectors from go-jubjub
2019-09-16 20:34:21 +01:00
Kobi Gurkan
2edcc12e8e
group_hash: adds test vectors generated by go-jubjub
2019-09-16 20:34:14 +01:00
Kobi Gurkan
2b92493a45
input circuit: removes debug prints
2019-09-16 20:28:23 +01:00
Kobi Gurkan
abd03928b4
adds test vectors for NoteCommit
2019-09-16 20:28:10 +01:00
Taylor Hornby
cc2a41d86c
Fix blake2s test data length assertion.
2019-09-16 20:24:31 +01:00
Kobi Gurkan
804f4cba67
Add blake2s test vectors for varying sizes from go-jubjub
2019-09-16 20:23:09 +01:00
Kobi Gurkan
7ee61c4f94
pedersen_hash: adds test vectors for the circuit implementation
2019-09-16 20:23:07 +01:00
Kobi Gurkan
43496857c9
pedersen_hash: removes debug prints
2019-09-16 20:20:03 +01:00
Kobi Gurkan
4835be05b0
pedersen_hash: show a tighter limit for hash sizes
2019-09-16 20:17:52 +01:00
Kobi Gurkan
15633ad434
pedersen hashes: example of size limit bug
2019-09-16 20:17:50 +01:00
Kobi Gurkan
414d651c9c
pedersen_hash: adds tests for Daniel's vector
2019-09-16 20:12:38 +01:00
Kobi Gurkan
8541b2bde4
pedersen_hash: prints hashes, adds comments
2019-09-16 20:12:33 +01:00
Jack Grigg
28dcc1c346
bellman: Fix compile errors without multicore feature
2019-09-12 19:38:52 +01:00
Jack Grigg
b397a9c405
cargo update
2019-09-12 19:38:51 +01:00
Jack Grigg
0a3b0a9341
Upgrade to hex-literal 0.2
2019-09-12 19:38:51 +01:00
Jack Grigg
89dad572ef
Migrate bellman to crossbeam 0.7
2019-09-12 19:38:50 +01:00
Jack Grigg
bef3e7e336
Migrate ff_derive to proc-macro2 1.0
2019-09-06 19:03:12 -04:00
str4d
2b6fbfd2d1
Merge pull request #109 from str4d/paymentaddress-encapsulation
...
PaymentAddress encapsulation
2019-09-06 15:43:48 -04:00
Jack Grigg
d6f6b50ecd
Check try_sapling_output_recovery fails with identity as pk_d
2019-09-04 19:48:39 -04:00
Jack Grigg
abbd43ff57
Make pk_d validity an invariant of PaymentAddress
...
Introduces a PaymentAddress::from_parts constructor, and getters for
the diversifier and pk_d fields (which are now private).
2019-09-04 19:48:35 -04:00
Jack Grigg
86142d044c
PaymentAddress::to_bytes
2019-09-04 19:46:46 -04:00
Jack Grigg
73ee19239c
Replace manual address decoding with PaymentAddress::from_bytes
2019-09-04 19:46:46 -04:00
str4d
b19b40ccf0
Merge pull request #110 from str4d/crate-cleanups
...
Crate cleanups
2019-09-04 19:44:47 -04:00
str4d
0da4921055
Merge pull request #116 from str4d/code-coverage
...
Add code coverage with cargo-tarpaulin and Codecov
2019-08-29 09:58:19 +01:00
Jack Grigg
c00b65bb78
Extend Travis CI timeout
2019-08-29 01:06:41 +01:00
Jack Grigg
ee9c88ecb0
Exclude slow tests from code coverage
2019-08-28 20:46:23 +01:00
Jack Grigg
f9f17b291f
Add code coverage with cargo-tarpaulin and Codecov
2019-08-28 12:26:54 +01:00
str4d
563961e606
Merge pull request #115 from str4d/windows-typo
...
librustzcash: Fix typo in Windows parameter init; Correctly map sprout_path. Includes a GitHub actions improvement
2019-08-26 13:09:57 +01:00
Jack Grigg
0c7eb84d36
impl FromStr for Memo
...
Memo::from_str was previously shadowing a built-in trait method.
2019-08-24 00:40:32 +01:00
Jack Grigg
7c1d4d9a5b
Log distinct error cases in Equihash verification
2019-08-24 00:40:30 +01:00
Jack Grigg
9016548698
Take self directly in into_* functions
2019-08-24 00:39:55 +01:00
Jack Grigg
fe93f2ff6b
Rename into_ -> to_ where &self is used.
2019-08-24 00:39:54 +01:00
