Module commitment 

CommitmentAxis declaration, parametric Merkle reference impl, and shape carriers.

Structs

MerkleProofShape

Parametric ConstrainedTypeShape for a Merkle-inclusion proof.

MerkleRoot

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

Constants

KERNEL_COMMIT

MAX_MERKLE_LEAVES

Maximum leaf count any MerkleRoot instantiation supports. Depth-6 binary tree; deeper Merkle commitments compose at the verb level (per ADR-024) rather than baking into the axis kernel.

Traits

CommitmentAxis

Wiki ADR-031 commitment schemes (Merkle, Pedersen, KZG).

Type Aliases

MerkleRootCommitment

SHA-256 Merkle root — the canonical default per ADR-031.