Expand description
The core implementation of the Binius cryptographic protocols.
The core submodules expose cryptographic building blocks for the proof system. Each protocol has interfaces for both the prover and verifier sides. Prover-side functions are optimized for performance, while verifier-side functions are optimized for auditability and security.
Re-exports§
pub use inventory;
Modules§
- composition
- Commonly used composition polynomials.
- constraint_
system - fiat_
shamir - merkle_
tree - oracle
- Polynomial oracles in the polynomial interactive oracle protocol (PIOP) model.
- piop
- The compilation of a multilinear polynomial IOP to an IP using the techniques from DP24 (FRI-Binius).
- polynomial
- protocols
- Implementations of various virtual polynomial protocols.
- reed_
solomon - ring_
switch - Interactive reduction from evaluation claims on committed small-field multilinear polynomials to sumcheck claims on products of committed packed multilinears and transparent polynomials.
- tensor_
algebra - tower
- Traits for working with field towers.
- transcript
- Objects used to read and write proof strings.
- transparent
- witness