Struct PcsProverTranscript 

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

A transcript for Polynomial Commitment Scheme (PCS) operations. Manages both Fiat-Shamir transformations and serialization/deserialization of proof data.

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 PcsProverTranscript

pub fn new_from_commitment(comm: &ZipPlusCommitment) -> Self

pub fn new_from_commitments<'a>( comms: impl Iterator<Item = &'a ZipPlusCommitment>, ) -> Self

pub fn reserve_capacity(&mut self, additional_capacity: usize)

pub fn into_verification_transcript(self) -> PcsVerifierTranscript

Transform the prover transcript into a verifier transcript by resetting the stream. Note that the commitment must be absorbed again into the verifier transcript. This would normally be done by the verifier, but this allows us more flexibility in how we use the transcript.

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 write_field_elements<F>(&mut self, elems: &[F]) -> Result<(), ZipError>

where F: PrimeField, F::Inner: Transcribable, F::Modulus: Transcribable,

pub fn write<T: Transcribable>(&mut self, v: &T) -> Result<(), ZipError>

pub fn write_const_many<T: ConstTranscribable>( &mut self, vs: &[T], ) -> Result<(), ZipError>

pub fn write_const_many_iter<'a, T, I>( &mut self, vs: I, vs_len: usize, ) -> Result<(), ZipError>

where T: ConstTranscribable + 'a, I: IntoIterator<Item = &'a T>,

pub fn write_merkle_proof( &mut self, proof: &MerkleProof, ) -> Result<(), ZipError>

Trait Implementations

impl Clone for PcsProverTranscript

fn clone(&self) -> PcsProverTranscript

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PcsProverTranscript

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

Formats the value using the given formatter.