Fix tests using ZETA

penumbra-zone · Jan 31, 2024 · 04d1072 · 04d1072
1 parent 4fa718f
commit 04d1072
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/ark_curve/r1cs/fqvar_ext.rs b/src/ark_curve/r1cs/fqvar_ext.rs
@@ -61,7 +61,7 @@ impl FqVarExtension for FqVar {
         y_squared_var.conditional_enforce_equal(&FqVar::zero(), &in_case_3)?;
 
         // Case 4: `(false, sqrt(zeta*num/den))` if `num` and `den` are both nonzero and `num/den` is nonsquare;
-        let zeta_var = FqVar::new_constant(cs, *ZETA)?;
+        let zeta_var = FqVar::new_constant(cs, ZETA)?;
         let zeta_times_one_over_den_var = zeta_var * den_var_inv;
         let in_case_4 = was_not_square_var.and(&den_var_is_zero.not())?;
         // Certify the return value y is sqrt(zeta * 1/den)

diff --git a/src/ark_curve/r1cs/inner.rs b/src/ark_curve/r1cs/inner.rs
@@ -114,7 +114,7 @@ impl ElementVar {
 
         let A_VAR = FqVar::new_constant(cs.clone(), Decaf377EdwardsConfig::COEFF_A)?;
         let D_VAR = FqVar::new_constant(cs.clone(), Decaf377EdwardsConfig::COEFF_D)?;
-        let ZETA_VAR = FqVar::new_constant(cs, *ZETA)?;
+        let ZETA_VAR = FqVar::new_constant(cs, ZETA)?;
 
         let r_var = ZETA_VAR * r_0_var.square()?;