Struct GenericStarkConfig 

pub struct GenericStarkConfig<F, EF, L, Dft, Ch> {
    pub pcs: PcsParams,
    pub lmcs: L,
    pub dft: Dft,
    pub challenger: Ch,
    /* private fields */
}

Generic StarkConfig implementation.

Stores the PCS parameters, LMCS, DFT, and a challenger prototype (cloned for each proof/verification). Use this for tests and examples; production code can implement StarkConfig on a custom struct.

Fields

pcs: PcsParams

lmcs: L

dft: Dft

challenger: Ch

Implementations

impl<F, EF, L, Dft, Ch> GenericStarkConfig<F, EF, L, Dft, Ch>

pub fn new( pcs: PcsParams, lmcs: L, dft: Dft, challenger: Ch, ) -> GenericStarkConfig<F, EF, L, Dft, Ch>

Trait Implementations

impl<F, EF, L, Dft, Ch> Clone for GenericStarkConfig<F, EF, L, Dft, Ch>

where L: Clone, Dft: Clone, Ch: Clone,

fn clone(&self) -> GenericStarkConfig<F, EF, L, Dft, Ch>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F, EF, L, Dft, Ch> StarkConfig<F, EF> for GenericStarkConfig<F, EF, L, Dft, Ch>

where F: TwoAdicField, EF: ExtensionField<F>, L: Lmcs<F = F>, Dft: TwoAdicSubgroupDft<F> + Clone, Ch: TranscriptChallenger<F, <L as Lmcs>::Commitment>,

type Lmcs = L

LMCS (Merkle commitment scheme).

type Dft = Dft

DFT for LDE computation.

type Challenger = Ch

Fiat-Shamir challenger.

fn pcs(&self) -> &PcsParams

PCS parameters (DEEP + FRI settings).

fn lmcs(&self) -> &L

LMCS instance for commitments.

fn dft(&self) -> &Dft

DFT implementation for LDE computation.

fn challenger(&self) -> Ch

Create a fresh challenger for a new proof/verification.