add create_table_proof for table circuits

ceno_zkvm/src/scheme.rs

@@ -34,3 +34,23 @@ pub struct ZKVMProof<E: ExtensionField> {
     pub fixed_in_evals: Vec<E>,
     pub wits_in_evals: Vec<E>,
 }
+
+#[derive(Clone)]
+pub struct ZKVMTableProof<E: ExtensionField> {
+    pub num_instances: usize,
+    // logup sum at layer 1
+    pub lk_p1_out_eval: E,
+    pub lk_p2_out_eval: E,
+    pub lk_q1_out_eval: E,
+    pub lk_q2_out_eval: E,
+
+    pub tower_proof: TowerProofs<E>,
+
+    // main constraint and select layer sumcheck proof
+    pub main_sel_sumcheck_proofs: Vec<IOPProverMessage<E>>,
+    pub lk_d_in_evals: Vec<E>,
+    pub lk_n_in_evals: Vec<E>,
+
+    pub fixed_in_evals: Vec<E>,
+    pub wits_in_evals: Vec<E>,
+}

ceno_zkvm/src/scheme/constants.rs

@@ -1,5 +1,6 @@
 pub(crate) const MIN_PAR_SIZE: usize = 64;
-pub(crate) const MAINCONSTRAIN_SUMCHECK_BATCH_SIZE: usize = 4; // read/write/lookup
+pub(crate) const MAINCONSTRAIN_SUMCHECK_BATCH_SIZE: usize = 3; // read/write/lookup
 pub(crate) const SEL_DEGREE: usize = 2;
 
 pub const NUM_FANIN: usize = 2;
+pub const NUM_FANIN_LOGUP: usize = 2;