Trait boojum::gadgets::recursion::recursive_transcript::RecursiveTranscript

pub trait RecursiveTranscript<F: SmallField>: Transcript<F> {
    type CircuitReflection: CircuitTranscript<F, TransciptParameters = <Self as Transcript<F>>::TransciptParameters>;
}

Required Associated Types

type CircuitReflection: CircuitTranscript<F, TransciptParameters = <Self as Transcript<F>>::TransciptParameters>

Object Safety

This trait is not object safe.

Implementors

impl RecursiveTranscript<GoldilocksField> for GoldilocksPoisedon2Transcript

type CircuitReflection = CircuitAlgebraicSpongeBasedTranscript<GoldilocksField, 8, 12, 4, Poseidon2Goldilocks>