provsum 0.1.0

Fixed-size provenance digests for computation equivalence
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

//! Pinned vectors shared with python/provsum.py.  If these change, the wire
//! format changed and every stored digest is invalidated.
use provsum::{Digest, Site};

#[test]
fn pinned_vectors() {
    let s = Site::from_label;
    let (a, b, c) = (s("a"), s("b"), s("c"));
    let (w1, w2, ch) = (s("w1"), s("w2"), s("choose"));
    let raw = Site([
        0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e,
        0x0f,
    ]);
    let cases: [(&str, Digest, &str, u16); 7] = [
        (
            "origin_raw_bytes",
            Digest::origin(&raw),
            "1a6431e103907e631af361a78c4c2724",
            1,
        ),
        (
            "origin_a",
            Digest::origin(&a),
            "0c5b01102d3aa5381bbbf5c617af80f9",
            1,
        ),
        (
            "wrap",
            Digest::origin(&a).wrap(&w1),
            "0e44a29fd575961e1efdb24d645c699a",
            2,
        ),
        (
            "merge",
            Digest::origin(&a).merge(&Digest::origin(&b)),
            "0be2208396b0ddb91a91f5252af36ed8",
            1,
        ),
        (
            "pick_ab",
            Digest::pick2(&ch, &Digest::origin(&a), &Digest::origin(&b)),
            "051ad0515135f32600c1f2c5601f2f74",
            2,
        ),
        (
            "pick_ba",
            Digest::pick2(&ch, &Digest::origin(&b), &Digest::origin(&a)),
            "19c61ed8dd4a36b41520984763516d0a",
            2,
        ),
        (
            "nested",
            Digest::pick2(
                &ch,
                &Digest::origin(&a)
                    .wrap(&w1)
                    .merge(&Digest::origin(&b).wrap(&w1)),
                &Digest::origin(&c).wrap(&w2),
            )
            .wrap(&w2),
            "1cd542f9fa81fc621d99cc3e93d019f7",
            4,
        ),
    ];
    for (name, d, hex, depth) in cases {
        assert_eq!(d.to_hex(), hex, "{name}");
        assert_eq!(d.depth(), depth, "{name}");
    }
}