chores: rename config

Author: hero78119

ceno_zkvm/src/scheme/verifier.rs

@@ -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::*;