chore: uncomment

zkMIPS · Nov 23, 2023 · 41c2f18 · 41c2f18
1 parent bf4cb7f
commit 41c2f18
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 23 deletions.
diff --git a/src/prover.rs b/src/prover.rs
@@ -198,20 +198,20 @@ where
     F: RichField + Extendable<D>,
     C: GenericConfig<D, F = F>,
 {
-    // let arithmetic_proof = timed!(
-    //     timing,
-    //     "prove Arithmetic STARK",
-    //     prove_single_table(
-    //         &all_stark.arithmetic_stark,
-    //         config,
-    //         &trace_poly_values[Table::Arithmetic as usize],
-    //         &trace_commitments[Table::Arithmetic as usize],
-    //         &ctl_data_per_table[Table::Arithmetic as usize],
-    //         ctl_challenges,
-    //         challenger,
-    //         timing,
-    //     )?
-    // );
+    let arithmetic_proof = timed!(
+        timing,
+        "prove Arithmetic STARK",
+        prove_single_table(
+            &all_stark.arithmetic_stark,
+            config,
+            &trace_poly_values[Table::Arithmetic as usize],
+            &trace_commitments[Table::Arithmetic as usize],
+            &ctl_data_per_table[Table::Arithmetic as usize],
+            ctl_challenges,
+            challenger,
+            timing,
+        )?
+    );
     /*
     let byte_packing_proof = timed!(
         timing,
@@ -303,7 +303,7 @@ where
     );
 
     Ok([
-        cpu_proof.clone(),
+        arithmetic_proof,
         //byte_packing_proof,
         cpu_proof,
         //keccak_proof,

diff --git a/src/verifier.rs b/src/verifier.rs
@@ -55,14 +55,14 @@ where
         &num_lookup_columns,
     );
 
-    // verify_stark_proof_with_challenges(
-    //     arithmetic_stark,
-    //     &all_proof.stark_proofs[Table::Arithmetic as usize].proof,
-    //     &stark_challenges[Table::Arithmetic as usize],
-    //     &ctl_vars_per_table[Table::Arithmetic as usize],
-    //     &ctl_challenges,
-    //     config,
-    // )?;
+    verify_stark_proof_with_challenges(
+        arithmetic_stark,
+        &all_proof.stark_proofs[Table::Arithmetic as usize].proof,
+        &stark_challenges[Table::Arithmetic as usize],
+        &ctl_vars_per_table[Table::Arithmetic as usize],
+        &ctl_challenges,
+        config,
+    )?;
     /*
     verify_stark_proof_with_challenges(
         byte_packing_stark,