quorum-set 0.6.0

Quorum sets, hierarchical quorum trees, and quorum-accepted progress tracking for consensus protocols
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
88
89
90
91

use std::collections::BTreeSet;

use maplit::btreeset;

use crate::quorum::QuorumBridge;
use crate::quorum::QuorumSet;
use crate::quorum::quorum_intersection_test::all_configs;
use crate::quorum::quorum_intersection_test::all_joints;

#[test]
fn test_joint_with() -> anyhow::Result<()> {
    let s1 = || btreeset! {1,2,3};
    let s2 = || btreeset! {3,4,5};
    let s3 = || btreeset! {5,6,7};
    let s4 = || btreeset! {7,8,9};

    let j12 = vec![s1(), s2()];

    let joint = j12.joint_with(s3());
    assert_eq!(vec![s1(), s2(), s3()], joint);

    let joint = j12.joint_with(vec![s3(), s4()]);
    assert_eq!(vec![s1(), s2(), s3(), s4()], joint);

    Ok(())
}

#[test]
fn test_joint_with_empty_joint() -> anyhow::Result<()> {
    let empty: Vec<BTreeSet<u64>> = vec![];
    let j1 = vec![btreeset! {1,2,3}];

    let joint = empty.joint_with(btreeset! {1,2,3});
    assert_eq!(empty, joint);

    let joint = empty.joint_with(j1.clone());
    assert_eq!(empty, joint);

    let joint = j1.joint_with(empty.clone());
    assert_eq!(empty, joint);

    Ok(())
}

#[test]
fn test_joint_with_accepts_quorums_of_both_sides() {
    let joints = all_joints();
    let configs = all_configs();
    let id_sets = all_configs();

    for current in &joints {
        for config in &configs {
            let joint = current.joint_with(config.clone());
            for ids in &id_sets {
                let in_current = current.is_quorum(ids.iter());
                let in_config = config.is_quorum(ids.iter());
                let in_both = in_current && in_config;
                let in_joint = joint.is_quorum(ids.iter());
                assert_eq!(
                    in_both, in_joint,
                    "{current:?} joint with {config:?} on {ids:?}"
                );
            }
        }
    }
}

#[test]
fn test_joint_with_joint_accepts_quorums_of_both_sides() {
    let mut joints = all_joints();
    // Joints over IDs 0 to 3 keep this check short: pairs of joints over all 5 IDs take about 60
    // seconds.
    joints.retain(|joint| joint.iter().all(|config| !config.contains(&4)));
    let id_sets = all_configs();

    for current in &joints {
        for goal in &joints {
            let joint = current.joint_with(goal.clone());
            for ids in &id_sets {
                let in_current = current.is_quorum(ids.iter());
                let in_goal = goal.is_quorum(ids.iter());
                let in_both = in_current && in_goal;
                let in_joint = joint.is_quorum(ids.iter());
                assert_eq!(
                    in_both, in_joint,
                    "{current:?} joint with {goal:?} on {ids:?}"
                );
            }
        }
    }
}