Merge pull request #18211 from MinaProtocol/shigoto/napi-proof/verifier-index

(mina) Native Prover with Napi - POC - Verifier Index

Author: querolita

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

@@ -12,22 +12,38 @@ var caml_pasta_fp_plonk_proof_create = function (
   prev_sgs
 ) {
   var w = new plonk_wasm.WasmVecVecFp(witness_cols.length - 1);
+  var ww = new w.WasmVecVecFp(witness_cols.length - 1)
   for (var i = 1; i < witness_cols.length; i++) {
-    w.push(tsRustConversionNative.fp.vectorToRust(witness_cols[i]));
+    ww.push(tsRustConversionNative.fp.vectorToRust(witness_cols[i]));
   }
-  witness_cols = w;
+
+  witness_cols = ww;
   prev_challenges = tsRustConversionNative.fp.vectorToRust(prev_challenges);
   var wasm_runtime_tables =
     tsRustConversionNative.fp.runtimeTablesToRust(caml_runtime_tables);
   prev_sgs = tsRustConversionNative.fp.pointsToRust(prev_sgs);
+  
+  /* 
+  index: &External<$NapiIndex>,
+  witness: $NapiVecVec,
+  runtime_tables: NapiVector<JsRuntimeTableF>,
+  prev_challenges: NapiFlatVector<$NapiF>,
+  prev_sgs: NapiVector<$NapiG>,
+  */
 
+  console.log('index: ', index);
+  console.log('witness cols: ', witness_cols)
+  console.log("wasm_runtime_tables: ", wasm_runtime_tables)
+  console.log('prev challenges: ', prev_challenges)
+  console.log('prev_sgs: ', prev_sgs)
   var proof = plonk_wasm.caml_pasta_fp_plonk_proof_create(
     index,
     witness_cols,
     wasm_runtime_tables,
     prev_challenges,
     prev_sgs
   );
+  console.log('proof?')
   return tsRustConversionNative.fp.proofFromRust(proof);
 };
 
@@ -112,7 +128,7 @@ var caml_pasta_fq_plonk_proof_verify = function (index, proof) {
 var caml_pasta_fq_plonk_proof_batch_verify = function (indexes, proofs) {
   indexes = tsRustConversionNative.mapMlArrayToRustVector(
     indexes,
-    tsRustConversionNatsRustConversionNativetive.fq.verifierIndexToRust
+    tsRustConversionNative.fq.verifierIndexToRust
   );
   proofs = tsRustConversionNative.mapMlArrayToRustVector(
     proofs,

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

@@ -136,6 +136,7 @@ var caml_pasta_fp_plonk_index_create = function (
   urs,
   lazy_mode
 ) {
+  console.log('passing through wasm lookup tables')
   var wasm_lookup_tables =
     tsRustConversionNative.fp.lookupTablesToRust(caml_lookup_tables);
   var wasm_runtime_table_cfgs = tsRustConversionNative.fp.runtimeTableCfgsToRust(
@@ -324,4 +325,4 @@ var caml_pasta_fq_plonk_index_write = function (append, t, path) {
     t,
     caml_jsstring_of_string(path)
   );
-};
+};

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

@@ -28,6 +28,8 @@ var plonk_wasm = (function() {
       "WasmFqShifts",
       "WasmFpLookupSelectors",
       "WasmFqLookupSelectors",
+      "WasmFpLookupVerifierIndex",
+      "WasmFqLookupVerifierIndex",
       "WasmFpPlonkVerificationEvals",
       "WasmFqPlonkVerificationEvals",
       "WasmFpPlonkLookupVerifierIndex",
@@ -154,6 +156,10 @@ var plonk_wasm = (function() {
       "WasmFqProofEvaluations",
       "WasmFpProverCommitments",
       "WasmFqProverCommitments",
+      "WasmVecVecFp",
+      "WasmVecVecFq",
+      "WasmFpRuntimeTable",
+      "WasmFqRuntimeTable",
     ];
 
     overrides.forEach(function (override) {