Remove the "max_quot_size" field from both "prover_index" & "verifier_index"
MODIFY
kimchi/src/prover_index.rs
kimchi/src/prover_index.rs
@@ -5,7 +5,6 @@ use crate::{
circuits::{
constraints::ConstraintSystem,
expr::{Linearization, PolishToken},
- wires::PERMUTS,
},
curve::KimchiCurve,
linearization::expr_linearization,
@@ -42,9 +41,6 @@ pub struct ProverIndex<G: KimchiCurve> {
/// maximal size of polynomial section
pub max_poly_size: usize,
- /// maximal size of the quotient polynomial according to the supported constraints
- pub max_quot_size: usize,
-
/// The verifier index corresponding to this prover index
#[serde(skip)]
pub verifier_index: Option<VerifierIndex<G>>,
@@ -87,19 +83,12 @@ impl<G: KimchiCurve> ProverIndex<G> {
true,
);
- // set `max_quot_size` to the degree of the quotient polynomial,
- // which is obtained by looking at the highest monomial in the sum
- // $$\sum_{i=0}^{PERMUTS} (w_i(x) + \beta k_i x + \gamma)$$
- // where the $w_i(x)$ are of degree the size of the domain.
- let max_quot_size = PERMUTS * cs.domain.d1.size();
-
ProverIndex {
cs,
linearization,
powers_of_alpha,
srs,
max_poly_size,
- max_quot_size,
verifier_index: None,
verifier_index_digest: None,
}

MODIFY
kimchi/src/verifier_index.rs
kimchi/src/verifier_index.rs
@@ -66,8 +66,6 @@ pub struct VerifierIndex<G: KimchiCurve> {
pub domain: D<G::ScalarField>,
/// maximal size of polynomial section
pub max_poly_size: usize,
- /// maximal size of the quotient polynomial according to the supported constraints
- pub max_quot_size: usize,
/// polynomial commitment keys
#[serde(skip)]
pub srs: OnceCell<Arc<SRS<G>>>,
@@ -202,7 +200,6 @@ impl<G: KimchiCurve> ProverIndex<G> {
VerifierIndex {
domain,
max_poly_size: self.max_poly_size,
- max_quot_size: self.max_quot_size,
powers_of_alpha: self.powers_of_alpha.clone(),
public: self.cs.public,
prev_challenges: self.cs.prev_challenges,
@@ -376,7 +373,6 @@ impl<G: KimchiCurve> VerifierIndex<G> {
let VerifierIndex {
domain: _,
max_poly_size: _,
- max_quot_size: _,
srs: _,
public: _,
prev_challenges: _,

Remove the "max_quot_size" field from both "prover_index" & "verifier_index"