Struct MerkleVerifyBusMessage 

#[repr(C)]
pub struct MerkleVerifyBusMessage<T> {
    pub merkle_idx_bit_src: T,
    pub current_idx_bit_src: T,
    pub total_depth: T,
    pub height: T,
    pub is_leaf: T,
    pub leaf_sub_idx: T,
    pub value: [T; 8],
    pub commit_major: T,
    pub commit_minor: T,
}

Fields

merkle_idx_bit_src: T

The idx of the merkle proof in the proof, might have additional bits (so not 0 at the root) It will be the same for all the rows in the hashing leaves part.

current_idx_bit_src: T

Merkle idx suffix after shifting right max(0, height - k) bits

total_depth: T

The total depth of the merkle proof including the leaves part, equal to merkle_proof.len()

• 1 + k

height: T

The height of this value, [0, k) are for the hashing leaves part, [k, total_depth) are for the merkle proof part.

is_leaf: T

Boolean value that indicates if this message is for the hashing leaves or Merkle proof part

leaf_sub_idx: T

For the leaves, it will be 0 ~ 2^k - 1, for the next intermediate values, it will be 0 ~ 2^{k-1} - 1 0 for merkle proof part.

value: [T; 8]

Either the leaf hash, or the intermediate hash, or the sibling hash

commit_major: T

commit_minor: T

Implementations

impl<T> MerkleVerifyBusMessage<T>

pub const fn width() -> usize

pub fn as_slice(&self) -> &[T]

pub fn as_slice_mut(&mut self) -> &mut [T]

Mutable view of the whole struct as a contiguous slice of T.

pub fn to_vec(&self) -> Vec<T>

where T: Clone,

Copy out the contents as a Vec. Requires T: Clone for the slice .to_vec().

Trait Implementations

impl<T> Borrow<MerkleVerifyBusMessage<T>> for [T]

fn borrow(&self) -> &MerkleVerifyBusMessage<T>

Immutably borrows from an owned value.

impl<T> BorrowMut<MerkleVerifyBusMessage<T>> for [T]

fn borrow_mut(&mut self) -> &mut MerkleVerifyBusMessage<T>

Mutably borrows from an owned value.

impl<T: Clone> Clone for MerkleVerifyBusMessage<T>

fn clone(&self) -> MerkleVerifyBusMessage<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MerkleVerifyBusMessage<T>

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

Formats the value using the given formatter.