Struct MmrPeaks

pub struct MmrPeaks { /* private fields */ }

Implementations

impl MmrPeaks

pub fn new(num_leaves: usize, peaks: Vec<RpoDigest>) -> Result<Self, MmrError>

Returns new MmrPeaks instantiated from the provided vector of peaks and the number of leaves in the underlying MMR.

Errors

Returns an error if the number of leaves and the number of peaks are inconsistent.

pub fn num_leaves(&self) -> usize

Returns a count of leaves in the underlying MMR.

pub fn num_peaks(&self) -> usize

Returns the number of peaks of the underlying MMR.

pub fn peaks(&self) -> &[RpoDigest]

Returns the list of peaks of the underlying MMR.

pub fn into_parts(self) -> (usize, Vec<RpoDigest>)

Converts this MmrPeaks into its components: number of leaves and a vector of peaks of the underlying MMR.

pub fn hash_peaks(&self) -> RpoDigest

Hashes the peaks.

The procedure will:

• Flatten and pad the peaks to a vector of Felts.
• Hash the vector of Felts.

pub fn verify(&self, value: RpoDigest, opening: MmrProof) -> bool

pub fn flatten_and_pad_peaks(&self) -> Vec<Felt>

Flattens and pads the peaks to make hashing inside of the Miden VM easier.

The procedure will:

• Flatten the vector of Words into a vector of Felts.
• Pad the peaks with ZERO to an even number of words, this removes the need to handle RPO padding.
• Pad the peaks to a minimum length of 16 words, which reduces the constant cost of hashing.

Trait Implementations

impl Clone for MmrPeaks

fn clone(&self) -> MmrPeaks

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MmrPeaks

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

Formats the value using the given formatter.

impl From<&MmrPeaks> for PartialMmr

fn from(peaks: &MmrPeaks) -> Self

Converts to this type from the input type.

impl From<&PartialMmr> for MmrPeaks

fn from(partial_mmr: &PartialMmr) -> Self

Converts to this type from the input type.

impl From<MmrPeaks> for PartialMmr

fn from(peaks: MmrPeaks) -> Self

Converts to this type from the input type.

impl From<MmrPeaks> for Vec<RpoDigest>

fn from(peaks: MmrPeaks) -> Self

Converts to this type from the input type.

impl From<PartialMmr> for MmrPeaks

fn from(partial_mmr: PartialMmr) -> Self

Converts to this type from the input type.

impl PartialEq for MmrPeaks

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

impl StructuralPartialEq for MmrPeaks