package octez-libs

  1. Overview
  2. Docs
module type Cq_sig = sig ... end
module Internal : sig ... end
include Cq_sig
exception Entry_not_in_table
type prover_public_parameters
type verifier_public_parameters
type proof
val setup : srs:(Kzg.Bls.Srs_g1.t * Kzg.Bls.Srs_g2.t) -> wire_size:int -> table:Plompiler.S.t array list -> prover_public_parameters * verifier_public_parameters
OCaml

Innovation. Community. Security.