Tezos_protocol_environment_013_PtJakart.Bls_signature
type pk = Bls12_381_signature.MinPk.pk
val pk_size_in_bytes : int
val unsafe_pk_of_bytes : Bytes.t -> pk
val pk_of_bytes_opt : Bytes.t -> pk option
val pk_to_bytes : pk -> Bytes.t
type signature = Bls12_381_signature.MinPk.signature
val signature_size_in_bytes : int
val unsafe_signature_of_bytes : Bytes.t -> signature
val signature_of_bytes_opt : Bytes.t -> signature option
val signature_to_bytes : signature -> Bytes.t
val aggregate_signature_opt : signature list -> signature option
val verify : pk -> Bytes.t -> signature -> bool
val aggregate_verify : (pk * Bytes.t) list -> signature -> bool