Crate binius_core

Modules

• challenger
  Fiat-Shamir instantiations of a random oracle.
• composition
• linear_code
  Linear error-correcting code traits.
• merkle_tree
• oracle
  Polynomial oracles in the polynomial interactive oracle protocol (PIOP) model.
• poly_commit
• polynomial
• protocols
  Implementations of various virtual polynomial protocols.
• reed_solomon
• tensor_algebra
• transparent
• util
• witness

Macros

• felts

Traits

• StepExperimental
  Objects that have a notion of successor and predecessor operations.