Struct zkp_stark::Constraints

pub struct Constraints {
    pub blowup: usize,
    pub pow_bits: usize,
    pub num_queries: usize,
    pub fri_layout: Vec<usize>,
    // some fields omitted
}

Constraints for Stark proofs

Contains the constraint expressions that apply to the trace table in addition to various tuning parameters that determine how proofs are computed. These can trade off between security, prover time, verifier time and proof size.

Note: This does not including the constraint system or anything about the claim to be proven.

Fields

blowup: usize

The blowup factor

The size of the low-degree-extension domain compared to the trace domain. Should be a power of two. Recommended values are 16, 32 or 64.

pow_bits: usize

Proof of work difficulty

The difficulty of the proof of work step in number of leading zero bits required.

num_queries: usize

Number of queries made to the oracles

fri_layout: Vec<usize>

Number of FRI reductions between steps

After the initial LDE polynomial is committed, several rounds of FRI degree reduction are done. Entries in the vector specify how many reductions are done between commitments.

After fri_layout.sum() reductions are done, the remaining polynomial is written explicitly in coefficient form.

Methods

impl Constraints

pub fn from_expressions(
    (trace_nrows, trace_ncolumns): (usize, usize),
    channel_seed: Vec<u8>,
    expressions: Vec<RationalExpression>
) -> Result<Self, Error>

pub fn channel_seed(&self) -> &[u8]

pub fn trace_nrows(&self) -> usize

pub fn trace_ncolumns(&self) -> usize

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn expressions(&self) -> &[RationalExpression]

pub fn degree(&self) -> usize

pub fn security_bits(&self) -> usize

pub fn max_proof_size(&self) -> usize

Trait Implementations

impl Clone for Constraints

fn clone(&self) -> Constraints

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constraints

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

Formats the value using the given formatter.