Skip to main content

TranscriptChallenger

Trait TranscriptChallenger 

Source
pub trait TranscriptChallenger<F, C>:
    Clone
    + CanObserve<F>
    + CanObserve<C>
    + CanSample<F>
    + CanSampleBits<usize>
    + GrindingChallenger<Witness = F>
    + CanFinalizeDigest
where F: Field,
{ }
Expand description

Bundle of challenger bounds required by transcript channels.

Any challenger that satisfies CanObserve<F>, CanObserve<C>, CanSample<F>, CanSampleBits<usize>, GrindingChallenger<Witness = F>, and CanFinalizeDigest automatically implements this trait via a blanket impl.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<F, C, Ch> TranscriptChallenger<F, C> for Ch