Struct VerifyTableRows

pub struct VerifyTableRows {
    pub column_type: ColumnType,
}

Crashes the VM is the table rows do not authenticate against the provided Merkle root First hashes the rows, then verifies that the digests belong in the Merkle tree.

Fields

column_type: ColumnType

Implementations

impl VerifyTableRows

pub fn new(column_type: ColumnType) -> Self

impl VerifyTableRows

pub fn row_size(&self) -> usize

Trait Implementations

impl BasicSnippet for VerifyTableRows

fn inputs(&self) -> Vec<(DataType, String)>

fn outputs(&self) -> Vec<(DataType, String)>

fn entrypoint(&self) -> String

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

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

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

fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>

Intial stack on program start, when the snippet runs in isolation.

fn stack_diff(&self) -> isize

impl Clone for VerifyTableRows

fn clone(&self) -> VerifyTableRows

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyTableRows

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

Formats the value using the given formatter.

impl Copy for VerifyTableRows