54eb03e34e
zcash_primitives: Move Sapling bundle types into `sapling` module
2023-11-09 04:04:07 +00:00
64d657ed31
Merge pull request #1033 from zcash/sapling-params-refactor
...
Introduce newtypes for Sapling circuit parameters
2023-11-08 21:01:30 +00:00
c915c93862
Merge pull request #1017 from nuttycom/test_with_bundled_prover
...
Test with bundled prover instead of local prover.
2023-11-07 13:14:47 -07:00
c56ab0001e
Fix intra-doc link
2023-11-07 03:11:38 +00:00
82535112c2
zcash_primitives: Add Sapling verification key newtypes
2023-11-07 03:11:15 +00:00
1b9f26c984
Move `{Spend,Output}Parameters` from `zcash_proofs` to `zcash_primitives`
2023-11-07 03:09:25 +00:00
8bb9c4e7ba
Move Sapling proof verifiers from `zcash_proofs` to `zcash_primitives`
2023-11-07 03:08:43 +00:00
c0a0ef1653
zcash_proofs: Remove obsolete examples.
...
Since we now use the bundled prover everywhere, we no longer need
utilities to download Zcash parameters, which was the only purpose that
these examples were serving.
2023-11-03 16:15:24 -06:00
6e42d839cd
zcash_proofs: Remove `sapling::SaplingProvingContext`
2023-11-03 21:09:19 +00:00
b20641ae58
zcash_primitives: Remove `sapling::prover::TxProver`
...
Removed
-------
- `zcash_primitives::sapling`:
- `prover::TxProver` (use `SpendProver` and `OutputProver` instead).
- `prover::mock::MockTxProver` (use `MockSpendProver` and `MockOutputProver`
instead).
2023-11-03 21:08:37 +00:00
caee90dce9
`zcash_primitives`: Use sapling::NoteValue instead of bare u64
2023-10-24 16:36:56 -06:00
46903fabf5
zcash_proofs: `impl {SpendProver, OutputProver} for LocalTxProver`
2023-10-06 20:28:16 +00:00
296f75954b
Add `SpendProver::encode_proof` and `OutputProver::encode_proof`
2023-10-06 20:19:41 +00:00
0d46fe72cc
zcash_primitives: Introduce an `OutputProver` trait
2023-10-02 16:59:01 +00:00
290bfa8b31
zcash_primitives: Introduce a `SpendProver` trait
2023-10-02 16:59:01 +00:00
ea0fed39eb
zcash_proofs: Introduce newtype wrappers for Sapling parameters
2023-10-02 16:59:01 +00:00
2bfeef9430
zcash_proofs: Remove immediate verification of created Spend proofs
...
It can be useful to verify proofs after they have been created, but we
were only doing this for spend proofs, not output proofs. It also
duplicated code from the verifier logic. Once the prover and verifier
have been refactored, it will be easier to just call the verifier
immediately after the prover.
2023-10-02 16:59:01 +00:00
db31105067
Move Sapling circuits from `zcash_proofs` to `zcash_primitives::sapling`
...
Closes zcash/librustzcash#737 .
2023-09-29 18:36:54 +00:00
0ddcccdbac
zcash_primitives: Move Sapling constants into `sapling` module
2023-09-29 17:39:43 +00:00
7e89300db9
Move common package and dependency configs into workspace config
...
The MSRV for the main crates is 1.65, which is higher than the Rust
version that stabilised workplace dependencies (1.64). The implicit MSRV
for the component crates is still lower than this, so we don't migrate
these crates.
2023-09-26 22:01:32 +00:00
1a1abb62aa
zcash_proofs 0.13.0
2023-09-25 15:11:00 +00:00
d35d0961ab
zcash_primitives 0.13.0
2023-09-25 15:06:57 +00:00
87ca71b8db
zcash_proofs 0.13.0-rc.1
2023-09-08 19:48:55 +00:00
67b84c25e0
zcash_primitives 0.13.0-rc.1
2023-09-08 19:45:54 +00:00
94c1f2413d
Migrate to `incrementalmerkletree 0.5`, `orchard 0.6`
2023-09-08 18:57:25 +00:00
6f4d68f935
zcash_proofs 0.12.1
2023-06-28 18:37:37 +01:00
3de60c7b91
Replace `directories` dependency with `home, known-folders, xdg`
...
`directories 5.0.1` added a dependency on `option-ext`, which is
licensed as MPL (a copyleft license). The replacement dependencies
are all licensed as `MIT OR Apache-2.0`.
2023-06-28 18:37:37 +01:00
e7fb276b04
Release zcash_proofs 0.12.0
2023-06-06 15:56:29 -06:00
f9cacc5b21
Release zcash_primitives 0.12.0
2023-06-06 15:56:28 -06:00
3dd0c63095
Update to `incrementalmerkletree 0.4`, `orchard 0.5`
2023-06-06 14:27:39 -06:00
980736806f
Upgrade `incrementalmerkletree` & `orchard` patch versions.
2023-05-25 12:33:25 -06:00
6419e1e363
Remove `inferno` pin now that its MSRV is compatible with ours
2023-05-16 15:39:06 +00:00
8681b56d52
Bump MSRV for `zcash_primitives` and dependents to 1.65
2023-05-16 15:37:07 +00:00
1f9747e15f
Move merkle tree types to the `incrementalmerkletree` crate.
...
This removes the `CommitmentTree`, `IncrementalWitness`, and
`MerklePath` types in favor of equivalent versions available
from the `incrementalmerkletree` crate.
2023-05-04 12:30:56 -06:00
ec57d23115
Use const generics to set commitment tree & incremental witness depths.
...
This is in preparation for extraction into the `incrementalmerkletree`
crate, which is not Sapling-specific and therefore cannot hard-code
the depths of these data structures.
2023-05-04 12:16:09 -06:00
4678ff8299
zcash_proofs 0.11.0
2023-04-14 23:58:53 +00:00
a419b56e80
zcash_primitives 0.11.0
2023-04-14 23:56:16 +00:00
7be5d1bf7d
Update changelogs
2023-04-14 23:49:13 +00:00
43eed3d8f9
zcash_proofs: `directories 5`
2023-04-11 15:48:44 +00:00
c9f55a4c5d
Use `u64` instead of `usize` for `byte_count`
2023-04-04 18:38:28 +02:00
fcd6f00396
Upgrade to redjubjub 0.7.0
...
This removes our reliance on the following out-of-date transitive
dependencies that are duplicative of more recent versions of crates
we depend on:
- bls12_381 v0.7
- ff v0.12
- group v0.12
- jubjub v0.9
- pasta_curves v0.4
- reddsa v0.3
2023-03-30 14:53:19 -06:00
cb1be45f22
Update CHANGELOGs to reflect the addition of the zcash_primitives/multicore feature.
2023-03-20 15:11:05 -06:00
7c1a4c898d
Fix wasm32 CI runner.
...
The `halo2_proofs/multicore` flag must be disabled when running wasm
builds; this ensures that we do not accidentally include it as a
transitive dependency when building with `--no-default-features`.
2023-03-20 14:39:07 -06:00
77fbd8cb4f
Update dependencies to reflect changes in ff 0.13
2023-03-20 14:35:45 -06:00
9c56b21de7
Pin the `inferno` transitive dependency to avoid MSRV errors.
2023-02-16 11:06:24 -07:00
24b5e04c8d
zcash_proofs 0.10.0
2023-02-01 02:10:42 +00:00
9852c31970
zcash_primitives 0.10.0
2023-02-01 02:10:42 +00:00
ded14adbb3
Add `sapling::keys::DiversifiedTransmissionKey`
2023-01-24 15:02:38 +00:00
87d0bd7db1
Refactor `sapling::Note`
...
Its internals are now private, and it stores a `PaymentAddress` (and by
extension the diversifier) instead of `g_d`.
2023-01-24 15:02:27 +00:00
dff21222fb
Require `PaymentAddress` to contain a valid diversifier
2023-01-24 14:51:13 +00:00
Jack Grigg
Kris Nuttycombe
Marek