Make zeko circuits compilable to js

src/app/zeko/circuits/dune

@@ -4,6 +4,7 @@
    (:standard -w @a-42-40-44-70-45-41))))
 
 (library
+ (public_name zeko_circuits)
  (name zeko_circuits)
  (libraries
   ;; opam libraries
@@ -64,4 +65,4 @@
   zeko_util
   zeko_as_prover)
  (virtual_modules zeko_as_prover)
- (default_implementation zeko_circuits_as_prover))
+ (default_implementation zeko_circuits.as_prover))

src/app/zeko/circuits_as_prover/dune

@@ -1,9 +1,10 @@
-(env (_ (flags (:standard -w @a-42-40-44-70-45-41))))
+(env
+ (_
+  (flags
+   (:standard -w @a-42-40-44-70-45-41))))
 
 (library
+ (public_name zeko_circuits.as_prover)
  (name zeko_circuits_as_prover)
-  (implements zeko_circuits)
- (libraries
-  zeko_circuits
-  )
-)
+ (implements zeko_circuits)
+ (libraries zeko_circuits))

src/app/zeko/compile_simple/dune

@@ -4,6 +4,7 @@
    (:standard -w @a-42-40-44-70-45-41))))
 
 (library
+ (public_name zeko_compile_simple)
  (name compile_simple)
  (libraries
   ;; opam libraries
@@ -14,4 +15,5 @@
  (preprocess
   (pps ppx_mina))
  (modules compile_simple compile_simple_intf)
- (virtual_modules compile_simple))
+ (virtual_modules compile_simple)
+ (default_implementation zeko_compile_simple.real))

src/app/zeko/compile_simple/real/dune

@@ -1,8 +1,10 @@
 (env
  (_
-  (flags (:standard -w @a-42-40-44-70-45-41))))
+  (flags
+   (:standard -w @a-42-40-44-70-45-41))))
 
 (library
+ (public_name zeko_compile_simple.real)
  (name compile_simple_real_impl)
  (implements compile_simple)
  (libraries
@@ -27,9 +29,7 @@
 
 (library
  (name compile_simple_real)
- (libraries
-  core_kernel
-  compile_simple_real_impl)
+ (libraries core_kernel compile_simple_real_impl)
  (instrumentation
   (backend bisect_ppx))
  (preprocess

src/app/zeko/dune

@@ -1,4 +1,5 @@
 (library
+ (public_name zeko_constants)
  (name zeko_constants)
  (libraries mina_base signature_lib snark_params genesis_constants currency)
  (inline_tests)

src/app/zeko/indexed_merkle_tree/indexed_merkle_tree.ml

@@ -1,4 +1,4 @@
-open Core
+open Core_kernel
 open Signature_lib
 open Merkle_ledger
 open Mina_base
@@ -27,7 +27,7 @@ module Location_binable = struct
 end
 
 module Kvdb : Intf.Key_value_database with type config := string =
-  Rocksdb.Database
+  Mina_ledger_kvdb.Database
 
 module Storage_locations : Intf.Storage_locations = struct
   let key_value_db_dir = "mina_key_value_db"

src/app/zeko/v/dune

@@ -1,8 +1,10 @@
 (env
  (_
-  (flags (:standard -w @a-42-40-44-70-45-41))))
+  (flags
+   (:standard -w @a-42-40-44-70-45-41))))
 
 (library
+ (public_name zeko_v)
  (name v)
  (libraries
   ;; opam libraries

src/dune-project

@@ -229,6 +229,12 @@
 (package (name with_hash))
 (package (name work_partitioner))
 (package (name work_selector))
+(package (name zeko_circuits))
+(package (name zeko_circuits_as_prover))
+(package (name zeko_compile_simple))
+(package (name zeko_compile_simple.real))
+(package (name zeko_constants))
+(package (name zeko_v))
 (package (name zkapp_command_builder))
 (package (name zkapps_examples))
 (package (name zkapp_limits))

src/lib/concurrency/pipe_lib/dune

@@ -8,12 +8,11 @@
   sexplib
   core_kernel
   async_kernel
-  core
   ppx_inline_test.config
   ;; local libraries
   run_in_thread
   logger
-  o1trace)
+  )
  (instrumentation
   (backend bisect_ppx))
  (preprocess

src/lib/concurrency/pipe_lib/swappable_strict_pipe.ml

@@ -215,8 +215,8 @@ let step (type data_in_pipe write_return)
       short_lived_write state short_lived_sink data
 
 let background_thread ~name (t : _ state_t) =
-  O1trace.background_thread (name ^ "-swappable") (fun () ->
-      Deferred.repeat_until_finished t step )
+  let (_ : string) = name in
+  don't_wait_for (Deferred.repeat_until_finished t step)
 
 let create (type data_in_pipe pipe_kind write_return) ?warn_on_drop ~name
     (type_ : (data_in_pipe, pipe_kind, write_return) Strict_pipe.type_) :

src/lib/consensus/constants.ml

@@ -284,7 +284,7 @@ let create ~(constraint_constants : Genesis_constants.Constraint_constants.t)
   let checkpoint_window_slots_per_year, checkpoint_window_size_in_slots =
     let per_year = 12 in
     let slots_per_year =
-      let one_year_ms = Core.Time.Span.(to_ms (of_day 365.)) |> Float.to_int in
+      let one_year_ms = Time.Span.(to_ms (of_day 365.)) |> Float.to_int in
       one_year_ms
       / (Block_time.Span.to_ms constants.slot_duration_ms |> Int64.to_int_exn)
     in
@@ -434,7 +434,7 @@ module Checked = struct
       in
       let%bind slots_per_year, _ =
         let one_year_ms =
-          constant (Core.Time.Span.(to_ms (of_day 365.)) |> Float.to_int)
+          constant (Time.Span.(to_ms (of_day 365.)) |> Float.to_int)
         in
         N.div_mod one_year_ms slot_duration_ms
       in

src/lib/consensus/dune

@@ -9,14 +9,10 @@
  (libraries
   ;; opam libraries
   ppx_inline_test.config
-  async_unix
-  core.uuid
   async_kernel
   sexplib0
   base.caml
   integers
-  async
-  core
   yojson
   core_kernel
   bin_prot.shape
@@ -54,7 +50,6 @@
   mina_transaction_logic
   key_gen
   block_time
-  perf_histograms
   test_util
   non_zero_curve_point
   mina_metrics
@@ -66,7 +61,6 @@
   crypto_params
   data_hash_lib
   currency
-  file_system
   coda_genesis_ledger
   interruptible
   network_peer
@@ -75,10 +69,9 @@
   sparse_ledger_lib
   syncable_ledger
   trust_system
+  run_in_thread
   mina_base.import
-  ppx_version.runtime
-  internal_tracing
-  o1trace)
+  ppx_version.runtime)
  (preprocess
   (pps
    h_list.ppx

src/lib/consensus/epoch.ml

@@ -1,4 +1,4 @@
-open Core
+open Core_kernel
 open Signed
 open Unsigned
 open Num_util

src/lib/consensus/global_slot.ml

@@ -1,5 +1,5 @@
 open Unsigned
-open Core
+open Core_kernel
 open Snark_params.Tick
 module Wire_types = Mina_wire_types.Consensus_global_slot
 

src/lib/consensus/intf.ml

@@ -1,6 +1,6 @@
 open Core_kernel
 open Mina_numbers
-open Async
+open Async_kernel
 open Currency
 open Signature_lib
 open Mina_base