Merge pull request #18038 from MinaProtocol/florian/verifier-index-napi

(native prover) verifier index

Author: querolita

src/lib/crypto/kimchi_bindings/js/bindings/verifier-index.js

@@ -24,13 +24,16 @@ var caml_opt_to_rust = function (caml_optional_value, to_rust) {
 // Provides: caml_pasta_fp_plonk_verifier_index_create
 // Requires: plonk_wasm, tsRustConversion
 var caml_pasta_fp_plonk_verifier_index_create = function (x) {
+  console.log("caml_pasta_fp_plonk_verifier_index_create")
   var vk = plonk_wasm.caml_pasta_fp_plonk_verifier_index_create(x);
   return tsRustConversion.fp.verifierIndexFromRust(vk);
 };
 
 // Provides: caml_pasta_fp_plonk_verifier_index_read
 // Requires: plonk_wasm, caml_jsstring_of_string, tsRustConversion
 var caml_pasta_fp_plonk_verifier_index_read = function (offset, urs, path) {
+  console.log("caml_pasta_fp_plonk_verifier_index_read")
+
   if (offset === 0) {
     offset = undefined;
   } else {
@@ -48,6 +51,8 @@ var caml_pasta_fp_plonk_verifier_index_read = function (offset, urs, path) {
 // Provides: caml_pasta_fp_plonk_verifier_index_write
 // Requires: plonk_wasm, caml_jsstring_of_string, tsRustConversion
 var caml_pasta_fp_plonk_verifier_index_write = function (append, t, path) {
+  console.log("caml_pasta_fp_plonk_verifier_index_write")
+
   if (append === 0) {
     append = undefined;
   } else {
@@ -60,24 +65,20 @@ var caml_pasta_fp_plonk_verifier_index_write = function (append, t, path) {
   );
 };
 
-// Provides: caml_pasta_fp_plonk_verifier_index_shifts
-// Requires: plonk_wasm, tsRustConversion
-var caml_pasta_fp_plonk_verifier_index_shifts = function (log2_size) {
-  return tsRustConversion.fp.shiftsFromRust(
-    plonk_wasm.caml_pasta_fp_plonk_verifier_index_shifts(log2_size)
-  );
-};
 
 // Provides: caml_pasta_fp_plonk_verifier_index_dummy
 // Requires: plonk_wasm, tsRustConversion
 var caml_pasta_fp_plonk_verifier_index_dummy = function () {
+  console.log("caml_pasta_fp_plonk_verifier_index_dummy")
+
   var res = plonk_wasm.caml_pasta_fp_plonk_verifier_index_dummy();
   return tsRustConversion.fp.verifierIndexFromRust(res);
 };
 
 // Provides: caml_pasta_fp_plonk_verifier_index_deep_copy
 // Requires: plonk_wasm, tsRustConversion
 var caml_pasta_fp_plonk_verifier_index_deep_copy = function (x) {
+  console.log("caml_pasta_fp_plonk_verifier_index_deep_copy")
   return tsRustConversion.fp.verifierIndexFromRust(
     plonk_wasm.caml_pasta_fp_plonk_verifier_index_deep_copy(
       tsRustConversion.fp.verifierIndexToRust(x)
@@ -88,6 +89,7 @@ var caml_pasta_fp_plonk_verifier_index_deep_copy = function (x) {
 // Provides: caml_pasta_fq_plonk_verifier_index_create
 // Requires: plonk_wasm, tsRustConversion
 var caml_pasta_fq_plonk_verifier_index_create = function (x) {
+  console.log("caml_pasta_fq_plonk_verifier_index_create")
   return tsRustConversion.fq.verifierIndexFromRust(
     plonk_wasm.caml_pasta_fq_plonk_verifier_index_create(x)
   );
@@ -96,6 +98,7 @@ var caml_pasta_fq_plonk_verifier_index_create = function (x) {
 // Provides: caml_pasta_fq_plonk_verifier_index_read
 // Requires: plonk_wasm, caml_jsstring_of_string, tsRustConversion
 var caml_pasta_fq_plonk_verifier_index_read = function (offset, urs, path) {
+  console.log("caml_pasta_fq_plonk_verifier_index_read")
   if (offset === 0) {
     offset = undefined;
   } else {
@@ -113,6 +116,7 @@ var caml_pasta_fq_plonk_verifier_index_read = function (offset, urs, path) {
 // Provides: caml_pasta_fq_plonk_verifier_index_write
 // Requires: plonk_wasm, caml_jsstring_of_string, tsRustConversion
 var caml_pasta_fq_plonk_verifier_index_write = function (append, t, path) {
+  console.log("caml_pasta_fq_plonk_verifier_index_write")
   if (append === 0) {
     append = undefined;
   } else {
@@ -125,17 +129,10 @@ var caml_pasta_fq_plonk_verifier_index_write = function (append, t, path) {
   );
 };
 
-// Provides: caml_pasta_fq_plonk_verifier_index_shifts
-// Requires: plonk_wasm, tsRustConversion
-var caml_pasta_fq_plonk_verifier_index_shifts = function (log2_size) {
-  return tsRustConversion.fq.shiftsFromRust(
-    plonk_wasm.caml_pasta_fq_plonk_verifier_index_shifts(log2_size)
-  );
-};
-
 // Provides: caml_pasta_fq_plonk_verifier_index_dummy
 // Requires: plonk_wasm, tsRustConversion
 var caml_pasta_fq_plonk_verifier_index_dummy = function () {
+  console.log("caml_pasta_fq_plonk_verifier_index_dummy")
   return tsRustConversion.fq.verifierIndexFromRust(
     plonk_wasm.caml_pasta_fq_plonk_verifier_index_dummy()
   );
@@ -144,6 +141,7 @@ var caml_pasta_fq_plonk_verifier_index_dummy = function () {
 // Provides: caml_pasta_fq_plonk_verifier_index_deep_copy
 // Requires: plonk_wasm, tsRustConversion, tsRustConversion
 var caml_pasta_fq_plonk_verifier_index_deep_copy = function (x) {
+  console.log("caml_pasta_fq_plonk_verifier_index_deep_copy")
   return tsRustConversion.fq.verifierIndexFromRust(
     plonk_wasm.caml_pasta_fq_plonk_verifier_index_deep_copy(
       tsRustConversion.fq.verifierIndexToRust(x)

src/lib/crypto/kimchi_bindings/js/native/native-overrides/verifier-index.js

@@ -0,0 +1,18 @@
+/* global plonk_wasm, tsRustConversionNative */
+
+
+// Provides: caml_pasta_fq_plonk_verifier_index_shifts
+// Requires: plonk_wasm, tsRustConversionNative
+var caml_pasta_fq_plonk_verifier_index_shifts = function (log2_size) {
+  return tsRustConversionNative.fq.shiftsFromRust(
+    plonk_wasm.caml_pasta_fq_plonk_verifier_index_shifts(log2_size)
+  );
+};
+
+// Provides: caml_pasta_fp_plonk_verifier_index_shifts
+// Requires: plonk_wasm, tsRustConversionNative
+var caml_pasta_fp_plonk_verifier_index_shifts = function (log2_size) {
+  return tsRustConversionNative.fp.shiftsFromRust(
+    plonk_wasm.caml_pasta_fp_plonk_verifier_index_shifts(log2_size)
+  );
+};

src/lib/crypto/kimchi_bindings/js/node_js/node_backend.js

@@ -16,6 +16,8 @@ var plonk_wasm = (function() {
       "caml_pasta_fp_poseidon_block_cipher",
       "caml_pasta_fq_poseidon_block_cipher",
       "caml_pasta_fp_plonk_proof_create",
+      "caml_pasta_fp_plonk_verifier_index_shifts",
+      "caml_pasta_fq_plonk_verifier_index_shifts",
     ]
 
     overrides.forEach(function (override) {