From e939418658ae8c92197dff093098ecdc2954fa2b Mon Sep 17 00:00:00 2001 From: arnaucube Date: Thu, 3 Oct 2024 09:44:17 +0200 Subject: [PATCH] small polishing --- folding-schemes/src/folding/nova/ova.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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