package octez-libs

  1. Overview
  2. Docs

Parameters

module Pairing : Paring_G

Signature

module Cm : sig ... end
module Proof : sig ... end
type prover_public_parameters = Pairing.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.Proof.Srs.t -> Kzg.Bls.Poly.t -> Pairing.Proof.Srs.elt
val verify : Bls.G2.t -> Bls.G1.t -> Pairing.Proof.t -> bool
module Commit = Commitment.Commit
module Commitment : sig ... end
val prove_multi : max_commit:int -> max_degree:int -> Pairing.Proof.Srs.t -> Utils.Transcript.t -> Bls.G1.t SMap.t -> Kzg.Bls.Poly.t SMap.t -> Pairing.Proof.Srs.elt * Kzg__Utils.Transcript.t
val verify_multi : Bls.G2.t -> Utils.Transcript.t -> Commitment.t -> Pairing.Proof.t -> bool * Kzg__Utils.Transcript.t
OCaml

Innovation. Community. Security.