Struct StarkVerify 

pub struct StarkVerify { /* private fields */ }

Verify a STARK proof.

Verify a STARK proof located in memory. Assumes the nondeterministic digests stream has been updated with the digests extracted from the proof using update_nondeterminism. Crashes the VM if the proof is invalid.

Stack signature:

• BEFORE: _ *claim *proof
• AFTER: _

Implementations

impl StarkVerify

pub fn new_with_static_layout(stark: Stark) -> Self

pub fn new_with_dynamic_layout(stark: Stark) -> Self

pub fn number_of_nondeterministic_digests_consumed( &self, proof: &Proof, ) -> usize

The number of nondeterministic digests that will be consumed when this snippet verifies the given proof.

pub fn number_of_nondeterministic_tokens_consumed( &self, _proof: &Proof, _claim: &Claim, ) -> usize

The number of nondeterministic individual tokens that will be consumed when this snippet verifies the given (claim, proof) pair.

pub fn update_nondeterminism( &self, nondeterminism: &mut NonDeterminism, proof: &Proof, claim: &Claim, )

Prepares the non-determinism for verifying a STARK proof. Specifically, extracts the digests for traversing authentication paths and appends them to nondeterministic digests. Leaves memory and individual tokens intact.

Trait Implementations

impl BasicSnippet for StarkVerify

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 StarkVerify

fn clone(&self) -> StarkVerify

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StarkVerify

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

Formats the value using the given formatter.

impl Copy for StarkVerify