u in LCCCS should be z[0]

privacy-scaling-explorations · Oct 4, 2024 · 2aca8ed · 2aca8ed
1 parent 4e5fec8
commit 2aca8ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/folding-schemes/src/folding/hypernova/lcccs.rs b/folding-schemes/src/folding/hypernova/lcccs.rs
@@ -72,7 +72,7 @@ impl<F: PrimeField> CCS<F> {
         Ok((
             LCCCS::<C> {
                 C,
-                u: C::ScalarField::one(),
+                u: z[0],
                 x: z[1..(1 + self.l)].to_vec(),
                 r_x,
                 v,