package octez-libs

  1. Overview
  2. Docs
module Pairing_G1 : sig ... end
module Pairing_G2 : sig ... end
module type Paring_G = sig ... end
module Make (Pairing : Paring_G) : sig ... end
include sig ... end
module Cm : sig ... end
module Proof : sig ... end
type prover_public_parameters = Pairing_G2.Proof.Srs.t
type verifier_public_parameters = Bls.G2.t
type secret = Kzg.Bls.Poly.t
val prove : max_commit:int -> max_degree:int -> Pairing_G2.Proof.Srs.t -> Kzg.Bls.Poly.t -> Pairing_G2.Proof.Srs.elt
val verify : Bls.G2.t -> Bls.G1.t -> Pairing_G2.Proof.t -> bool
module Commit = Commitment.Commit
module Commitment : sig ... end
val prove_multi : max_commit:int -> max_degree:int -> Pairing_G2.Proof.Srs.t -> Utils.Transcript.t -> Bls.G1.t SMap.t -> Kzg.Bls.Poly.t SMap.t -> Pairing_G2.Proof.Srs.elt * Kzg__Utils.Transcript.t
val verify_multi : Bls.G2.t -> Utils.Transcript.t -> Commitment.t -> Pairing_G2.Proof.t -> bool * Kzg__Utils.Transcript.t
module G1_proof : sig ... end
OCaml

Innovation. Community. Security.