package octez-libs

  1. Overview
  2. Docs
module Proof = Commitment.Single
type prover_public_parameters = Kzg.Bls.Srs_g1.t
type verifier_public_parameters = {
  1. srs_0 : Bls.G2.t;
  2. srs_n_d : Bls.G2.t;
}
type secret = Kzg.Bls.Poly.t
val prove : max_commit:int -> max_degree:int -> Kzg.Bls.Srs_g1.t -> Kzg.Bls.Poly.t -> Kzg.Bls.Srs_g1.elt
val prove_multi : max_commit:int -> max_degree:int -> Kzg.Bls.Srs_g1.t -> Utils.Transcript.t -> Bls.G1.t SMap.t -> Kzg.Bls.Poly.t SMap.t -> Kzg.Bls.Srs_g1.elt * Kzg__Utils.Transcript.t
val verify_multi : verifier_public_parameters -> Utils.Transcript.t -> Commitment.t -> Bls.G1.t -> bool * Kzg__Utils.Transcript.t
OCaml

Innovation. Community. Security.