Add the missing line of comment

privacy-scaling-explorations · Oct 3, 2024 · 1ea524a · 1ea524a
1 parent 0bd45a1
commit 1ea524a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/folding-schemes/src/folding/nova/decider_circuits.rs b/folding-schemes/src/folding/nova/decider_circuits.rs
@@ -477,6 +477,7 @@ where
         incircuit_c_W.enforce_equal(&cs_c_W)?;
         incircuit_c_E.enforce_equal(&cs_c_E)?;
 
+        // 7.2. check eval_W==p_W(c_W) and eval_E==p_E(c_E)
         let incircuit_eval_W = evaluate_gadget::<CF1<C2>>(cf_W_i.W, incircuit_c_W)?;
         let incircuit_eval_E = evaluate_gadget::<CF1<C2>>(cf_W_i.E, incircuit_c_E)?;
         incircuit_eval_W.enforce_equal(&eval_W)?;