Struct MmrVerifyFromMemory

pub struct MmrVerifyFromMemory;

Trait Implementations

impl Clone for MmrVerifyFromMemory

fn clone(&self) -> MmrVerifyFromMemory

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MmrVerifyFromMemory

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MmrVerifyFromMemory

fn default() -> MmrVerifyFromMemory

Returns the “default value” for a type.

impl DeprecatedSnippet for MmrVerifyFromMemory

fn entrypoint_name(&self) -> String

The name of a Snippet

fn input_field_names(&self) -> Vec<String>

The input stack

fn input_types(&self) -> Vec<DataType>

fn output_field_names(&self) -> Vec<String>

The output stack

fn output_types(&self) -> Vec<DataType>

fn stack_diff(&self) -> isize

The stack difference

fn function_code(&self, library: &mut Library) -> String

The function

fn crash_conditions(&self) -> Vec<String>

Ways in which this snippet can crash at runtime

fn gen_input_states(&self) -> Vec<InitVmState>

Examples of valid initial states for running this snippet

fn common_case_input_state(&self) -> InitVmState

fn worst_case_input_state(&self) -> InitVmState

fn rust_shadowing( &self, stack: &mut Vec<BFieldElement>, _std_in: Vec<BFieldElement>, _secret_in: Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement>, )

fn function_code_as_instructions( &self, library: &mut Library, ) -> Vec<LabelledInstruction>

fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>

fn link_and_run_tasm_for_test( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, nondeterminism: NonDeterminism, ) -> Result<VMState>

Return Ok(vm_output_state) if execution succeeds, Err(error_message) if VM execution fails, panics if anything else goes wrong.

fn link_and_run_tasm_for_bench( &self, stack: &mut Vec<BFieldElement>, std_in: Vec<BFieldElement>, nondeterminism: NonDeterminism, ) -> Result<BenchmarkResult>

fn link_and_run_tasm_from_state_for_test( &self, execution_state: &mut InitVmState, ) -> VMState

fn link_and_run_tasm_from_state_for_bench( &self, execution_state: &mut InitVmState, ) -> Result<BenchmarkResult>

impl Hash for MmrVerifyFromMemory

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for MmrVerifyFromMemory

fn eq(&self, other: &MmrVerifyFromMemory) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for MmrVerifyFromMemory

impl Eq for MmrVerifyFromMemory

impl StructuralPartialEq for MmrVerifyFromMemory