zakura-state 7.0.0

State contextual verification and storage code for the Zakura node. Internal crate, published to support cargo install zakura
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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

//! Fail-closed reads from deliberately corrupted fork-aware column families.

use super::harness::{Anchor, Harness, Op, Source};

fn trunk_harness() -> Harness {
    let mut harness = Harness::new();
    harness.run_all(&[Op::InsertHeaders {
        source: Source::Trunk,
        offset: 0,
        len: 20,
        anchor: Anchor::Natural,
    }]);
    harness
}

#[test]
fn selected_projection_node_disagreement_never_produces_a_hash_or_locator() {
    let _init_guard = zakura_test::init();
    let harness = trunk_harness();
    let tip = harness.trunk_frontier(20);
    let foreign = harness.trunk_frontier(5);

    harness.corrupt_selected_hash(tip.height, foreign.hash);
    harness.assert_selected_hash_fails_closed(tip.height);
    harness.assert_selected_locator_fails_closed();
}

#[test]
fn same_height_fork_sibling_never_enters_selected_reads() {
    let _init_guard = zakura_test::init();
    let mut harness = Harness::new();
    harness.run_all(&[
        Op::InsertHeaders {
            source: Source::Trunk,
            offset: 0,
            len: 60,
            anchor: Anchor::Natural,
        },
        Op::InsertHeaders {
            source: Source::Branch(0),
            offset: 0,
            len: 2,
            anchor: Anchor::Natural,
        },
    ]);
    let selected = harness.trunk_frontier(52);
    let sibling = harness.branch_frontier(0, 1);
    assert_eq!(selected.height, sibling.height);
    assert_ne!(selected.hash, sibling.hash);

    harness.corrupt_selected_hash(selected.height, sibling.hash);
    harness.assert_selected_hash_fails_closed(selected.height);
    harness.assert_selected_locator_fails_closed();
    harness.assert_selected_roots_fail_closed(selected.height);
}

#[test]
fn selected_projection_gap_within_published_bounds_is_incoherent() {
    let _init_guard = zakura_test::init();
    let harness = trunk_harness();
    let interior = harness.trunk_frontier(10);

    harness.delete_selected_hash(interior.height);
    harness.assert_selected_hash_fails_closed(interior.height);
}

#[test]
fn missing_selected_successor_is_incoherent_instead_of_end_of_chain() {
    let _init_guard = zakura_test::init();
    let harness = trunk_harness();
    let parent = harness.trunk_frontier(19);
    let successor = harness.trunk_frontier(20);

    harness.delete_node(successor.hash);
    harness.assert_selected_successor_fails_closed(parent);
}

#[test]
fn foreign_node_value_never_enters_a_validation_lease() {
    let _init_guard = zakura_test::init();
    let harness = trunk_harness();
    let target = harness.trunk_frontier(20);
    let donor = harness.trunk_frontier(19);

    harness.replace_node_value(target.hash, donor.hash);
    harness.assert_validation_context_fails_closed(target.hash);
}