Trait Challenger

pub trait Challenger {
    // Required methods
    fn sampler(&mut self) -> &mut impl Buf;
    fn observer(&mut self) -> &mut impl BufMut;
}

A Fiat-Shamir challenger that can observe prover messages and sample verifier randomness.

Required Methods

fn sampler(&mut self) -> &mut impl Buf

Returns an infinite buffer for reading pseudo-random bytes.

fn observer(&mut self) -> &mut impl BufMut

Returns and infinite buffer for writing data that the challenger observes.

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

impl<H: Digest + BlockSizeUser + FixedOutputReset + Default> Challenger for HasherChallenger<H>