Expand description
§proof-cat-core
Field-agnostic proof-system primitives shared by
proof_cat (PLONKish
sumcheck backend) and the future stark-cat (modern STARK
sumcheck + FRI backend).
Everything here is independent of any particular constraint system; downstream crates layer their constraint vocabulary on top.
§Modules
transcript– Functional Fiat-Shamir transcript over SHA-256.commit– Hash-based vector commitment (MerkleTree).poly– Multilinear polynomial evaluation tables on{0,1}^n.sumcheck– Sumcheck prover and verifier.
Field types (the Field trait, the
FieldBytes transcript-serialization
trait, and concrete fields like BabyBear,
F101, and
BFieldElement) live in the sibling
field_cat crate.
Re-exports§
pub use error::Error;pub use poly::MultilinearPoly;pub use poly::NumVars;pub use sumcheck::SumcheckClaim;pub use sumcheck::SumcheckProof;pub use sumcheck::sumcheck_prove;pub use sumcheck::sumcheck_verify;pub use transcript::Transcript;
Modules§
- commit
- Polynomial commitment schemes.
- error
- Project-wide error type.
- poly
- Polynomial representations.
- sumcheck
- The sumcheck interactive proof protocol.
- transcript
- Fiat-Shamir transcript for non-interactive proofs.