Module 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 a challenger that isomorphically converts field elements sampled and observed.

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.