Struct QuotientCommitter 

pub struct QuotientCommitter<'pcs, SC: StarkGenericConfig> { /* private fields */ }

Implementations

impl<'pcs, SC: StarkGenericConfig> QuotientCommitter<'pcs, SC>

pub fn new( pcs: &'pcs SC::Pcs, alpha: SC::Challenge, extra_capacity_bits: usize, ) -> Self

pub fn quotient_values( &self, constraints: &[&SymbolicExpressionDag<Val<SC>>], extended_views: Vec<RapView<impl Matrix<Val<SC>>, Val<SC>, SC::Challenge>>, quotient_degrees: &[u8], ) -> QuotientData<SC>

Constructs quotient domains and computes the evaluation of the quotient polynomials on the quotient domains of each RAP.

Assumptions

• constraints, extended_views, quotient_degrees have equal lengths and the length equals number of RAPs.
• quotient_degrees is the factor to multiply the trace degree by to get the degree of the quotient polynomial. This should be determined from the constraint degree of the RAP.
• extended_views is a view of the trace polynomials evaluated on the quotient domain, with rows bit reversed to account for the fact that the quotient domain is different for each RAP.

Note: This function assumes that the quotient_domain.split_evals(quotient_degree, quotient_flat) function from Plonky3 works as described in [compute_single_rap_quotient_values].

pub fn commit(&self, data: QuotientData<SC>) -> (Com<SC>, PcsData<SC>)