Struct BagPeaks

pub struct BagPeaks;

Bag peaks of an MMR into a single Digest.

Behavior

BEFORE: _ *mmr_accumulator
AFTER:  _ [bagged_peaks: Digest]

Preconditions

• the input argument points to a properly BFieldCodec-encoded list of Digests in memory
• the pointed-to MMR accumulator is consistent, i.e., the number of peaks matches with the number of set bits in the leaf count.

Postconditions

• the output is a single Digest computed like in [bag_peaks]
• the output is properly BFieldCodec encoded

Crashes

• if the MMR accumulator is inconsistent, i.e., if the number of peaks does not match the number of set bits in the leaf count

Trait Implementations

impl BasicSnippet for BagPeaks

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 BagPeaks

fn clone(&self) -> BagPeaks

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BagPeaks

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

Formats the value using the given formatter.

impl Hash for BagPeaks

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 BagPeaks

fn eq(&self, other: &BagPeaks) -> 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 BagPeaks

impl Eq for BagPeaks

impl StructuralPartialEq for BagPeaks