Struct winter_prover::StarkDomain
source · [−]pub struct StarkDomain<B: StarkField> { /* private fields */ }Implementations
sourceimpl<B: StarkField> StarkDomain<B>
impl<B: StarkField> StarkDomain<B>
sourcepub fn new<A: Air<BaseField = B>>(air: &A) -> Self
pub fn new<A: Air<BaseField = B>>(air: &A) -> Self
Returns a new STARK domain initialized with the provided context.
sourcepub fn trace_length(&self) -> usize
pub fn trace_length(&self) -> usize
Returns length of the execution trace for this computation.
sourcepub fn trace_twiddles(&self) -> &[B]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
pub fn trace_twiddles(&self) -> &[B]ⓘNotable traits for &'_ [u8]impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]
Returns twiddles which can be used to evaluate trace polynomials.
sourcepub fn trace_to_ce_blowup(&self) -> usize
pub fn trace_to_ce_blowup(&self) -> usize
Returns blowup factor from trace to constraint evaluation domain.
sourcepub fn trace_to_lde_blowup(&self) -> usize
pub fn trace_to_lde_blowup(&self) -> usize
Returns blowup factor from trace to LDE domain.
sourcepub fn ce_domain_size(&self) -> usize
pub fn ce_domain_size(&self) -> usize
Returns the size of the constraint evaluation domain for this computation.
sourcepub fn ce_domain_generator(&self) -> B
pub fn ce_domain_generator(&self) -> B
Returns the generator of constraint evaluation domain.
sourcepub fn ce_to_lde_blowup(&self) -> usize
pub fn ce_to_lde_blowup(&self) -> usize
Returns blowup factor from constraint evaluation to LDE domain.
sourcepub fn lde_domain_size(&self) -> usize
pub fn lde_domain_size(&self) -> usize
Returns the size of the low-degree extension domain.
Auto Trait Implementations
impl<B> RefUnwindSafe for StarkDomain<B> where
B: RefUnwindSafe,
impl<B> Send for StarkDomain<B>
impl<B> Sync for StarkDomain<B>
impl<B> Unpin for StarkDomain<B> where
B: Unpin,
impl<B> UnwindSafe for StarkDomain<B> where
B: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more