exp half lookup

Author: hero78119

ceno_zkvm/benches/riscv_add.rs

@@ -95,6 +95,11 @@ fn bench_add(c: &mut Criterion) {
                             transcript.read_challenge().elements,
                             transcript.read_challenge().elements,
                         ];
+                        println!(
+                            "AddInstruction::batch_commit_and_write, instance_num_vars = {}, time = {}",
+                            instance_num_vars,
+                            timer.elapsed().as_secs_f64()
+                        );
 
                         let _ = prover
                             .create_opcode_proof(

ceno_zkvm/src/structs.rs

@@ -175,6 +175,17 @@ impl<E: ExtensionField> ZKVMConstraintSystem<E> {
         let mut circuit_builder =
             CircuitBuilder::<E>::new_with_params(&mut cs, self.params.clone());
         let config = OC::construct_circuit(&mut circuit_builder).unwrap();
+        println!(
+            "before lk expression {} lk len {}",
+            OC::name(),
+            cs.lk_expressions.len()
+        );
+        cs.lk_expressions = cs.lk_expressions.split_off(cs.lk_expressions.len() / 2);
+        println!(
+            "after lk expression {} lk len {}",
+            OC::name(),
+            cs.lk_expressions.len()
+        );
         assert!(self.circuit_css.insert(OC::name(), cs).is_none());
 
         config