proof-cat 0.1.0

Sumcheck-based proving backend for plonkish-cat circuits
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};