Expand description
Utilities for generating Fiat-Shamir challenges based on an IOP’s transcript.
Structs§
- Complex
Field Challenger - Wrapper challenger that implements
FieldChallenger<Complex<Mersenne31>>by delegating to a base field challenger and using algebra element methods. - Duplex
Challenger - A generic duplex sponge challenger over a finite field, used for generating deterministic challenges from absorbed inputs.
- Hash
Challenger - A generic challenger that uses a cryptographic hash function to generate challenges.
- Multi
Field32 Challenger - A challenger that operates natively on PF but produces challenges of F: PrimeField32.
- Serializing
Challenger32 - Given a challenger that can observe and sample bytes, produces a challenger that is able to
sample and observe field elements of a
PrimeField32. - Serializing
Challenger64 - Given a challenger that can observe and sample bytes, produces a challenger that is able to
sample and observe field elements of a
PrimeField64field.
Traits§
- CanObserve
- A generic trait for absorbing elements into the transcript.
- CanSample
- A trait for sampling challenge elements from the Fiat-Shamir transcript.
- CanSample
Bits - A trait for sampling random bitstrings from the Fiat-Shamir transcript.
- Field
Challenger - A high-level trait combining observation and sampling over a finite field.
- Grinding
Challenger - Trait for challengers that support proof-of-work (PoW) grinding.
Type Aliases§
- Sha3_
256Challenger32 - A SHA3-256-based challenger for 32-bit prime fields.
- Sha3_
256Challenger64 - A SHA3-256-based challenger for 64-bit prime fields.
- Shake128
Challenger32 - A SHAKE128-based challenger for 32-bit prime fields.
- Shake128
Challenger64 - A SHAKE128-based challenger for 64-bit prime fields.
- Shake256
Challenger32 - A SHAKE256-based challenger for 32-bit prime fields.
- Shake256
Challenger64 - A SHAKE256-based challenger for 64-bit prime fields.