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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
//! Arbitrary implementations for network parameters
use proptest::prelude::*;
use super::{Network, NetworkUpgrade};
impl NetworkUpgrade {
/// Generates network upgrades.
pub fn branch_id_strategy() -> BoxedStrategy<NetworkUpgrade> {
prop_oneof![
Just(NetworkUpgrade::Overwinter),
Just(NetworkUpgrade::Sapling),
Just(NetworkUpgrade::Blossom),
Just(NetworkUpgrade::Heartwood),
Just(NetworkUpgrade::Canopy),
Just(NetworkUpgrade::Nu5),
// TODO: add future network upgrades (#1974)
]
.boxed()
}
/// Generates network upgrades that are valid for V5+ transactions (Nu5 onward).
pub fn nu5_branch_id_strategy() -> BoxedStrategy<NetworkUpgrade> {
prop_oneof![
Just(NetworkUpgrade::Nu5),
// TODO: add future network upgrades (#1974)
]
.boxed()
}
/// Generates network upgrades that are valid for V6 transactions (NU6.3 onward).
///
/// Does not generate `Nu7`: its consensus branch ID is still a placeholder that
/// librustzcash does not recognise, so transactions carrying it cannot round-trip
/// through `to_librustzcash` (which computes txids and auth digests).
pub fn nu6_3_branch_id_strategy() -> BoxedStrategy<NetworkUpgrade> {
prop_oneof![
Just(NetworkUpgrade::Nu6_3),
// TODO: add Nu7 once its consensus branch ID is set in librustzcash
]
.boxed()
}
/// Generates network upgrades from a reduced set
pub fn reduced_branch_id_strategy() -> BoxedStrategy<NetworkUpgrade> {
// Used to give a transaction a consensus branch id that is inconsistent with its block
// height. The upgrades must be NU5 or later so the resulting v5 transactions are still
// well-formed and can be assigned a txid by `zcash_primitives`.
prop_oneof![
Just(NetworkUpgrade::Nu6),
Just(NetworkUpgrade::Nu6_1),
Just(NetworkUpgrade::Nu6_2),
]
.boxed()
}
}
impl Arbitrary for Network {
type Parameters = ();
fn arbitrary_with(_args: ()) -> Self::Strategy {
prop_oneof![Just(Self::Mainnet), Just(Self::new_default_testnet())].boxed()
}
type Strategy = BoxedStrategy<Self>;
}