package octez-libs

  1. Overview
  2. Docs

Parameters

Signature

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
OCaml

Innovation. Community. Security.