Skip to main content

Module merkle

proof_cat_core::commit

Module merkle 

Source
Expand description

Merkle tree commitment scheme.

Commits to a vector of field elements by hashing each as a leaf, building a binary hash tree, and exposing the root as the binding commitment. Opening proofs are sibling paths from leaf to root.

Structsยง

MerkleProof
A Merkle opening proof: sibling hashes from leaf to root.
MerkleRoot
A Merkle tree root hash: the binding commitment.
MerkleTree
A Merkle tree over field element leaves.