Structs§
- A binary Merkle tree for field data. It has leaves of type
F
and digests of type[W; DIGEST_ELEMS]
. - A vector commitment scheme backed by a
FieldMerkleTree
.
Functions§
- 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
.