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 parameters(&self) -> Vec<(DataType, String)>

The parameters expected by this snippet.

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

The (types of the) values this snippet computes.

fn entrypoint(&self) -> String

The name of the snippet as a possible target for Triton VM’s instruction call.

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

The Triton Assembly that defines this snippet.

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

Adds “type hints” to the code.

fn stack_diff(&self) -> isize

The size difference of the stack as a result of executing this snippet.

fn sign_offs(&self) -> HashMap<Reviewer, SignOffFingerprint>

Contains an entry for every sign off.

impl Clone for VerifyTableRows

fn clone(&self) -> VerifyTableRows

Returns a duplicate 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