Expand description
The FiatShamirChallengeNode is a node that represents when the verifier has to send challenges to the prover, which it samples via the Fiat-Shamir transformation.
Currently, when the circuit builder is generating a circuit, the actual challenge is not sampled yet, so this node serves as a placeholder for an indeterminate that will later be populated by the challenge that the verifier sapmles.
For example, one use-case for this node is in LogUp circuits, where the denominator of the left-hand-side terms of the logup summation equation contains an indeterminate, which is later replaced with a random challenge sampled via FiatShamir. In that case, we would use the FiatShamirChallengeNode while building the circuit.
Structsยง
- Fiat
Shamir Challenge Node - The node representing the random challenge that the verifier supplies via Fiat-Shamir.