Struct Transcript 

pub struct Transcript<H: Hasher = DefaultHasher> { /* private fields */ }

Fiat-Shamir transcript as a continuous hash chain: inputs update the running state; challenges are produced by finalizing a clone and re-absorbing the digest so each squeeze depends on every prior op.

Generic over H so SHA3 / Blake3 / Poseidon backends are interchangeable.

Implementations

impl<H: Hasher> Transcript<H>

pub fn new(label: &'static [u8]) -> Self

Create a new transcript with a domain separator.

pub fn append_message(&mut self, label: &'static [u8], message: &[u8])

Append labelled bytes. The length prefix is required to block length-extension collisions between messages.

pub fn append_u64(&mut self, label: &'static [u8], value: u64)

Append a u64 for protocol context (num_rows, num_cols, bus heights, …).

pub fn append_field<F: TowerField>(&mut self, label: &'static [u8], element: F)

pub fn append_field_list<F: TowerField>( &mut self, label: &'static [u8], elements: &[F], )

Append a list of field elements (e.g. a polynomial’s round coefficients). Length-prefixed and serialized via TowerField::to_bytes() for canonical, padding-free, endian-agnostic hashing.

pub fn challenge_field<F: TowerField>( &mut self, label: &'static [u8], ) -> Result<F>

Draw a field challenge via the wide-pipe Fiat-Shamir pattern: finalize a clone of the running hasher (preserving full internal entropy), then re-absorb the digest so the next challenge depends on this one.

Trait Implementations

impl<H: Clone + Hasher> Clone for Transcript<H>

fn clone(&self) -> Transcript<H>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<H: Debug + Hasher> Debug for Transcript<H>

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

Formats the value using the given formatter.