Crate binius_core

Modules

• challenger
  Fiat-Shamir instantiations of a random oracle.
• composition
• constraint_system
• fiat_shamir
• linear_code
  Linear error-correcting code traits.
• merkle_tree
• merkle_tree_vcs
• 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
• tower
  Traits for working with field towers.
• transcript
• transparent
• witness

Traits

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