proof-cat 0.2.0

Sumcheck-based proving backend for plonkish-cat circuits
Documentation 
1
2
3
4
5
6
7
8
9
10

//! Polynomial commitment schemes.
//!
//! Provides the [`MerkleTree`] commitment scheme for binding
//! a prover to a vector of field elements.  Future versions
//! will add additional schemes (e.g., `BaseFold`, FRI) as
//! natural transformations of the commitment functor.

pub mod merkle;

pub use merkle::{MerkleProof, MerkleRoot, MerkleTree};