Module halo2_proofs::transcript
source · Expand description
This module contains utilities and traits for dealing with Fiat-Shamir transcripts.
Structs§
- We will replace BLAKE2b with an algebraic hash function in a later version.
- We will replace BLAKE2b with an algebraic hash function in a later version.
- A 255-bit challenge.
Traits§
EncodedChallenge<C>
defines a challenge encoding with aSelf::Input
that is used to derive the challenge encoding andget_challenge
obtains the realC::Scalar
that the challenge encoding represents.- Generic transcript view (from either the prover or verifier’s perspective)
- Transcript view from the perspective of a verifier that has access to an input stream of data from the prover to the verifier.
- Initializes transcript at verifier side.
- Transcript view from the perspective of a prover that has access to an output stream of messages from the prover to the verifier.
- Manages beginning and finishing of transcript pipeline.