Struct PcsVerifierTranscript 

pub struct PcsVerifierTranscript {
    pub fs_transcript: Blake3Transcript,
    pub stream: Cursor<Vec<u8>>,
}

Version of [PcsProverTranscript] used for proof verification.

Fields

fs_transcript: Blake3Transcript

Handles Fiat-Shamir transformations for non-interactive zero-knowledge proofs. Used to absorb field elements and generate cryptographic challenges.

stream: Cursor<Vec<u8>>

Manages serialization and deserialization of proof data as a byte stream.

Implementations

impl PcsVerifierTranscript

pub fn squeeze_challenge_idx(&mut self, cap: usize) -> usize

Generates a pseudorandom index based on the current transcript state. Used to create deterministic challenges for zero-knowledge protocols. Returns an index between 0 and cap-1.

pub fn check_eof(&self) -> Result<(), TranscriptError>

Returns an error unless the whole proof stream has been consumed.

Call this once at the end of verification, after every component sharing the stream has read its section.

pub fn read_field_elements<C>( &mut self, cfg: &C, n: usize, ) -> Result<Vec<C::Element>, TranscriptError>

where C: BaseFieldConfig, C::Integer: ConstTranscribable,

Reads canonical lifted integers from the proof stream, strictly validates them against the field modulus, projects them into the field, and absorbs the resulting elements into the transcript. The mirror of PcsProverTranscript::write_field_elements.

Rejects any integer >= modulus: every field value has exactly one accepted encoding on the wire.

pub fn read<T: Transcribable>(&mut self) -> Result<T, TranscriptError>

pub fn read_const_many<T: ConstTranscribable>( &mut self, n: usize, ) -> Result<Vec<T>, TranscriptError>

pub fn read_merkle_proof(&mut self) -> Result<MerkleProof, TranscriptError>

Trait Implementations

impl Clone for PcsVerifierTranscript

fn clone(&self) -> PcsVerifierTranscript

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PcsVerifierTranscript

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.