multi-key 1.2.2

Multikey self-describing cryptographic key data
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

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

use multi_codec::Codec;
use multi_key::{Builder, KEY_CODECS, Multikey};
use multi_trait::TryDecodeFrom;
use proptest::prelude::*;

/// Property: Multikey encoding and decoding should roundtrip
#[test]
fn test_multikey_roundtrip() {
    proptest!(|(_unit in 0..1u8)| {
        let mut rng = rand::rng();
        for &codec in KEY_CODECS.iter().take(2) {
            if let Ok(mk1) = Builder::new_from_random_bytes(codec, &mut rng)
                && let Ok(mk1) = mk1.try_build()
            {
                let bytes: Vec<u8> = mk1.clone().into();
                let (mk2, remaining) = Multikey::try_decode_from(&bytes).unwrap();

                prop_assert_eq!(&mk1, &mk2);
                prop_assert!(remaining.is_empty());
            }
        }
    });
}

/// Property: Clone produces equal value
#[test]
fn test_clone_equality() {
    proptest!(|(_unit in 0..1u8)| {
        let mut rng = rand::rng();
        if let Ok(builder) = Builder::new_from_random_bytes(Codec::Ed25519Priv, &mut rng)
            && let Ok(mk1) = builder.try_build()
        {
            let mk2 = mk1.clone();
            prop_assert_eq!(&mk1, &mk2);
        }
    });
}