Module Signature.MinPkSource

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