proof_cat_core/commit/mod.rs
1//! Polynomial commitment schemes.
2//!
3//! Provides the [`MerkleTree`] commitment scheme for binding
4//! a prover to a vector of field elements. Future versions
5//! will add additional schemes (e.g., `BaseFold`, FRI) as
6//! natural transformations of the commitment functor.
7
8pub mod merkle;
9
10pub use merkle::{MerkleProof, MerkleRoot, MerkleTree};