twenty-first 2.0.2

Collection of mathematics routines and cryptography for the twenty-first century.
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
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

use proptest::prelude::*;
use test_strategy::Arbitrary;
use test_strategy::proptest;
// Required by the `BFieldCodec` derive macro. This is generally only needed
// once per crate, at the top-level `lib.rs`.
#[expect(clippy::single_component_path_imports)]
use twenty_first;
use twenty_first::prelude::BFieldCodec;
use twenty_first::prelude::BFieldElement;
use twenty_first::prelude::Digest;
use twenty_first::prelude::XFieldElement;

#[derive(Debug, Clone, PartialEq, Eq, BFieldCodec, Arbitrary)]
struct BFieldCodecTestStructA {
    a: u32,

    #[strategy(bfe_strategy())]
    b: BFieldElement,
}

#[proptest]
#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test::wasm_bindgen_test)]
fn integration_test_struct_a(test_struct: BFieldCodecTestStructA) {
    let encoding = test_struct.encode();
    let decoding = *BFieldCodecTestStructA::decode(&encoding).unwrap();
    prop_assert_eq!(test_struct, decoding);
}

#[derive(Debug, Clone, PartialEq, Eq, BFieldCodec, Arbitrary)]
struct BFieldCodecTestStructB {
    #[strategy(xfe_strategy())]
    a: XFieldElement,

    #[strategy(prop::collection::vec((any::<u64>(), digest_strategy()), 0..50))]
    b: Vec<(u64, Digest)>,
}

#[proptest]
#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test::wasm_bindgen_test)]
fn integration_test_struct_b(test_struct: BFieldCodecTestStructB) {
    let encoding = test_struct.encode();
    let decoding = *BFieldCodecTestStructB::decode(&encoding).unwrap();
    prop_assert_eq!(test_struct, decoding);
}

#[derive(Debug, Clone, PartialEq, Eq, BFieldCodec, Arbitrary)]
enum BFieldCodecTestEnumA {
    A,
    B,
    C,
}

#[proptest]
#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test::wasm_bindgen_test)]
fn integration_test_enum_a(test_enum: BFieldCodecTestEnumA) {
    let encoding = test_enum.encode();
    let decoding = *BFieldCodecTestEnumA::decode(&encoding).unwrap();
    prop_assert_eq!(test_enum, decoding);
}

#[derive(Debug, Clone, PartialEq, Eq, BFieldCodec)]
enum BFieldCodecTestEnumB {
    A(u32),
    B(XFieldElement),
    C(Vec<(u64, Digest)>),
}

impl Arbitrary for BFieldCodecTestEnumB {
    type Parameters = ();

    fn arbitrary_with(_: Self::Parameters) -> Self::Strategy {
        prop_oneof![
            any::<u32>().prop_map(BFieldCodecTestEnumB::A),
            xfe_strategy().prop_map(BFieldCodecTestEnumB::B),
            prop::collection::vec((any::<u64>(), digest_strategy()), 0..50)
                .prop_map(BFieldCodecTestEnumB::C),
        ]
        .boxed()
    }

    type Strategy = BoxedStrategy<Self>;
}

#[proptest]
#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test::wasm_bindgen_test)]
fn integration_test_enum_b(test_enum: BFieldCodecTestEnumB) {
    let encoding = test_enum.encode();
    let decoding = *BFieldCodecTestEnumB::decode(&encoding).unwrap();
    prop_assert_eq!(test_enum, decoding);
}

#[test]
fn try_build_various_failure_cases() {
    let trybuild = trybuild::TestCases::new();
    trybuild.compile_fail("trybuild/multiple_field_attributes.rs");
    trybuild.compile_fail("trybuild/incorrect_field_attribute.rs");
    trybuild.pass("trybuild/missing_field_attribute.rs");
}

fn bfe_strategy() -> impl Strategy<Value = BFieldElement> {
    (0..=BFieldElement::MAX).prop_map(BFieldElement::new)
}

fn xfe_strategy() -> impl Strategy<Value = XFieldElement> {
    let b = bfe_strategy;

    [b(), b(), b()].prop_map(XFieldElement::new)
}

fn digest_strategy() -> impl Strategy<Value = Digest> {
    let b = bfe_strategy;

    [b(), b(), b(), b(), b()].prop_map(Digest::new)
}