Fix left/right

andyleiserson · Nov 19, 2024 · 232979e · 232979e
1 parent 50d4c6f
commit 232979e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/ipa-core/src/protocol/ipa_prf/malicious_security/prover.rs b/ipa-core/src/protocol/ipa_prf/malicious_security/prover.rs
@@ -122,14 +122,14 @@ impl<I: Iterator<Item = (u8, u8)>> LagrangeInput<Fp61BitPrime, 4> for TableIndic
             input: self.0,
             u_table: array::from_fn(|i| {
                 let mut result = [Fp61BitPrime::ZERO; P];
-                let u = &TABLE_LEFT[i];
+                let u = &TABLE_RIGHT[i];
                 result[0..4].copy_from_slice(u);
                 result[4..].copy_from_slice(&lagrange_table.eval(u));
                 result
             }),
             v_table: array::from_fn(|i| {
                 let mut result = [Fp61BitPrime::ZERO; P];
-                let v = &TABLE_RIGHT[i];
+                let v = &TABLE_LEFT[i];
                 result[0..4].copy_from_slice(v);
                 result[4..].copy_from_slice(&lagrange_table.eval(v));
                 result
@@ -143,8 +143,8 @@ impl<I: Iterator<Item = (u8, u8)>> LagrangeInput<Fp61BitPrime, 4> for TableIndic
     {
         TableIndicesIterator {
             input: self.0,
-            u_table: array::from_fn(|i| lagrange_table.eval(&TABLE_LEFT[i])[0]),
-            v_table: array::from_fn(|i| lagrange_table.eval(&TABLE_RIGHT[i])[0]),
+            u_table: array::from_fn(|i| lagrange_table.eval(&TABLE_RIGHT[i])[0]),
+            v_table: array::from_fn(|i| lagrange_table.eval(&TABLE_LEFT[i])[0]),
         }
     }
 }