RFC 6962 / 9162 Merkle inclusion and consistency proof verification.
Thin, idiomatic wrappers over the audited metamorphic-log Rust core — the
same code path used by the browser WASM SDK, so a proof that verifies here
verifies identically in the browser and on the server.
Encoding
Hashes, roots, and each proof node are base64-encoded binaries (standard padded alphabet). A proof is a list of base64 strings, each a 32-byte SHA-256 node hash, ordered as produced by the log.
Return shape
The verify_* functions return :ok when the proof checks out, or
{:error, reason} for either a failed check or malformed input — faithful to
the engine's Result. The valid_*?/n predicates collapse that to a boolean
for call sites that only need a yes/no.
Scheduling
Verification runs on a dirty CPU scheduler, so a burst of proof checks won't block the BEAM's normal schedulers.
Summary
Functions
Boolean form of verify_consistency/5. Returns true only on a valid proof.
Boolean form of verify_inclusion/5. Returns true only on a valid proof.
Verify that a log of root2 (size2 leaves) is a consistent, append-only
extension of an earlier log of root1 (size1 leaves).
Verify that leaf_hash is included at index in a tree of size leaves
whose root is root.
Functions
@spec valid_consistency?( non_neg_integer(), non_neg_integer(), [String.t()], String.t(), String.t() ) :: boolean()
Boolean form of verify_consistency/5. Returns true only on a valid proof.
@spec valid_inclusion?( non_neg_integer(), non_neg_integer(), String.t(), [String.t()], String.t() ) :: boolean()
Boolean form of verify_inclusion/5. Returns true only on a valid proof.
@spec verify_consistency( size1 :: non_neg_integer(), size2 :: non_neg_integer(), proof_b64 :: [String.t()], root1_b64 :: String.t(), root2_b64 :: String.t() ) :: :ok | {:error, String.t()}
Verify that a log of root2 (size2 leaves) is a consistent, append-only
extension of an earlier log of root1 (size1 leaves).
proof is a list of base64-encoded hashes. Returns :ok or
{:error, reason}.
Example
:ok = MetamorphicLog.Proof.verify_consistency(size1, size2, proof, root1, root2)@spec verify_inclusion( index :: non_neg_integer(), size :: non_neg_integer(), leaf_hash_b64 :: String.t(), proof_b64 :: [String.t()], root_b64 :: String.t() ) :: :ok | {:error, String.t()}
Verify that leaf_hash is included at index in a tree of size leaves
whose root is root.
proof is a list of base64-encoded sibling hashes. Returns :ok or
{:error, reason}.
Example
:ok = MetamorphicLog.Proof.verify_inclusion(index, size, leaf_hash, proof, root)