jsoo: override proof batch verify

Author: querolita

src/lib/crypto/kimchi_bindings/js/bindings/proof.js

@@ -1,21 +1,6 @@
 /* global plonk_wasm, tsRustConversion
  */
 
-
-// Provides: caml_pasta_fp_plonk_proof_batch_verify
-// Requires: plonk_wasm, tsRustConversion
-var caml_pasta_fp_plonk_proof_batch_verify = function (indexes, proofs) {
-  indexes = tsRustConversion.mapMlArrayToRustVector(
-    indexes,
-    tsRustConversion.fp.verifierIndexToRust
-  );
-  proofs = tsRustConversion.mapMlArrayToRustVector(
-    proofs,
-    tsRustConversion.fp.proofToRust
-  );
-  return plonk_wasm.caml_pasta_fp_plonk_proof_batch_verify(indexes, proofs);
-};
-
 // Provides: caml_pasta_fp_plonk_proof_dummy
 // Requires: plonk_wasm, tsRustConversion
 var caml_pasta_fp_plonk_proof_dummy = function () {
@@ -34,22 +19,6 @@ var caml_pasta_fp_plonk_proof_deep_copy = function (proof) {
   );
 };
 
-
-
-// Provides: caml_pasta_fq_plonk_proof_batch_verify
-// Requires: plonk_wasm, tsRustConversion
-var caml_pasta_fq_plonk_proof_batch_verify = function (indexes, proofs) {
-  indexes = tsRustConversion.mapMlArrayToRustVector(
-    indexes,
-    tsRustConversion.fq.verifierIndexToRust
-  );
-  proofs = tsRustConversion.mapMlArrayToRustVector(
-    proofs,
-    tsRustConversion.fq.proofToRust
-  );
-  return plonk_wasm.caml_pasta_fq_plonk_proof_batch_verify(indexes, proofs);
-};
-
 // Provides: caml_pasta_fq_plonk_proof_dummy
 // Requires: plonk_wasm, tsRustConversion
 var caml_pasta_fq_plonk_proof_dummy = function () {

src/lib/crypto/kimchi_bindings/js/native/native-overrides/proof.js

@@ -38,7 +38,19 @@ var caml_pasta_fp_plonk_proof_verify = function (index, proof) {
   return plonk_wasm.caml_pasta_fp_plonk_proof_verify(index, proof);
 };
 
-
+// Provides: caml_pasta_fp_plonk_proof_batch_verify
+// Requires: plonk_wasm, tsRustConversionNative
+var caml_pasta_fp_plonk_proof_batch_verify = function (indexes, proofs) {
+  indexes = tsRustConversionNative.mapMlArrayToRustVector(
+    indexes,
+    tsRustConversionNative.fp.verifierIndexToRust
+  );
+  proofs = tsRustConversionNative.mapMlArrayToRustVector(
+    proofs,
+    tsRustConversionNative.fp.proofToRust
+  );
+  return plonk_wasm.caml_pasta_fp_plonk_proof_batch_verify(indexes, proofs);
+};
 
 // Provides: caml_pasta_fq_plonk_proof_create
 // Requires: plonk_wasm, tsRustConversionNative
@@ -75,3 +87,17 @@ var caml_pasta_fq_plonk_proof_verify = function (index, proof) {
   proof = tsRustConversionNative.fq.proofToRust(proof);
   return plonk_wasm.caml_pasta_fq_plonk_proof_verify(index, proof);
 };
+
+// Provides: caml_pasta_fq_plonk_proof_batch_verify
+// Requires: plonk_wasm, tsRustConversionNative
+var caml_pasta_fq_plonk_proof_batch_verify = function (indexes, proofs) {
+  indexes = tsRustConversionNative.mapMlArrayToRustVector(
+    indexes,
+    tsRustConversionNatsRustConversionNativetive.fq.verifierIndexToRust
+  );
+  proofs = tsRustConversionNative.mapMlArrayToRustVector(
+    proofs,
+    tsRustConversionNative.fq.proofToRust
+  );
+  return plonk_wasm.caml_pasta_fq_plonk_proof_batch_verify(indexes, proofs);
+};