miden-processor 0.24.0

Miden VM processor
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

// Allow unused assignments - required by miette::Diagnostic derive macro
#![allow(unused_assignments)]

use alloc::vec::Vec;

use miden_utils_diagnostics::{Diagnostic, miette};

use crate::{Felt, Word, crypto::merkle::MerkleError};

#[derive(Debug, thiserror::Error, Diagnostic)]
pub enum AdviceError {
    #[error(
        "value for key {} already present in the advice map: previous values were '{prev_values:?}', attempted replacement values were '{new_values:?}'",
        key.to_hex()
    )]
    MapKeyAlreadyPresent {
        key: Word,
        prev_values: Vec<Felt>,
        new_values: Vec<Felt>,
    },
    #[error("value for key {} not present in the advice map", .key.to_hex())]
    MapKeyNotFound { key: Word },
    #[error("advice stack read failed")]
    StackReadFailed,
    #[error(
        "advice stack size exceeded: pushing {push_count} elements would exceed the maximum of {max}"
    )]
    StackSizeExceeded { push_count: usize, max: usize },
    #[error("advice map value size of {size} exceeds the maximum of {max}")]
    AdvMapValueSizeExceeded { size: usize, max: usize },
    #[error(
        "advice map element budget exceeded: adding {added} elements to the current {current} would exceed the maximum of {max}"
    )]
    AdvMapElementBudgetExceeded { current: usize, added: usize, max: usize },
    #[error(
        "Merkle store node budget exceeded: adding {added} nodes to the current {current} would exceed the maximum of {max}"
    )]
    MerkleStoreNodeBudgetExceeded { current: usize, added: usize, max: usize },
    #[error(
        "precompile request count budget exceeded: adding {added} requests to the current {current} would exceed the maximum of {max}"
    )]
    PrecompileRequestCountExceeded { current: usize, added: usize, max: usize },
    #[error(
        "precompile request calldata byte budget exceeded: adding {added} bytes to the current {current} would exceed the maximum of {max}"
    )]
    PrecompileRequestCalldataBudgetExceeded { current: usize, added: usize, max: usize },
    #[error(
        "provided merkle tree {depth} is out of bounds and cannot be represented as an unsigned 8-bit integer"
    )]
    InvalidMerkleTreeDepth { depth: Felt },
    #[error("provided node index {index} is out of bounds for a merkle tree node at depth {depth}")]
    InvalidMerkleTreeNodeIndex { depth: Felt, index: Felt },
    #[error("failed to lookup value in Merkle store")]
    MerkleStoreLookupFailed(#[source] MerkleError),
    /// Note: This error currently never occurs, since `MerkleStore::merge_roots()` never fails.
    #[error("Merkle store backend merge failed")]
    MerkleStoreMergeFailed(#[source] MerkleError),
    #[error("Merkle store backend update failed")]
    MerkleStoreUpdateFailed(#[source] MerkleError),
}