Module binius_core::challenger

Fiat-Shamir instantiations of a random oracle.

The design of the challenger module is based on the p3-challenger crate from Plonky3. The challenger can observe prover messages and sample verifier randomness.

Re-exports

• pub use field_challenger::FieldChallenger;

Modules

• field_challenger

Structs

• IsomorphicChallenger
  A wrapper over the challenger api that CanSample and CanObserve over the BinaryField F2 where the internal challenger needs to sample and observe over the BinaryField F1 which must be isomorphic to F2

Traits

• CanObserve
• CanSample
• CanSampleBits

Functions

• new_duplex_challenger
  Construct a Fiat-Shamir challenger based on a duplex sponge construction.
• new_hasher_challenger
  Construct a Fiat-Shamir challenger from a normal, collision-resistant hash function.