ckb-verification 1.1.1

CKB verification
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

use crate::{NumberError, UnknownParentError, genesis_verifier::GenesisVerifier};
use ckb_chain_spec::consensus::{Consensus, ConsensusBuilder};
use ckb_error::assert_error_eq;
use ckb_types::core::EpochNumberWithFraction;
use ckb_verification_traits::Verifier;

#[test]
pub fn test_genesis_non_zero_number() {
    let genesis_block = Consensus::default().genesis_block().to_owned();
    let genesis_block = genesis_block
        .as_advanced_builder()
        .number(42)
        .epoch(EpochNumberWithFraction::from_full_value(0))
        .build();
    let consensus = ConsensusBuilder::default()
        .genesis_block(genesis_block)
        .build();
    let verifier = GenesisVerifier::new();
    assert_error_eq!(
        verifier.verify(&consensus).unwrap_err(),
        NumberError {
            expected: 0,
            actual: 42
        },
    );
}

#[test]
pub fn test_genesis_non_zero_parent_hash() {
    let genesis_block = Consensus::default().genesis_block().to_owned();
    let genesis_block = genesis_block
        .as_advanced_builder()
        .parent_hash([42u8; 32])
        .build();
    let consensus = ConsensusBuilder::default()
        .genesis_block(genesis_block)
        .build();
    let verifier = GenesisVerifier::new();
    assert_error_eq!(
        verifier.verify(&consensus).unwrap_err(),
        UnknownParentError {
            parent_hash: [42u8; 32].into()
        },
    );
}

#[test]
pub fn test_default_genesis() {
    let consensus = ConsensusBuilder::default().build();
    let verifier = GenesisVerifier::new();
    verifier.verify(&consensus).expect("pass verification");
}

#[test]
pub fn test_chain_specs() {
    use ckb_chain_spec::ChainSpec;
    use ckb_resource::{AVAILABLE_SPECS, Resource};
    fn load_spec_by_name(name: &str) -> ChainSpec {
        let res = Resource::bundled(format!("specs/{name}.toml"));
        ChainSpec::load_from(&res).expect("load spec by name")
    }
    for name in AVAILABLE_SPECS {
        let spec = load_spec_by_name(name);
        let consensus = spec.build_consensus().expect("build consensus");
        let verifier = GenesisVerifier::new();
        verifier.verify(&consensus).expect("pass verification");
    }
}