Struct miden_core::mast::ExternalNode

pub struct ExternalNode { /* private fields */ }

Node for referencing procedures not present in a given MastForest (hence “external”).

External nodes can be used to verify the integrity of a program’s hash while keeping parts of the program secret. They also allow a program to refer to a well-known procedure that was not compiled with the program (e.g. a procedure in the standard library).

The hash of an external node is the hash of the procedure it represents, such that an external node can be swapped with the actual subtree that it represents without changing the MAST root.

Implementations

impl ExternalNode

pub fn new(procedure_hash: RpoDigest) -> Self

Returns a new ExternalNode instantiated with the specified procedure hash.

impl ExternalNode

pub fn digest(&self) -> RpoDigest

Returns the commitment to the MAST node referenced by this external node.

Trait Implementations

impl Clone for ExternalNode

fn clone(&self) -> ExternalNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExternalNode

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

Formats the value using the given formatter.

impl Display for ExternalNode

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

Formats the value using the given formatter.

impl PartialEq for ExternalNode

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

fn render(&self) -> Document

The core of the PrettyPrint functionality.

fn to_pretty_string(&self) -> String

Produce a String containing the results of pretty-printing this object.

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

Pretty-print this object to the given core::fmt::Formatter.

impl Eq for ExternalNode

impl StructuralPartialEq for ExternalNode