dig-clvm 0.2.2

DIG L2 CLVM consensus engine — validates spend bundles, computes coin additions and removals
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

//! REQUIREMENT: CON-006 — Proof-of-Space fields and plot filter heights
//!
//! Validates that PoS fields carry sensible neutral values (slot_blocks_target > 0,
//! max_sub_slot_blocks > 0, etc.) and that plot filter transition heights are set
//! to 0xFFFFFFFF (effectively disabled for DIG L2).

use dig_clvm::{DIG_MAINNET, DIG_TESTNET};

#[test]
fn con_006_pos_fields_are_valid_mainnet() {
    let c = DIG_MAINNET.consensus();
    assert!(c.slot_blocks_target > 0, "slot_blocks_target must be > 0");
    assert!(c.max_sub_slot_blocks > 0, "max_sub_slot_blocks must be > 0");
    assert!(c.num_sps_sub_slot > 0, "num_sps_sub_slot must be > 0");
    assert!(
        c.sub_slot_iters_starting > 0,
        "sub_slot_iters_starting must be > 0"
    );
    assert!(
        c.sub_slot_time_target > 0,
        "sub_slot_time_target must be > 0"
    );
    assert!(c.epoch_blocks > 0, "epoch_blocks must be > 0");
}

#[test]
fn con_006_pos_fields_are_valid_testnet() {
    let c = DIG_TESTNET.consensus();
    assert!(c.slot_blocks_target > 0, "slot_blocks_target must be > 0");
    assert!(c.max_sub_slot_blocks > 0, "max_sub_slot_blocks must be > 0");
    assert!(c.num_sps_sub_slot > 0, "num_sps_sub_slot must be > 0");
    assert!(
        c.sub_slot_iters_starting > 0,
        "sub_slot_iters_starting must be > 0"
    );
    assert!(
        c.sub_slot_time_target > 0,
        "sub_slot_time_target must be > 0"
    );
    assert!(c.epoch_blocks > 0, "epoch_blocks must be > 0");
}

#[test]
fn con_006_plot_filter_heights_are_max_u32() {
    let sentinel = 0xffff_ffff_u32;

    // Mainnet
    let mc = DIG_MAINNET.consensus();
    assert_eq!(
        mc.plot_filter_128_height, sentinel,
        "plot_filter_128_height must be 0xFFFFFFFF"
    );
    assert_eq!(
        mc.plot_filter_64_height, sentinel,
        "plot_filter_64_height must be 0xFFFFFFFF"
    );
    assert_eq!(
        mc.plot_filter_32_height, sentinel,
        "plot_filter_32_height must be 0xFFFFFFFF"
    );

    // Testnet
    let tc = DIG_TESTNET.consensus();
    assert_eq!(
        tc.plot_filter_128_height, sentinel,
        "plot_filter_128_height must be 0xFFFFFFFF"
    );
    assert_eq!(
        tc.plot_filter_64_height, sentinel,
        "plot_filter_64_height must be 0xFFFFFFFF"
    );
    assert_eq!(
        tc.plot_filter_32_height, sentinel,
        "plot_filter_32_height must be 0xFFFFFFFF"
    );
}