Regression fix: Projective constructor

MinaProtocol · Sep 11, 2024 · f8e2e1a · f8e2e1a
1 parent 91750cd
commit f8e2e1a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/lib/crypto/kimchi_bindings/stubs/src/projective.rs b/src/lib/crypto/kimchi_bindings/stubs/src/projective.rs
@@ -104,7 +104,7 @@ macro_rules! impl_projective {
             #[ocaml_gen::func]
             #[ocaml::func]
             pub fn [<caml_ $name:snake _of_affine_coordinates>](x: $CamlBaseField, y: $CamlBaseField) -> $GroupProjective {
-                let res = $Projective::new(x.into(), y.into(), <$BaseField as ark_ff::One>::one());
+                let res = $Projective::new_unchecked(x.into(), y.into(), <$BaseField as ark_ff::One>::one());
                 res.into()
             }
 

diff --git a/src/lib/crypto/kimchi_bindings/wasm/src/arkworks/group_affine.rs b/src/lib/crypto/kimchi_bindings/wasm/src/arkworks/group_affine.rs
@@ -205,7 +205,7 @@ pub fn caml_pasta_pallas_of_affine(x: &WasmPallasGAffine) -> WasmPallasGProjecti
 
 #[wasm_bindgen]
 pub fn caml_pasta_pallas_of_affine_coordinates(x: WasmPastaFp, y: WasmPastaFp) -> WasmPallasGProjective {
-    GProjective::new(x.0, y.0, Fp::one()).into()
+    GProjective::new_unchecked(x.0, y.0, Fp::one()).into()
 }
 
 #[wasm_bindgen]

diff --git a/src/lib/crypto/kimchi_bindings/wasm/src/projective.rs b/src/lib/crypto/kimchi_bindings/wasm/src/projective.rs
@@ -101,7 +101,7 @@ macro_rules! impl_projective {
 
             #[wasm_bindgen]
             pub fn [<caml_ $name:snake _of_affine_coordinates>](x: $CamlBaseField, y: $CamlBaseField) -> $GroupProjective {
-                let res = $Projective::new(x.into(), y.into(), <$BaseField as ark_ff::One>::one());
+                let res = $Projective::new_unchecked(x.into(), y.into(), <$BaseField as ark_ff::One>::one());
                 res.into()
             }