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