zebra-chain 11.3.0

Core Zcash data structures
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

//! Randomised data generation for Ironwood types.

use proptest::prelude::*;

use crate::{
    ironwood::{Nullifier, ShieldedData},
    orchard,
};

impl Arbitrary for Nullifier {
    type Parameters = ();

    fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy {
        any::<orchard::Nullifier>().prop_map(Nullifier).boxed()
    }

    type Strategy = BoxedStrategy<Self>;
}

impl Arbitrary for ShieldedData {
    type Parameters = ();

    fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy {
        (any::<orchard::ShieldedData>(), any::<u8>())
            .prop_map(|(mut shielded_data, flag_bits)| {
                // The base Orchard strategy only generates the pre-NU6.3 flag bits, because
                // Orchard-pool bundles (v5 and v6) reserve `enableCrossAddress`. The Ironwood
                // bundle is the only place that flag is valid, so re-generate the flags over
                // all three defined bits to exercise the `FlagsV6` codec path.
                shielded_data.flags = orchard::Flags::from_bits_truncate(flag_bits);
                Self::new(orchard::ShieldedDataV6::new(shielded_data))
            })
            .boxed()
    }

    type Strategy = BoxedStrategy<Self>;
}