Expand description
Utilities for generating Fiat-Shamir challenges based on an IOP’s transcript.
Structs§
- 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.
- Resampling
Error - Custom error raised when resampling is required for uniform bits but disabled
via
ErrorOnRejectionstrategy. - 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.
- CanSample
Uniform Bits - Uniform bit sampling interface.
- 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.
- Uniform
Grinding Challenger - Trait for challengers that support proof-of-work (PoW) grinding with guaranteed uniformly sampled bits.
- Uniform
Sampling Field - Trait for fields that support uniform bit sampling optimizations