module Stubs : sig ... end
type pk = Bytes.t
val pk_size_in_bytes : int
val unsafe_pk_of_bytes : bytes -> bytes
val pk_of_bytes_exn : Bytes.t -> bytes
val pk_of_bytes_opt : Bytes.t -> bytes option
val pk_to_bytes : bytes -> bytes
val derive_pk : Fr.Stubs.scalar -> bytes
type signature = Bytes.t
val signature_size_in_bytes : int
val unsafe_signature_of_bytes : bytes -> bytes
val signature_of_bytes_exn : Bytes.t -> bytes
val signature_of_bytes_opt : Bytes.t -> bytes option
val signature_to_bytes : bytes -> bytes
val core_sign : Fr.Stubs.scalar -> Bytes.t -> Bytes.t -> bytes
val core_verify : Bytes.t -> Bytes.t -> Bytes.t -> Bytes.t -> bool
val aggregate_signature_opt : Bytes.t list -> bytes option
val core_aggregate_verify : (Bytes.t * Bytes.t) list -> Bytes.t -> Bytes.t -> bool
module Basic : sig ... end
module Aug : sig ... end
module Pop : sig ... end