d6bc2fe0af
zcash_proofs 0.1.0
2019-10-08 17:43:33 +13:00
2399d9f3e3
Merge pull request #93 from defuse/qed-it-lrz
...
Bring in QED-it Tests
2019-10-08 13:47:36 +13:00
93563c3c65
Specify rand_core >= 0.5.1 for OsRng import.
2019-10-05 12:16:10 +02:00
524055bbb4
Merge pull request #134 from NikVolf/z-rng
...
Avoid using rand_os crate (fixes warnings)
2019-10-02 17:35:56 -06:00
7476e4ea28
alphabetical order
2019-09-28 12:49:37 +03:00
b42477a0bf
update from rand_os to fix warnings
2019-09-28 10:48:43 +03:00
4ad3988e43
Crate docs
2019-09-24 14:23:59 +01:00
7f3036d2c8
Update READMEs
2019-09-24 14:23:55 +01:00
d9a0b9c83f
CI: Check intra-doc links
...
Credit: https://twitter.com/tomaka17/status/1176017851410526208
2019-09-24 10:35:12 +01:00
1d02363752
Add READMEs to Cargo.toml files
...
This will cause crates.io to render each crate's README as its
information page.
2019-09-23 14:42:38 +01:00
caab37c336
Fix build warnings
2019-09-16 23:06:48 +01:00
3efb7f9146
Test PH circuit for the size used in the Merkle tree
2019-09-16 22:20:51 +01:00
d56758d426
Calculate number of constraints and more comprehensive test
2019-09-16 22:14:14 +01:00
e0c5ef22bc
ecc: makes assert_not_small_order tests deeper
2019-09-16 22:08:27 +01:00
ace929c5ba
ecc: test_assert_not_small_order also tests for the generators
2019-09-16 22:03:22 +01:00
bb0a769162
ecc: tests for assert_not_small_order
2019-09-16 22:01:00 +01:00
2b92493a45
input circuit: removes debug prints
2019-09-16 20:28:23 +01:00
abd03928b4
adds test vectors for NoteCommit
2019-09-16 20:28:10 +01:00
7ee61c4f94
pedersen_hash: adds test vectors for the circuit implementation
2019-09-16 20:23:07 +01:00
43496857c9
pedersen_hash: removes debug prints
2019-09-16 20:20:03 +01:00
4835be05b0
pedersen_hash: show a tighter limit for hash sizes
2019-09-16 20:17:52 +01:00
15633ad434
pedersen hashes: example of size limit bug
2019-09-16 20:17:50 +01:00
414d651c9c
pedersen_hash: adds tests for Daniel's vector
2019-09-16 20:12:38 +01:00
8541b2bde4
pedersen_hash: prints hashes, adds comments
2019-09-16 20:12:33 +01:00
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
b19b40ccf0
Merge pull request #110 from str4d/crate-cleanups
...
Crate cleanups
2019-09-04 19:44:47 -04:00
ee9c88ecb0
Exclude slow tests from code coverage
2019-08-28 20:46:23 +01:00
9016548698
Take self directly in into_* functions
2019-08-24 00:39:55 +01:00
fe93f2ff6b
Rename into_ -> to_ where &self is used.
2019-08-24 00:39:54 +01:00
91541675e2
Address various clippy warnings/errors in zcash_proofs
2019-08-24 00:39:53 +01:00
ad33798244
Merge pull request #113 from Eirik0/edition-2018-clean-up
...
Edition 2018 clean up
2019-08-24 00:34:57 +01:00
53182aa08e
cargo fix --edition-idioms for zcash_proofs
2019-08-21 16:13:10 -06:00
fec961777c
Add edition = 2018 to zcash_proofs
2019-08-21 16:11:29 -06:00
e12d315ab9
Warning cleanup
2019-08-20 16:45:10 -06:00
d4b6c0e1a2
Use expect to remove unreachable break.
2019-08-20 17:18:26 +02:00
40f768ed60
Fix off-by-one so pedersen_hash doesn't consume too many generators.
2019-08-17 12:01:11 +02:00
272be62212
cargo fmt zcash_proofs
2019-08-15 10:40:07 -06:00
5fb9b86ba0
Move Jubjub, Pedersen hash and primitives into zcash_primitives
2019-08-14 10:47:22 +01:00
b8af749b40
Move generic circuit gadgets into bellman
2019-08-14 10:45:58 +01:00
61c633db1e
Move Jubjub and Pedersen hash gadgets into zcash_proofs
...
These are currently too Zcash-specific to be generalized, and need some
targeted refactoring.
2019-08-14 10:45:57 +01:00
2ae5804a67
Move Sprout and Sapling circuits into zcash_proofs
2019-08-14 10:45:55 +01:00
7ea6d10480
Move redjubjub into zcash_primitives
2019-08-14 10:43:25 +01:00
59ed258c7f
Make Amount opaque, and use it more
...
This helps to ensure type-safety of values that are required to satisfy
zatoshi range bounds.
2019-07-27 00:35:29 +01:00
54ef63bace
Place zcash_proofs::prover::LocalTxProver behind a feature flag
...
This enables zcash_proofs to be compiled to WASM, which the directories
crate doesn't support.
2019-07-27 00:28:03 +01:00
01618038bf
TxProver trait to abstract over the circuit parameters
...
An implementation using local parameters is provided in the zcash_proofs
crate.
2019-07-26 23:56:00 +01:00
6f9083b5ab
Migrate to rand 0.7
2019-07-19 00:47:40 +02:00
b0913afdd7
Migrate remaining crates to rand_core 0.4
2019-07-19 00:46:37 +02:00
ccf75c39c1
Migrate remaining crates to rand 0.5
2019-07-19 00:35:06 +02:00
8361674efc
Merge branch 'master' into blake2_simd
2019-07-18 18:22:20 +02:00
b9cea33804
Move merkle_tree::Node into sapling module
...
This makes the merkle_tree module properly generic over the tree hash.
It still hard-codes a depth 32 tree, because Rust doesn't yet support
generic sizes, and we are unlikely to need to alter the tree depth in
future circuit changes.
2019-07-10 13:53:22 -04:00
Jack Grigg
Jim Posen
NikVolf
Taylor Hornby
Aurélien Nicolas
Kobi Gurkan
Eirik Ogilvie-Wigley