Module transcript

This module contains utilities and traits for dealing with Fiat-Shamir transcripts.

Structs

• Blake2bRead
  We will replace BLAKE2b with an algebraic hash function in a later version.
• Blake2bWrite
  We will replace BLAKE2b with an algebraic hash function in a later version.
• Challenge255
  A 255-bit challenge.
• ChallengeScalar
  The scalar representation of a verifier challenge.
• Keccak256Read
  Keccak256 hash function reader for EVM compatibility
• Keccak256Write
  Keccak256 hash function writer for EVM compatibility

Traits

• EncodedChallenge
  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.
• Transcript
  Generic transcript view (from either the prover or verifier’s perspective)
• TranscriptRead
  Transcript view from the perspective of a verifier that has access to an input stream of data from the prover to the verifier.
• TranscriptReadBuffer
  Initializes transcript at verifier side.
• TranscriptWrite
  Transcript view from the perspective of a prover that has access to an output stream of messages from the prover to the verifier.
• TranscriptWriterBuffer
  Manages begining and finising of transcript pipeline.