Expand description
An input layer in order to generate random challenges for Fiat-Shamir. A part of the input layer that is random and secured through F-S
Structs§
- Fiat
Shamir Challenge - Represents a verifier challenge, where we generate random constants in the form of coefficients of an MLE that can be used e.g. for packing constants, or in logup, or permutation checks and so on.
- Fiat
Shamir Challenge Description - Verifier’s description of a FiatShamirChallenge.