Merge pull request #17948 from MinaProtocol/florian/napi-prover-json

 [DO NOT MERGE] native `prover_to_json` implementation

Author: querolita

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

@@ -137,6 +137,3 @@ var caml_pasta_fq_plonk_proof_deep_copy = function (proof) {
   );
 };
 
-// Provides: prover_to_json
-// Requires: plonk_wasm
-var prover_to_json = plonk_wasm.prover_to_json;

src/lib/crypto/kimchi_bindings/js/dune

@@ -17,6 +17,7 @@
    bindings/verifier-index.js
    native/native-overrides/oracles.js
    native/native-overrides/util.js
+   native/native-overrides/circuit.js
    ))
  (instrumentation
   (backend bisect_ppx))

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

@@ -0,0 +1,12 @@
+/* global plonk_wasm, tsRustConversionNative */
+
+
+// Provides: prover_to_json
+// Requires: plonk_wasm, tsRustConversionNative
+function prover_to_json(prover_index) {
+  var bytes = prover_index.serialize()
+  var index = plonk_wasm.prover_index_from_bytes(bytes);
+  // TODO: ^ remove the round trip when napi has direct access to the object
+  
+  return plonk_wasm.prover_to_json(index);
+}

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

@@ -25,3 +25,5 @@ function override(functionName) {
 // Overwrite only the functions that are already available in native
 override('caml_pasta_fp_poseidon_block_cipher');
 override('caml_pasta_fq_poseidon_block_cipher');
+override('prover_to_json');
+override('prover_index_from_bytes');