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.

Object Safety

This trait is not object safe.

Implementors

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