miden-protocol 0.17.0-rc.6

Core components of the Miden protocol
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

pub mod account;
pub mod account_code;
pub mod account_id;
pub mod add_component;
pub mod assembler;
pub mod asset;
pub mod block;
pub mod block_note_tree;
pub mod component_metadata;
pub mod constants;
pub mod kernel_config;
pub mod noop_auth_component;
pub mod note;
pub mod note_script_root;
pub mod partial_blockchain;
pub mod protocol_config;
pub mod random_secret_key;
pub mod slot_name;
pub mod storage;
pub mod storage_map_key;
pub mod tx;
pub mod update_details;
pub mod validator_config;
pub mod vault_delta;
pub mod vault_patch;

/// Returns a structurally complete placeholder execution proof for tests that do not verify it.
pub fn dummy_execution_proof() -> crate::vm::ExecutionProof {
    use alloc::vec::Vec;

    use miden_core::deferred::TRUE_DIGEST;
    use miden_verifier::{HashFunction, PrecompileStatus, StarkProof, VmProof};

    crate::vm::ExecutionProof::new(
        VmProof {
            proof: StarkProof::new(Vec::new(), HashFunction::Blake3_256),
            precompile_root: TRUE_DIGEST,
        },
        PrecompileStatus::Empty,
    )
}

/// Returns a structurally incomplete placeholder execution proof for verifier tests.
pub fn dummy_deferred_execution_proof() -> crate::vm::ExecutionProof {
    use alloc::vec::Vec;

    use miden_core::deferred::{PrecompileWitness, PrecompileWitnessEntry, Tag};
    use miden_verifier::{HashFunction, PrecompileStatus, StarkProof, VmProof};

    let witness = PrecompileWitness::from_entries(vec![PrecompileWitnessEntry::Join {
        tag: Tag::AND,
        lhs: 0,
        rhs: 0,
    }])
    .expect("a logged TRUE is a nonempty obligation");

    crate::vm::ExecutionProof::new(
        VmProof {
            proof: StarkProof::new(Vec::new(), HashFunction::Blake3_256),
            precompile_root: witness.root_unchecked(),
        },
        PrecompileStatus::Deferred(witness),
    )
}

/// Returns a structurally complete placeholder proof containing precompile work.
pub fn dummy_precompile_execution_proof() -> crate::vm::ExecutionProof {
    use alloc::vec::Vec;

    use miden_verifier::{HashFunction, PrecompileProof, PrecompileStatus, StarkProof};

    let vm = dummy_execution_proof().vm().clone();

    crate::vm::ExecutionProof::new(
        vm,
        PrecompileStatus::Proven(PrecompileProof {
            proof: StarkProof::new(Vec::new(), HashFunction::Blake3_256),
            roots: Vec::new(),
        }),
    )
}