multi-sig 1.0.5

Multisig self-describing multicodec implementation for digital signatures
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

// SPDX-License-Identifier: Apache-2.0
//! Property-based tests for multi-sig

use multi_codec::Codec;
use multi_sig::{Builder, Multisig, SIG_CODECS};
use multi_trait::TryDecodeFrom;
use proptest::prelude::*;

/// Property: Multisig encoding and decoding should roundtrip
#[test]
fn test_multisig_roundtrip() {
    proptest!(|(data in prop::collection::vec(any::<u8>(), 1..256))| {
        for &codec in SIG_CODECS.iter().take(3) {
            let builder = Builder::new(codec);
            if let Ok(ms1) = builder.with_signature_bytes(&data).try_build() {
                let bytes: Vec<u8> = ms1.clone().into();
                let (ms2, remaining) = Multisig::try_decode_from(&bytes).unwrap();

                prop_assert_eq!(&ms1, &ms2);
                prop_assert!(remaining.is_empty());
            }
        }
    });
}

/// Property: Same data should produce same signature structure
#[test]
fn test_deterministic() {
    proptest!(|(data in prop::collection::vec(any::<u8>(), 1..128))| {
        for &codec in SIG_CODECS.iter().take(2) {
            let builder1 = Builder::new(codec);
            if let Ok(ms1) = builder1.with_signature_bytes(&data).try_build() {
                let builder2 = Builder::new(codec);
                if let Ok(ms2) = builder2.with_signature_bytes(&data).try_build() {
                    prop_assert_eq!(&ms1, &ms2);
                }
            }
        }
    });
}

/// Property: Multisig equality is reflexive
#[test]
fn test_equality_reflexive() {
    proptest!(|(data in prop::collection::vec(any::<u8>(), 1..256))| {
        let builder = Builder::new(Codec::Ed25519Pub);
        if let Ok(ms) = builder.with_signature_bytes(&data).try_build() {
            prop_assert_eq!(&ms, &ms);
        }
    });
}

/// Property: Clone produces equal value
#[test]
fn test_clone_equality() {
    proptest!(|(data in prop::collection::vec(any::<u8>(), 1..256))| {
        let builder = Builder::new(Codec::Ed25519Pub);
        if let Ok(ms1) = builder.with_signature_bytes(&data).try_build() {
            let ms2 = ms1.clone();
            prop_assert_eq!(&ms1, &ms2);
        }
    });
}