fix compile

crates/core/machine/src/operations/field/field_sqrt.rs

@@ -224,7 +224,11 @@ mod tests {
                     let mut row = [F::zero(); NUM_TEST_COLS];
                     let cols: &mut TestCols<F, P> = row.as_mut_slice().borrow_mut();
                     cols.a = P::to_limbs_field::<F, _>(a);
-                    cols.sqrt.populate(&mut blu_events, 1, a, ed25519_sqrt);
+                    cols.sqrt.populate(&mut blu_events, 1, a, |p| {
+                        ed25519_sqrt(p).expect(
+                            "By now we should have validated the sqrt exists, this is a bug",
+                        )
+                    });
                     output.add_byte_lookup_events(blu_events);
                     row
                 })

examples/patch-testing/program/src/main.rs

@@ -82,20 +82,16 @@ fn test_curve25519_dalek_ng() {
 /// Emits ED_DECOMPRESS syscall.
 fn test_curve25519_dalek() {
     let input_passing = [1u8; 32];
-    
+
     // This y-coordinate is not square, and therefore not on the curve
-    let limbs: [u64; 4] = [
-        8083970408152925034,
-        11907700107021980321,
-        16259949789167878387,
-        5695861037411660086,
-    ];
-
+    let limbs: [u64; 4] =
+        [8083970408152925034, 11907700107021980321, 16259949789167878387, 5695861037411660086];
+
     // convert to bytes
     let mut input_failing = [0u8; 32];
     for (i, limb) in limbs.iter().enumerate() {
         let bytes = limb.to_be_bytes();
-        input_failing[i..i+8].copy_from_slice(&bytes);
+        input_failing[i..i + 8].copy_from_slice(&bytes);
     }
 
     let y_passing = CompressedEdwardsY_dalek(input_passing);