package octez-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Cq_sig = sig ... end
module Make (PC : Polynomial_commitment.S) : sig ... end
include Cq_sig
exception Entry_not_in_table
type transcript = bytes
type prover_public_parameters
type verifier_public_parameters
type proof
val setup : srs:(Plonk.Bls.Srs_g1.t * Plonk.Bls.Srs_g2.t) -> wire_size:int -> table:Plompiler.S.t array list -> prover_public_parameters * verifier_public_parameters
OCaml

Innovation. Community. Security.