Module binius_core::challenger

source ·
Expand description

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.


  • A Fiat-Shamir challenger based on a duplex sponge construction.
  • A Fiat-Shamir challenger constructed with a normal, collision-resistant hash function.