Struct MerkleRoot 

pub struct MerkleRoot<H: HashAxis, const LEAF_BYTES: usize = SHA256_BYTES>(/* private fields */);

Parametric Merkle-root commitment over any HashAxis impl H with H::MAX_OUTPUT_BYTES = LEAF_BYTES.

LEAF_BYTES is the leaf width (and the root width — Merkle’s input and output share the digest’s output size). The default, MerkleRootCommitment, uses SHA-256 (32-byte leaves and root).

Per ADR-031 a standard-library commitment composes other standard-library axes (HashAxis here); this is the canonical-reference example of axis composition the wiki commits to. Two MerkleRoot<H> instantiations with structurally-identical H content-address identically per ADR-017.

Trait Implementations

impl<H: HashAxis, const LEAF_BYTES: usize> AxisExtension for MerkleRoot<H, LEAF_BYTES>

const AXIS_ADDRESS: &'static str = <MerkleRoot<H, LEAF_BYTES> as CommitmentAxis>::AXIS_ADDRESS

ADR-017 content address of this axis trait. The SDK macro derives this from the trait name and method signatures.

const MAX_OUTPUT_BYTES: usize = <MerkleRoot<H, LEAF_BYTES> as CommitmentAxis>::MAX_OUTPUT_BYTES

Maximum bytes any kernel of this axis returns.

fn dispatch_kernel( kernel_id: u32, input: &[u8], out: &mut [u8], ) -> Result<usize, ShapeViolation>

Dispatch the kernel identified by kernel_id against the evaluated input bytes. The implementation copies the kernel’s output into out and returns the written length.

impl<H: Clone + HashAxis, const LEAF_BYTES: usize> Clone for MerkleRoot<H, LEAF_BYTES>

fn clone(&self) -> MerkleRoot<H, LEAF_BYTES>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<H: HashAxis, const LEAF_BYTES: usize> CommitmentAxis for MerkleRoot<H, LEAF_BYTES>

const AXIS_ADDRESS: &'static str = "https://uor.foundation/axis/CommitmentAxis/MerkleRootParametric"

const MAX_OUTPUT_BYTES: usize = LEAF_BYTES

fn commit(input: &[u8], out: &mut [u8]) -> Result<usize, ShapeViolation>

Commit to input — emits the commitment bytes into out.

impl<H: Debug + HashAxis, const LEAF_BYTES: usize> Debug for MerkleRoot<H, LEAF_BYTES>

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

Formats the value using the given formatter.

impl<H: HashAxis, const LEAF_BYTES: usize> Default for MerkleRoot<H, LEAF_BYTES>

fn default() -> Self

Returns the “default value” for a type.

impl<H: HashAxis, const LEAF_BYTES: usize> SubstrateTermBody for MerkleRoot<H, LEAF_BYTES>

fn body_arena() -> &'static [Term]

The Term arena the kernel decomposes to. Empty slice signals a primitive-fast-path axis whose body the implementation may evaluate through dispatch_kernel directly per ADR-055’s optional fast-path.

impl<H: Copy + HashAxis, const LEAF_BYTES: usize> Copy for MerkleRoot<H, LEAF_BYTES>

impl<H: HashAxis, const LEAF_BYTES: usize> Sealed for MerkleRoot<H, LEAF_BYTES>