Module G1_proof.Proof

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