Crate binius_core

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.

Modules

• composition
  Commonly used composition polynomials.
• constraint_system
• fiat_shamir
• linear_code
  Linear error-correcting code traits.
• 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