proof-cat-core 0.1.0

Field-agnostic proof-system primitives (sumcheck, multilinear, Fiat-Shamir, Merkle) shared by proof-cat and stark-cat
Documentation
1
2
3
4
5
6
7
8
//! Polynomial representations.
//!
//! Provides [`MultilinearPoly`], the core data structure for the
//! sumcheck protocol.

pub mod multilinear;

pub use multilinear::{MultilinearPoly, NumVars};