Module halo2_backend::transcript

source ·
Expand description

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 beginning and finishing of transcript pipeline.

Functions§