Merge pull request #18074 from MinaProtocol/leon/native/napi/cleanup

chore: native/napi trunk cleanup

Author: querolita

src/lib/crypto/kimchi_bindings/js/native/header-d.ts

@@ -5,5 +5,13 @@
 // external pointer types.
 
 type WasmPastaFpPlonkIndex = {};
+type NapiVector<T> = {};
+type NapiGVesta = {};
+type NapiGPallas = {};
+type NapiPastaFpPlonkIndex = {};
+type NapiPastaFqPlonkIndex = {};
+type NapiLookupInfo = {};
+type NapiPastaFp = {};
+type NapiPastaFq = {};
 
 // Header section end

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

@@ -177,7 +177,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);

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

@@ -17,7 +17,6 @@ var plonk_wasm = (function() {
       "prover_index_fq_to_bytes",
       "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",
       "WasmFpPolyComm",
@@ -98,9 +97,7 @@ var plonk_wasm = (function() {
     wasm.native = true;
   } catch (e) {
     if (process.env.O1JS_REQUIRE_NATIVE_BINDINGS) {
-      console.error(e)
-      console.log("native didn't load")
-      process.exit(1);
+      throw e
     }
   }
   return wasm

src/lib/crypto/kimchi_bindings/stubs/kimchi_bindings.ml

@@ -215,8 +215,7 @@ module Protocol = struct
         -> SRS.Fp.t
         -> bool
         -> t
-        = "caml_pasta_fp_plonk_index_create_bytecode"
-          "caml_pasta_fp_plonk_index_create"
+        = "caml_pasta_fp_plonk_index_create_bytecode" "caml_pasta_fp_plonk_index_create"
 
       external max_degree : t -> int = "caml_pasta_fp_plonk_index_max_degree"
 
@@ -251,8 +250,7 @@ module Protocol = struct
         -> SRS.Fq.t
         -> bool
         -> t
-        = "caml_pasta_fq_plonk_index_create_bytecode"
-          "caml_pasta_fq_plonk_index_create"
+        = "caml_pasta_fq_plonk_index_create_bytecode" "caml_pasta_fq_plonk_index_create"
 
       external max_degree : t -> int = "caml_pasta_fq_plonk_index_max_degree"
 

src/lib/crypto/proof-systems

@@ -2831,7 +2831,8 @@ module Tick : S = struct
                           + if_feature
                               ( LookupPattern RangeCheck
                               , (fun () ->
-                                  cell (var (LookupKindIndex RangeCheck, Curr)) )
+                                  cell (var (LookupKindIndex RangeCheck, Curr))
+                                  )
                               , fun () ->
                                   field
                                     "0x0000000000000000000000000000000000000000000000000000000000000000"
@@ -2841,7 +2842,8 @@ module Tick : S = struct
                               , (fun () ->
                                   cell
                                     (var
-                                       (LookupKindIndex ForeignFieldMul, Curr) ) )
+                                       (LookupKindIndex ForeignFieldMul, Curr) )
+                                  )
                               , fun () ->
                                   field
                                     "0x0000000000000000000000000000000000000000000000000000000000000000"