Module Make.Proof

val t : Pairing.Proof.t Repr.ty
type public_parameters = Pairing.Proof.Srs.t
type secret = Kzg.Bls.Poly.t
val zero : Pairing.Proof.t
val random : ?state:Stdlib.Random.State.t -> unit -> Pairing.Proof.t
val alter_proof : Pairing.Proof.t -> Pairing.Proof.t
val encoding : Pairing.Proof.t Data_encoding.encoding
val equal : Pairing.Proof.t -> Pairing.Proof.t -> bool
val compare : Pairing.Proof.t -> Pairing.Proof.t -> int
val size : int
val commitment_of_bytes_exn : Stdlib.Bytes.t -> Pairing.Proof.t
val to_string : Pairing.Proof.t -> string
val of_string_opt : string -> Pairing.Proof.t option