Struct starky::config::StarkConfig

pub struct StarkConfig {
    pub security_bits: usize,
    pub num_challenges: usize,
    pub fri_config: FriConfig,
}

A configuration containing the different parameters used by the STARK prover.

Fields

security_bits: usize

The targeted security level for the proofs generated with this configuration.

num_challenges: usize

The number of challenge points to generate, for IOPs that have soundness errors of (roughly) degree / |F|.

fri_config: FriConfig

The configuration of the FRI sub-protocol.

Implementations

impl StarkConfig

pub const fn new( security_bits: usize, num_challenges: usize, fri_config: FriConfig ) -> Self

Returns a custom STARK configuration.

pub const fn standard_fast_config() -> Self

A typical configuration with a rate of 2, resulting in fast but large proofs. Targets ~100 bit conjectured security.

pub fn fri_params(&self, degree_bits: usize) -> FriParams

Outputs the FriParams used during the FRI sub-protocol by this StarkConfig.

pub fn check_config<F: RichField + Extendable<D>, const D: usize>( &self ) -> Result<()>

Checks that this STARK configuration is consistent, i.e. that the different parameters meet the targeted security level.

Trait Implementations

impl Clone for StarkConfig

fn clone(&self) -> StarkConfig

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StarkConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for StarkConfig

fn default() -> Self

Returns the “default value” for a type.