package octez-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Distributed_prover.S
module D : Communication.Distributed_wrapper.Enriched_process with type 'a M.step = 'a Msg.step and type 'a M.request = 'a Msg.request and type 'a M.reply = 'a Msg.reply and type 'a io = 'a Lwt.t
val distributed_prover_main : workers:Distributed.Process_id.t list -> inputs:MP.prover_inputs -> MP.prover_public_parameters -> MP.proof D.t
val pp_file : string
val get_distributed_pp : MP.prover_public_parameters -> bytes
OCaml

Innovation. Community. Security.