Expand description
Channel abstraction for public-coin interactive protocol provers.
In a public-coin interactive protocol, the prover sends deterministic messages while the
verifier’s messages consist entirely of random challenges. This module provides the
IPProverChannel trait that models the prover’s view of such an interaction.
The trait abstracts over:
- Sending prover messages (field elements)
- Sampling random challenges (which must match what the verifier samples)
This abstraction allows protocol implementations to be generic over the underlying communication mechanism, whether it’s an actual interactive channel or a non-interactive transcript using the Fiat-Shamir heuristic.
Traits§
- IPProver
Channel - Channel for sending prover messages and sampling challenges in a public-coin interactive protocol.
- WordIP
Prover Channel - A prover channel whose protocol carries 64-bit words alongside field elements.