Structs§
- Field
Merkle Tree - A binary Merkle tree for field data. It has leaves of type
Fand digests of type[W; DIGEST_ELEMS]. - Field
Merkle Tree Mmcs - A vector commitment scheme backed by a
FieldMerkleTree.
Functions§
- compress_
and_ inject - Compress
ndigests from the previous layer inton/2digests, while potentially mixing in some leaf data, if there are input matrices with (padded) heightn/2. - first_
digest_ layer