log vk.transcript_repr; fix debug format of LookupTracker

halo2_proofs/src/plonk.rs

@@ -212,7 +212,7 @@ where
 
         // Hash in final Blake2bState
         vk.transcript_repr = C::Scalar::from_uniform_bytes(hasher.finalize().as_array());
-
+        log::info!("vk.transcript_repr {:?}", vk.transcript_repr);
         vk
     }
 

halo2_proofs/src/plonk/circuit.rs

@@ -1583,13 +1583,22 @@ impl<F: Field> Gate<F> {
 }
 
 /// TODO doc
-#[derive(Debug, Clone)]
+#[derive(Clone)]
 pub struct LookupTracker<F: Field> {
     pub(crate) name: String,
     pub(crate) table: Vec<Expression<F>>,
     pub(crate) inputs: Vec<Vec<Expression<F>>>,
 }
 
+impl<F: Field> std::fmt::Debug for LookupTracker<F> where F: std::fmt::Debug {
+    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
+        f.debug_struct("LookupTracker")
+            .field("table", &self.table)
+            .field("inputs", &self.inputs)
+            .finish()
+    }
+}
+
 /// This is a description of the circuit environment, such as the gate, column and
 /// permutation arrangements.
 #[derive(Debug, Clone)]