Trait GenerateRandomTrace 

pub trait GenerateRandomTrace<const DEGREE_PLUS_ONE: usize>: Uair {
    type PolyCoeff: Clone;
    type Int: Clone;

    // Required method
    fn generate_random_trace<Rng: RngCore + ?Sized>(
        num_vars: usize,
        rng: &mut Rng,
    ) -> UairTrace<'static, Self::PolyCoeff, Self::Int, DEGREE_PLUS_ONE>;
}

A trait for UAIRs for generating random trace (for both public and witness columns).

Required Associated Types

type PolyCoeff: Clone

type Int: Clone

Required Methods

fn generate_random_trace<Rng: RngCore + ?Sized>( num_vars: usize, rng: &mut Rng, ) -> UairTrace<'static, Self::PolyCoeff, Self::Int, DEGREE_PLUS_ONE>

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<R> GenerateRandomTrace<32> for BigLinearUair<R>

where R: ConstSemiring + From<u32> + 'static,

type PolyCoeff = R

type Int = R

impl<R> GenerateRandomTrace<32> for BigLinearUairWithPublicInput<R>

where R: ConstSemiring + From<u32> + 'static,

type PolyCoeff = <BigLinearUair<R> as GenerateRandomTrace<32>>::PolyCoeff

type Int = <BigLinearUair<R> as GenerateRandomTrace<32>>::Int

impl<R> GenerateRandomTrace<32> for BinaryDecompositionUair<R>

where R: ConstSemiring + From<u32> + 'static,

type PolyCoeff = R

type Int = R

impl<R> GenerateRandomTrace<32> for ShaProxy<R>

where R: ConstSemiring + From<u32> + 'static,

type PolyCoeff = R

type Int = R

impl<R> GenerateRandomTrace<32> for TestUairMixedShifts<R>

where R: FixedSemiring + From<i8> + 'static, StandardUniform: Distribution<R>,

type PolyCoeff = R

type Int = R

impl<R> GenerateRandomTrace<32> for TestUairNoMultiplication<R>

where R: ConstSemiring + From<i32> + 'static,

type PolyCoeff = R

type Int = R

impl<R> GenerateRandomTrace<32> for TestUairSimpleMultiplication<R>

where R: FixedSemiring + From<i8> + 'static, StandardUniform: Distribution<R>,

type PolyCoeff = R

type Int = R