Merge branch 'native/napi' into querolita/napi-proof

Author: querolita

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

@@ -11,13 +11,13 @@ type NapiPastaFqPlonkIndex = {};
 type NapiPastaFp = {};
 type NapiPastaFq = {};
 type NapiLookupInfo = {};
-type WasmPastaFqPlonkIndex = {};
 type WasmPastaFpPlonkIndex = {};
+type WasmPastaFqPlonkIndex = {};
 type Proof = {}
 type NapiVector<T> = {};
 type NapiFlatVector<T> = {};
-type WasmVecVecFq = {};
 type WasmVecVecFp = {};
+type WasmVecVecFq = {};
 type Self = {};
 
 // Header section end

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

@@ -17,6 +17,7 @@ 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",
       "caml_pasta_fp_plonk_gate_vector_create",

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

@@ -215,7 +215,8 @@ 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"
 
@@ -250,7 +251,8 @@ 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,8 +2831,7 @@ module Tick : S = struct
                           + if_feature
                               ( LookupPattern RangeCheck
                               , (fun () ->
-                                  cell (var (LookupKindIndex RangeCheck, Curr))
-                                  )
+                                  cell (var (LookupKindIndex RangeCheck, Curr)) )
                               , fun () ->
                                   field
                                     "0x0000000000000000000000000000000000000000000000000000000000000000"
@@ -2842,8 +2841,7 @@ module Tick : S = struct
                               , (fun () ->
                                   cell
                                     (var
-                                       (LookupKindIndex ForeignFieldMul, Curr) )
-                                  )
+                                       (LookupKindIndex ForeignFieldMul, Curr) ) )
                               , fun () ->
                                   field
                                     "0x0000000000000000000000000000000000000000000000000000000000000000"