Struct VerifyMmrSuccessor

pub struct VerifyMmrSuccessor;

Verify that one MMR is a successor to another.

Verify the scucessorship relation between two MMRs. A MmrSuccessorProof is necessary to demonstrate this relation, but it is not a stack argument because this algorithm obtains the relevant info (authentication paths) from nondeterministic digests. Accordingly, nondeterminism must be initialized correctly with the MmrSuccessorProof.

This snippet crashes if the relation does not hold (or if the proof is invalid).

Implementations

impl VerifyMmrSuccessor

pub fn update_nondeterminism( nondeterminism: &mut NonDeterminism, mmr_successor_proof: &MmrSuccessorProof, )

Update a nondeterminism in accordance with verifying a given MmrSuccessorProof with this snippet.

Trait Implementations

impl BasicSnippet for VerifyMmrSuccessor

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