Crate slop_merkle_tree 

Structs

FieldMerkleTree

A binary Merkle tree for field data. It has leaves of type F and digests of type [W; DIGEST_ELEMS].

FieldMerkleTreeDigests

FieldMerkleTreeMmcs

A vector commitment scheme backed by a FieldMerkleTree.

FieldMerkleTreeProver

MerkleTreeOpeningAndProof

An opening of a tensor commitment scheme.

MerkleTreeTcs

A merkle tree Tensor commitment scheme.

MerkleTreeTcsProof

Enums

MerkleTreeTcsError

Traits

ComputeTcsOpenings

Trait for computing openings at indices.

TensorCsProver

Trait for tensor commitment scheme provers.

Functions

compress_and_inject

Compress n digests from the previous layer into n/2 digests, while potentially mixing in some leaf data, if there are input matrices with (padded) height n/2.

first_digest_layer

Type Aliases

BnProver

Poseidon2BabyBear16Prover

Poseidon2KoalaBear16Prover