chores: rename config

Author: hero78119

ceno_zkvm/src/scheme/constants.rs

@@ -1,5 +1,4 @@
 pub(crate) const MIN_PAR_SIZE: usize = 64;
-pub(crate) const SEL_DEGREE: usize = 2;
 
 pub const NUM_FANIN: usize = 2;
 pub const NUM_FANIN_LOGUP: usize = 2;

ceno_zkvm/src/scheme/verifier.rs

@@ -8,7 +8,7 @@ use ff_ext::{Instrumented, PoseidonField};
 use super::{ZKVMChipProof, ZKVMProof};
 use crate::{
     error::ZKVMError,
-    scheme::constants::{NUM_FANIN, NUM_FANIN_LOGUP, SEL_DEGREE},
+    scheme::constants::{NUM_FANIN, NUM_FANIN_LOGUP},
     structs::{ComposedConstrainSystem, PointAndEval, TowerProofs, VerifyingKey, ZKVMVerifyingKey},
     utils::{
         eval_inner_repeated_incremental_vec, eval_outer_repeated_incremental_vec,
@@ -530,8 +530,10 @@ impl<E: ExtensionField, PCS: PolynomialCommitmentScheme<E>> ZKVMVerifier<E, PCS>
             "[prod_record] mismatch length"
         );
 
-        let ram_bus_circuit = false;
-        let input_opening_point = if !ram_bus_circuit {
+        // TODO differentiate `ram_bus` via cs
+        let is_shard_ram_bus_circuit = false;
+
+        let input_opening_point = if !is_shard_ram_bus_circuit {
             // evaluate the evaluation of structural mles at input_opening_point by verifier
             let structural_evals = if with_rw {
                 // only iterate r set, as read/write set round should match

ceno_zkvm/src/tables/mod.rs

@@ -1,13 +1,14 @@
 use crate::{circuit_builder::CircuitBuilder, error::ZKVMError, structs::ProgramParams};
 use ff_ext::ExtensionField;
-use std::collections::HashMap;
+use gkr_iop::{
+    chip::Chip,
+    gkr::{GKRCircuit, layer::Layer},
+    selector::SelectorType,
+};
 use itertools::Itertools;
 use multilinear_extensions::{StructuralWitInType, ToExpr};
+use std::collections::HashMap;
 use witness::RowMajorMatrix;
-use gkr_iop::chip::Chip;
-use gkr_iop::gkr::GKRCircuit;
-use gkr_iop::gkr::layer::Layer;
-use gkr_iop::selector::SelectorType;
 
 mod range;
 pub use range::*;

gkr_iop/src/gkr/layer/cpu/mod.rs

@@ -168,6 +168,7 @@ impl<E: ExtensionField, PCS: PolynomialCommitmentScheme<E>> ZerocheckLayerProver
             )
         )
         .collect_vec();
+
         // zero check eq || rotation eq
         let mut eqs = layer
             .out_sel_and_eval_exprs