Struct Blake3Transcript 

pub struct Blake3Transcript { /* private fields */ }

A cryptographic transcript implementation using the BLAKE3 hash function. Used for Fiat-Shamir transformations in zero-knowledge proof systems.

Implementations

impl Blake3Transcript

pub fn new() -> Self

Trait Implementations

impl Clone for Blake3Transcript

fn clone(&self) -> Blake3Transcript

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Blake3Transcript

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

Formats the value using the given formatter.

impl Default for Blake3Transcript

fn default() -> Self

Returns the “default value” for a type.

impl Transcript for Blake3Transcript

fn get_challenge<T: ConstTranscribable>(&mut self) -> T

Generates a pseudorandom transcribable value as a challenge based on the current transcript state, updating it.

fn get_prime<R: ConstIntSemiring + ConstTranscribable, T: PrimalityTest<R>>( &mut self, ) -> R

fn absorb_inner(&mut self, v: &[u8])

Absorbs a byte slice into the hash sponge. This updates the internal state of the hasher with the provided data. Should not be used directly.

fn get_field_challenge<F: PrimeField>(&mut self, cfg: &F::Config) -> F

where F::Inner: ConstTranscribable,

fn get_field_challenges<F: PrimeField>( &mut self, n: usize, cfg: &F::Config, ) -> Vec<F>

where F::Inner: ConstTranscribable,

Generates a pseudorandom transcribable values as challenges based on the current transcript state, updating it.

fn get_challenges<T: ConstTranscribable>(&mut self, n: usize) -> Vec<T>

Generates a pseudorandom transcribable values as challenges based on the current transcript state, updating it.

fn get_random_field_cfg<F, FMod, T>(&mut self) -> F::Config

where F: PrimeField, FMod: ConstTranscribable + ConstIntSemiring, F::Modulus: FromRef<FMod>, T: PrimalityTest<FMod>,

fn absorb_slice(&mut self, buf: &[u8])

Absorbs a byte slice into the transcript.

fn absorb_random_field<F>(&mut self, v: &F, buf: &mut [u8])

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

Absorbs a field element into the transcript. Delegates to the field element’s implementation of absorb_into_transcript.

fn absorb_random_field_slice<F>(&mut self, v: &[F], buf: &mut [u8])

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

Absorbs a slice of field element into the transcript. Delegates to the field element’s implementation of absorb_into_transcript.