Trait StarkGenericConfig

pub trait StarkGenericConfig
where
    Domain<Self>: Send + Sync,
    Com<Self>: Send + Sync,
    PcsProof<Self>: Send + Sync,
    PcsProverData<Self>: Send + Sync,
{
    type Pcs: Pcs<Self::Challenge, Self::Challenger>;
    type RapPhaseSeq: RapPhaseSeq<Val<Self>, Self::Challenge, Self::Challenger>;
    type Challenge: ExtensionField<Val<Self>> + Send + Sync;
    type Challenger: FieldChallenger<Val<Self>> + CanObserve<<Self::Pcs as Pcs<Self::Challenge, Self::Challenger>>::Commitment> + CanSample<Self::Challenge>;

    // Required methods
    fn pcs(&self) -> &Self::Pcs;
    fn rap_phase_seq(&self) -> &Self::RapPhaseSeq;
}

Based on p3_uni_stark::StarkGenericConfig.

Required Associated Types

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

The PCS used to commit to trace polynomials.

type RapPhaseSeq: RapPhaseSeq<Val<Self>, Self::Challenge, Self::Challenger>

The RAP challenge phases used to establish, e.g., that interactions are balanced.

type Challenge: ExtensionField<Val<Self>> + Send + Sync

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

fn rap_phase_seq(&self) -> &Self::RapPhaseSeq

Implementors

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

where Challenge: ExtensionField<<Pcs::Domain as PolynomialSpace>::Val>, Pcs: Pcs<Challenge, Challenger>, Pcs::Domain: Send + Sync, Pcs::Commitment: Send + Sync, Pcs::ProverData: Send + Sync, Pcs::Proof: Send + Sync, Rps: RapPhaseSeq<<Pcs::Domain as PolynomialSpace>::Val, Challenge, Challenger>, Challenger: FieldChallenger<<Pcs::Domain as PolynomialSpace>::Val> + CanObserve<<Pcs as Pcs<Challenge, Challenger>>::Commitment> + CanSample<Challenge>,

type Pcs = Pcs

type RapPhaseSeq = Rps

type Challenge = Challenge

type Challenger = Challenger