package octez-libs

  1. Overview
  2. Docs
module Public_parameters : sig ... end
module Commitment = Commitment
type secret = Commitment.secret
type query = Bls.Scalar.t SMap.t
type answer = Bls.Scalar.t SMap.t SMap.t
type proof = Bls.G1.t SMap.t
val proof_t : Bls.G1.t SMap.t Repr.ty
val commit : ?all_keys:'a -> Public_parameters.prover -> Kzg.Bls.Poly.t SMap.t -> Kzg.Bls.Srs_g1.elt SMap.t * unit
val sample_ys : Kzg__Utils.Transcript.t -> 'a SMap.t -> Bls.Scalar.t SMap.t * Kzg__Utils.Transcript.t
val verify_single : Public_parameters.verifier -> Kzg__Utils.Transcript.t -> Bls.G1.t SMap.t -> Bls.Scalar.t SMap.t -> Bls.Scalar.t SMap.t SMap.t -> Bls.G1.t SMap.t -> bool * Utils.Transcript.t
val group_secrets : secret list -> secret
val group_cmts : Commitment.t list -> Commitment.t
val group_queries : query list -> query
val group_answers : answer list -> answer
val evaluate : Kzg.Bls.Poly.t SMap.t -> query -> answer
OCaml

Innovation. Community. Security.