vyre-primitives 0.7.2

Compositional primitives for vyre - marker types (always on) + Tier 2.5 LEGO substrate (feature-gated per domain).
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

//! Property and adversarial tests for the primitive-owned hex decode oracle.
// The oracle `hex_decode_reference_packed` is gated on `cpu-parity` (unreachable from
// an integration test under `decode` alone); declare the true dependency.
#![cfg(all(feature = "decode", feature = "cpu-parity"))]

use proptest::prelude::*;
use vyre_primitives::decode::hex::{
    hex_decode_reference_packed, hex_decode_table, hex_decoded_capacity,
};

fn manual_hex_decode(input: &[u8]) -> Vec<u32> {
    let table = hex_decode_table();
    input
        .chunks_exact(2)
        .map(|pair| (table[usize::from(pair[0])] << 4) | table[usize::from(pair[1])])
        .collect()
}

proptest! {
    #![proptest_config(ProptestConfig::with_cases(4096))]

    #[test]
    fn packed_reference_matches_independent_table_decode(bytes in proptest::collection::vec(any::<u8>(), 0..512)) {
        let usable_len = bytes.len() - (bytes.len() % 2);
        let input = &bytes[..usable_len];
        prop_assert_eq!(hex_decode_reference_packed(input), manual_hex_decode(input));
        prop_assert_eq!(hex_decode_reference_packed(input).len() as u32, hex_decoded_capacity(input.len() as u32));
    }
}

#[test]
fn adversarial_invalid_nibbles_clamp_to_zero() {
    assert_eq!(hex_decode_reference_packed(b"Zz**00"), vec![0, 0, 0]);
}