Debug println statements for review only - don't merge

halo2_proofs/Cargo.toml

@@ -55,6 +55,8 @@ memmap = "0.7"
 plotters = { version = "0.3.0", optional = true }
 tabbycat = { version = "0.1", features = ["attributes"], optional = true }
 
+poly-optimizer = { path = "../../polyeval/" }
+
 [target.'cfg(target_arch = "wasm32")'.dependencies]
 # plotters depends on web-sys, which eventually depends on bumpalo 3. This dependency is
 # required because our MSRV is 1.51, but bumpalo 3.9 increased its MSRV to 1.54. We can

halo2_proofs/src/arithmetic.rs

@@ -543,7 +543,7 @@ pub fn gpu_ifft<G: Group>(a: &mut [G], omega: G::Scalar, log_n: u32, divisor: G:
 /// by $n$.
 ///
 /// This will use multithreading if beneficial.
-pub fn best_fft<G: Group>(a: &mut [G], omega: G::Scalar, log_n: u32) {
+pub fn best_fft<G: Group+ std::fmt::Debug>(a: &mut [G], omega: G::Scalar, log_n: u32) {
     cfg_if::cfg_if! {
         if #[cfg(feature = "cuda")]{
             return gpu_fft(a, omega, log_n);
@@ -553,7 +553,7 @@ pub fn best_fft<G: Group>(a: &mut [G], omega: G::Scalar, log_n: u32) {
     }
 }
 
-pub fn best_fft_cpu<G: Group>(a: &mut [G], omega: G::Scalar, log_n: u32) {
+pub fn best_fft_cpu<G: Group + std::fmt::Debug>(a: &mut [G], omega: G::Scalar, log_n: u32) {
     fn bitreverse(mut n: usize, l: usize) -> usize {
         let mut r = 0;
         for _ in 0..l {

halo2_proofs/src/lib.rs

@@ -1,3 +1,6 @@
+#![allow(incomplete_features)]
+#![feature(generic_const_exprs)]
+
 //! # halo2_proofs
 #![feature(local_key_cell_methods)]
 

halo2_proofs/src/plonk/evaluation.rs

@@ -1,5 +1,6 @@
 use super::{evaluation_gpu, ConstraintSystem, Expression};
 use crate::multicore;
+use crate::helpers::Serializable;
 use crate::plonk::symbol::ProveExpression;
 use crate::plonk::symbol::ProveExpressionUnit;
 use crate::plonk::symbol;
@@ -890,6 +891,8 @@ impl<C: CurveAffine> Evaluator<C> {
         let l_active_row = &pk.l_active_row;
         let p = &pk.vk.cs.permutation;
 
+
+
         let timer = ark_std::start_timer!(|| "permutations");
         // Permutations
         let permutation = &permutations[0];