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 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 StarkVerify

fn clone(&self) -> StarkVerify

Returns a copy 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.