Struct VerifyMmrSuccessor

pub struct VerifyMmrSuccessor;

Verify that one MMR is a successor to another.

Verify the successorship 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 nondeterminism. Accordingly, nondeterminism must be initialized correctly with the MmrSuccessorProof.

The snippet crashes if the relation does not hold, or if the proof is invalid.

Behavior

BEFORE: _ *old_mmr *new_mmr
AFTER:  _

Preconditions

None.

Postconditions

• the new_mmr is a successor of the old_mmr

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 sign_offs(&self) -> HashMap<Reviewer, SignOffFingerprint>

Contains an entry for every sign off.

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>

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

fn stack_diff(&self) -> isize

impl Clone for VerifyMmrSuccessor

fn clone(&self) -> VerifyMmrSuccessor

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for VerifyMmrSuccessor

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

Formats the value using the given formatter.

impl Hash for VerifyMmrSuccessor

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for VerifyMmrSuccessor

fn eq(&self, other: &VerifyMmrSuccessor) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for VerifyMmrSuccessor

impl Eq for VerifyMmrSuccessor

impl StructuralPartialEq for VerifyMmrSuccessor