ms-codec 0.2.0

Reference implementation of the ms1 (HRP `ms`) backup format — BIP-93 codex32 directly applied to secret material (BIP-39 entropy, BIP-32 master seed, xpriv).
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

//! Property-based round-trip tests: encode → decode → assert equal payload + tag,
//! across all 5 entr byte lengths.

use ms_codec::{decode, encode, Payload, Tag};
use proptest::prelude::*;

fn entropy_strategy(len: usize) -> impl Strategy<Value = Vec<u8>> {
    proptest::collection::vec(any::<u8>(), len..=len)
}

proptest! {
    #[test]
    fn round_trip_entr_16(entropy in entropy_strategy(16)) {
        let p = Payload::Entr(entropy.clone());
        let s = encode(Tag::ENTR, &p).unwrap();
        let (tag, recovered) = decode(&s).unwrap();
        prop_assert_eq!(tag, Tag::ENTR);
        prop_assert_eq!(recovered, Payload::Entr(entropy));
    }

    #[test]
    fn round_trip_entr_20(entropy in entropy_strategy(20)) {
        let p = Payload::Entr(entropy.clone());
        let s = encode(Tag::ENTR, &p).unwrap();
        let (tag, recovered) = decode(&s).unwrap();
        prop_assert_eq!(tag, Tag::ENTR);
        prop_assert_eq!(recovered, Payload::Entr(entropy));
    }

    #[test]
    fn round_trip_entr_24(entropy in entropy_strategy(24)) {
        let p = Payload::Entr(entropy.clone());
        let s = encode(Tag::ENTR, &p).unwrap();
        let (tag, recovered) = decode(&s).unwrap();
        prop_assert_eq!(tag, Tag::ENTR);
        prop_assert_eq!(recovered, Payload::Entr(entropy));
    }

    #[test]
    fn round_trip_entr_28(entropy in entropy_strategy(28)) {
        let p = Payload::Entr(entropy.clone());
        let s = encode(Tag::ENTR, &p).unwrap();
        let (tag, recovered) = decode(&s).unwrap();
        prop_assert_eq!(tag, Tag::ENTR);
        prop_assert_eq!(recovered, Payload::Entr(entropy));
    }

    #[test]
    fn round_trip_entr_32(entropy in entropy_strategy(32)) {
        let p = Payload::Entr(entropy.clone());
        let s = encode(Tag::ENTR, &p).unwrap();
        let (tag, recovered) = decode(&s).unwrap();
        prop_assert_eq!(tag, Tag::ENTR);
        prop_assert_eq!(recovered, Payload::Entr(entropy));
    }
}