Struct winter_prover::StarkDomain

pub struct StarkDomain<B: StarkField> { /* private fields */ }

Implementations

impl<B: StarkField> StarkDomain<B>

pub fn new<A: Air<BaseField = B>>(air: &A) -> Self

Returns a new STARK domain initialized with the provided context.

pub fn trace_length(&self) -> usize

Returns length of the execution trace for this computation.

pub fn trace_twiddles(&self) -> &[B]

Returns twiddles which can be used to evaluate trace polynomials.

pub fn trace_to_ce_blowup(&self) -> usize

Returns blowup factor from trace to constraint evaluation domain.

pub fn trace_to_lde_blowup(&self) -> usize

Returns blowup factor from trace to LDE domain.

pub fn ce_domain_size(&self) -> usize

Returns the size of the constraint evaluation domain for this computation.

pub fn ce_domain_generator(&self) -> B

Returns the generator of constraint evaluation domain.

pub fn ce_to_lde_blowup(&self) -> usize

Returns blowup factor from constraint evaluation to LDE domain.

pub fn get_ce_x_at(&self, step: usize) -> B

Returns s * g^step where g is the constraint evaluation domain generator and s is the domain offset.

pub fn get_ce_x_power_at(&self, step: usize, power: u64, offset_exp: B) -> B

Returns (s * g^step)^power where g is the constraint evaluation domain generator and s is the domain offset.

The computation is performed without doing exponentiations. offset_exp is assumed to be s^power which is pre-computed elsewhere.

pub fn lde_domain_size(&self) -> usize

Returns the size of the low-degree extension domain.

pub fn offset(&self) -> B

Returns LDE domain offset.