Struct miden_objects::crypto::merkle::ValuePath

pub struct ValuePath {
    pub value: RpoDigest,
    pub path: MerklePath,
}

A container for a crate::Word value and its MerklePath opening.

Fields

value: RpoDigest

The node value opening for path.

path: MerklePath

The path from value to root (exclusive).

Implementations

impl ValuePath

pub fn new(value: RpoDigest, path: MerklePath) -> ValuePath

Returns a new ValuePath instantiated from the specified value and path.

Trait Implementations

impl Clone for ValuePath

fn clone(&self) -> ValuePath

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ValuePath

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

Formats the value using the given formatter.

impl Default for ValuePath

fn default() -> ValuePath

Returns the “default value” for a type.

impl Deserializable for ValuePath

fn read_from<R>(source: &mut R) -> Result<ValuePath, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl From<(MerklePath, [BaseElement; 4])> for ValuePath

fn from(_: (MerklePath, [BaseElement; 4])) -> ValuePath

Converts to this type from the input type.

impl PartialEq for ValuePath

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Serializable for ValuePath

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Eq for ValuePath

impl StructuralPartialEq for ValuePath