proof-cat 0.1.0

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

//! Field implementations and serialization.
//!
//! Provides [`BabyBear`], a prime field with characteristic `2^31 - 1`,
//! and the [`FieldBytes`] trait for transcript serialization.

pub mod baby_bear;
pub mod serialize;

pub use baby_bear::BabyBear;
pub use serialize::FieldBytes;