package octez-libs

  1. Overview
  2. Docs

Parameters

Signature

module MP : sig ... end
module Msg : sig ... end
module D : sig ... end
val distributed_prover_main : workers:Distributed.Process_id.t list -> inputs:MP.prover_inputs -> MP.prover_public_parameters -> MP.proof D.t
module Worker_Main : sig ... end
val pp_file : string
val get_distributed_pp : MP.prover_public_parameters -> bytes
OCaml

Innovation. Community. Security.