pub struct SingleQuotientData<SC: StarkGenericConfig> { /* private fields */ }Expand description
The quotient polynomial from a single matrix RAP, evaluated on the quotient domain.
Implementations§
Source§impl<SC: StarkGenericConfig> SingleQuotientData<SC>
impl<SC: StarkGenericConfig> SingleQuotientData<SC>
Sourcepub fn split(self) -> impl IntoIterator<Item = QuotientChunk<SC>>
pub fn split(self) -> impl IntoIterator<Item = QuotientChunk<SC>>
The vector of evaluations of the quotient polynomial on the quotient domain,
first flattened from vector of extension field elements to matrix of base field elements,
and then split into chunks of size equal to the trace domain size (quotient domain size
divided by quotient_degree).
Auto Trait Implementations§
impl<SC> Freeze for SingleQuotientData<SC>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain: Freeze,
impl<SC> RefUnwindSafe for SingleQuotientData<SC>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain: RefUnwindSafe,
<SC as StarkGenericConfig>::Challenge: RefUnwindSafe,
impl<SC> Send for SingleQuotientData<SC>
impl<SC> Sync for SingleQuotientData<SC>
impl<SC> Unpin for SingleQuotientData<SC>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain: Unpin,
<SC as StarkGenericConfig>::Challenge: Unpin,
impl<SC> UnwindSafe for SingleQuotientData<SC>where
<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain: UnwindSafe,
<SC as StarkGenericConfig>::Challenge: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more