Module halo2::transcript [−][src]
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.
The scalar representation of a verifier challenge.
Traits
EncodedChallenge<C> defines a challenge encoding with a Self::Input
that is used to derive the challenge encoding and get_challenge obtains
the real C::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.
Transcript view from the perspective of a prover that has access to an output stream of messages from the prover to the verifier.