Struct CpuTranscript 

pub struct CpuTranscript { /* private fields */ }

SIMD-optimized transcript backed by Plonky3’s DuplexChallenger.

Produces identical Fiat-Shamir challenges as the standard DuplexSponge transcript, but with ~4x faster proof-of-work grinding on aarch64 NEON (8x on x86 AVX2).

Trait Implementations

impl Clone for CpuTranscript

fn clone(&self) -> CpuTranscript

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CpuTranscript

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

Formats the value using the given formatter.

impl FiatShamirTranscript<BabyBearPoseidon2Config> for CpuTranscript

fn observe(&mut self, value: BabyBear)

fn sample(&mut self) -> BabyBear

fn observe_commit(&mut self, digest: [BabyBear; 8])

Implementations should pass through to Self::observe, but no default implementation is provided since an explicit conversion from Digest to array of F is required.

fn grind(&mut self, bits: usize) -> BabyBear

Finds a proof-of-work witness w such that Self::check_witness(bits, w) holds, by brute force over the base field.

fn observe_ext(&mut self, value: <SC as StarkProtocolConfig>::EF)

fn sample_ext(&mut self) -> <SC as StarkProtocolConfig>::EF

fn sample_bits(&mut self, bits: usize) -> u64

Samples and returns an integer in the range [0, 2^bits).

fn check_witness( &mut self, bits: usize, witness: <SC as StarkProtocolConfig>::F, ) -> bool

Checks a proof-of-work witness: observes witness into the transcript and accepts iff the next Self::sample_bits is zero (probability ≈ 2^{-bits} for a random witness, so Self::grind tries ≈ 2^bits witnesses to find one).

impl From<Poseidon2<MontyField31<BabyBearParameters>, Poseidon2ExternalLayerMonty31<BabyBearParameters, WIDTH>, Poseidon2InternalLayerMonty31<BabyBearParameters, WIDTH, BabyBearInternalLayerParameters>, WIDTH, p3_baby_bear::::poseidon2::Poseidon2BabyBear::{constant#0}>> for CpuTranscript

fn from(perm: Poseidon2BabyBear<WIDTH>) -> Self

Converts to this type from the input type.