tasm-lib 3.0.0

Code snippets for Triton VM assembly with tests and statistics.
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

use std::collections::HashMap;
use strum::Display;
use triton_vm::prelude::*;

use crate::prelude::*;

pub trait RustShadow {
    fn inner(&self) -> &dyn BasicSnippet;

    fn rust_shadow_wrapper(
        &self,
        stdin: &[BFieldElement],
        nondeterminism: &NonDeterminism,
        stack: &mut Vec<BFieldElement>,
        memory: &mut HashMap<BFieldElement, BFieldElement>,
        sponge: &mut Option<Tip5>,
    ) -> Result<Vec<BFieldElement>, RustShadowError>;

    fn test(&self);

    fn bench(&self);
}

/// Errors that can occur during the execution of the [Rust shadow](RustShadow)
/// implementation of a snippet.
#[derive(Debug, Display, Copy, Clone, Eq, PartialEq)]
pub enum RustShadowError {
    ArithmeticOverflow,
    DecodingError,
    InvalidProof,
    SpongeUninitialized,
    StackUnderflow,
    U64ToU32Error,
    U64ToUsizeError,
    UsizeToU32Error,
    VmError,

    /// Mimics a Triton VM [AssertionError](isa::instruction::AssertionError).
    ///
    /// The payload can be used to check error ID equivalence.
    AssertionError(i128),

    /// Like [AssertionError](Self::AssertionError), but for vector assertions.
    VectorAssertionError(i128),

    /// An unspecified issue.
    Other,
}

impl std::error::Error for RustShadowError {}