Struct miden_core::mast::DynNode

pub struct DynNode;

A Dyn node specifies that the node to be executed next is defined dynamically via the stack.

Implementations

impl DynNode

Constants

pub const DOMAIN: Felt = _

The domain of the Dyn block (used for control block hashing).

impl DynNode

Public accessors

pub fn digest(&self) -> RpoDigest

Returns a commitment to a Dyn node.

The commitment is computed by hashing two empty words ([ZERO; 4]) in the domain defined by Self::DOMAIN, i.e.:

Hasher::merge_in_domain(&[Digest::default(), Digest::default()], DynNode::DOMAIN);

Trait Implementations

impl Clone for DynNode

fn clone(&self) -> DynNode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DynNode

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

Formats the value using the given formatter.

impl Default for DynNode

fn default() -> DynNode

Returns the “default value” for a type.

impl Display for DynNode

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

Formats the value using the given formatter.

impl PartialEq for DynNode

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

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 DynNode

impl StructuralPartialEq for DynNode