Trait StarkGenericConfig

pub trait StarkGenericConfig {
    type Pcs: Pcs<Self::Challenge, Self::Challenger>;
    type Challenge: ExtensionField<Val<Self>>;
    type Challenger: FieldChallenger<Val<Self>> + CanObserve<<Self::Pcs as Pcs<Self::Challenge, Self::Challenger>>::Commitment> + CanSample<Self::Challenge>;

    // Required method
    fn pcs(&self) -> &Self::Pcs;
}

Required Associated Types

type Pcs: Pcs<Self::Challenge, Self::Challenger>

The PCS used to commit to trace polynomials.

type Challenge: ExtensionField<Val<Self>>

The field from which most random challenges are drawn.

type Challenger: FieldChallenger<Val<Self>> + CanObserve<<Self::Pcs as Pcs<Self::Challenge, Self::Challenger>>::Commitment> + CanSample<Self::Challenge>

The challenger (Fiat-Shamir) implementation used.

Required Methods

fn pcs(&self) -> &Self::Pcs

Implementors

impl<Pcs, Challenge, Challenger> StarkGenericConfig for StarkConfig<Pcs, Challenge, Challenger>

where Challenge: ExtensionField<<Pcs::Domain as PolynomialSpace>::Val>, Pcs: Pcs<Challenge, Challenger>, Challenger: FieldChallenger<<Pcs::Domain as PolynomialSpace>::Val> + CanObserve<<Pcs as Pcs<Challenge, Challenger>>::Commitment> + CanSample<Challenge>,

type Pcs = Pcs

type Challenge = Challenge

type Challenger = Challenger