fix tbd

Author: Trivo25

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

@@ -24,7 +24,7 @@ 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")
+  console.log("caml_pasta_fp_plonk_verifier_index_create", x)
   var vk = plonk_wasm.caml_pasta_fp_plonk_verifier_index_create(x);
   return tsRustConversion.fp.verifierIndexFromRust(vk);
 };

src/lib/crypto/kimchi_bindings/js/dune

@@ -21,7 +21,8 @@
    native/native-overrides/prover-index.js
    native/native-overrides/srs.js
    native/native-overrides/util.js
-   native/native-overrides/proof.js))
+   native/native-overrides/proof.js
+   native/native-overrides/verifier-index.js))
  (instrumentation
   (backend bisect_ppx))
  (preprocess

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

@@ -198,7 +198,7 @@ var caml_pasta_fp_plonk_index_write = function (append, t, path) {
 };
 
 // Provides: caml_pasta_fq_plonk_index_create
-// Requires: plonk_wasm, free_on_finalize, tsRustConversion
+// Requires: plonk_wasm, free_on_finalize, tsRustConversionNative
 var caml_pasta_fq_plonk_index_create = function (
   gates,
   public_inputs,

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

@@ -1,16 +1,19 @@
 /* global plonk_wasm, caml_jsstring_of_string, 
-  tsBindings, tsRustConversion
+  tsBindings, tsRustConversionNative
 */
 
 // Provides: tsSrs
 // Requires: tsBindings, plonk_wasm
-var tsSrs = tsBindings.srs(plonk_wasm);
+var tsSrs = tsBindings.srsNative(plonk_wasm);
 
 // srs
 
 // Provides: caml_fp_srs_create
 // Requires: tsSrs
-var caml_fp_srs_create = tsSrs.fp.create;
+var caml_fp_srs_create = function (log_size) {
+  console.log("native caml_fp_srs_create");
+  return tsSrs.fp.create(log_size);
+}
 
 // Provides: caml_fp_srs_write
 // Requires: plonk_wasm, caml_jsstring_of_string
@@ -43,17 +46,25 @@ var caml_fp_srs_read = function (offset, path) {
 
 // Provides: caml_fp_srs_lagrange_commitments_whole_domain
 // Requires: tsSrs
-var caml_fp_srs_lagrange_commitments_whole_domain =
-  tsSrs.fp.lagrangeCommitmentsWholeDomain;
+var caml_fp_srs_lagrange_commitments_whole_domain = function (srs, domain_size) {
+  console.log("native caml_fp_srs_lagrange_commitments_whole_domain");
+  return tsSrs.fp.lagrangeCommitmentsWholeDomain(srs, domain_size);
+}
 
 // Provides: caml_fq_srs_lagrange_commitments_whole_domain
 // Requires: tsSrs
 var caml_fq_srs_lagrange_commitments_whole_domain =
-  tsSrs.fq.lagrangeCommitmentsWholeDomain;
+  function (srs, domain_size) {
+    console.log("native caml_fq_srs_lagrange_commitments_whole_domain");
+    return tsSrs.fq.lagrangeCommitmentsWholeDomain(srs, domain_size);
+  }
 
 // Provides: caml_fp_srs_lagrange_commitment
 // Requires: tsSrs
-var caml_fp_srs_lagrange_commitment = tsSrs.fp.lagrangeCommitment;
+var caml_fp_srs_lagrange_commitment = function (srs, i) {
+  console.log("native caml_fp_srs_lagrange_commitment");
+  return tsSrs.fp.lagrangeCommitment(srs, i);
+}
 
 // Provides: caml_fp_srs_commit_evaluations
 // Requires: plonk_wasm, tsRustConversionNative
@@ -114,11 +125,17 @@ var caml_fp_srs_h = function (t) {
 
 // Provides: caml_fp_srs_add_lagrange_basis
 // Requires: tsSrs
-var caml_fp_srs_add_lagrange_basis = tsSrs.fp.addLagrangeBasis;
+var caml_fp_srs_add_lagrange_basis = function (srs, domain_size) {
+  console.log("native caml_fp_srs_add_lagrange_basis");
+  return tsSrs.fp.addLagrangeBasis(srs, domain_size);
+};
 
 // Provides: caml_fq_srs_create
 // Requires: tsSrs
-var caml_fq_srs_create = tsSrs.fq.create;
+var caml_fq_srs_create = function (log_size) {  
+  console.log("native caml_fq_srs_create");
+  return tsSrs.fq.create(log_size);
+}
 
 // Provides: caml_fq_srs_write
 // Requires: plonk_wasm, caml_jsstring_of_string
@@ -151,7 +168,10 @@ var caml_fq_srs_read = function (offset, path) {
 
 // Provides: caml_fq_srs_lagrange_commitment
 // Requires: tsSrs
-var caml_fq_srs_lagrange_commitment = tsSrs.fq.lagrangeCommitment;
+var caml_fq_srs_lagrange_commitment = function (srs, i) {
+  console.log("native caml_fq_srs_lagrange_commitment");
+  return tsSrs.fq.lagrangeCommitment(srs, i);
+}
 
 // Provides: caml_fq_srs_commit_evaluations
 // Requires: plonk_wasm, tsRustConversionNative
@@ -181,7 +201,7 @@ var caml_fq_srs_b_poly_commitment = function (srs, chals) {
 };
 
 // Provides: caml_fq_srs_batch_accumulator_check
-// Requires: plonk_wasm, tsRustConversion
+// Requires: plonk_wasm, tsRustConversionNative
 var caml_fq_srs_batch_accumulator_check = function (srs, comms, chals) {
   console.log("native caml_fq_srs_batch_accumulator_check");
   var rust_comms = tsRustConversionNative.fq.pointsToRust(comms);
@@ -216,4 +236,7 @@ var caml_fq_srs_h = function (t) {
 
 // Provides: caml_fq_srs_add_lagrange_basis
 // Requires: tsSrs
-var caml_fq_srs_add_lagrange_basis = tsSrs.fq.addLagrangeBasis;
+var caml_fq_srs_add_lagrange_basis = function (srs, domain_size) {
+  console.log("native caml_fq_srs_add_lagrange_basis");
+  return tsSrs.fq.addLagrangeBasis(srs, domain_size);
+};

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

@@ -4,9 +4,20 @@
 // 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)
-  );
+  console.log("log2_size", log2_size);
+  try {
+    var shifts = plonk_wasm.caml_pasta_fq_plonk_verifier_index_shifts(log2_size);
+    console.log("shifts", shifts);
+    console.log("shiftsFromRust", tsRustConversionNative.fq.shiftsFromRust(
+      shifts
+    ))
+    return tsRustConversionNative.fq.shiftsFromRust(
+      shifts
+    );
+  } catch (e) {
+    console.error("Error calling caml_pasta_fq_plonk_verifier_index_shifts:", e);
+    throw e;
+  }
 };
 
 // Provides: caml_pasta_fp_plonk_verifier_index_shifts

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

@@ -61,8 +61,8 @@ var plonk_wasm = (function() {
       "WasmFpSrs",
       "caml_fp_srs_create",
       "caml_fp_srs_create_parallel",
-      "caml_fq_srs_get",
-      "caml_fq_srs_set",
+      "caml_fp_srs_get",
+      "caml_fp_srs_set",
       "caml_fp_srs_write",
       "caml_fp_srs_read",
       "caml_fp_srs_add_lagrange_basis",
@@ -93,7 +93,10 @@ var plonk_wasm = (function() {
     ];
 
     overrides.forEach(function (override) {
-      wasm[override] = native[override]
+      wasm[override] = function(x1, x2, x3, x4, x5, x6, x7, x8, x9, x10) {
+        console.log("calling native override:", override);
+        return native[override](x1, x2, x3, x4, x5, x6, x7, x8, x9, x10);
+      }
     })
     wasm.native = true;
   } catch (e) {