diff --git a/folding-schemes/src/folding/nova/ova.rs b/folding-schemes/src/folding/nova/ova.rs index a8674407..e02242ea 100644 --- a/folding-schemes/src/folding/nova/ova.rs +++ b/folding-schemes/src/folding/nova/ova.rs @@ -184,7 +184,7 @@ where u_i: &Self::CommittedInstance, _aux: &Self::VerifierAux, ) -> Self::CommittedInstance { - // recall that r <==> alpha, and u <==} mu between Nova and Ova respectively + // recall that r <==> alpha, and u <==> mu between Nova and Ova respectively let u = U_i.u + r; // u_i.u is always 1 IN ova as we just can do sequential IVC. let cmWE = U_i.cmWE + u_i.cmWE.mul(r); let x = U_i