package bls12-381-unix

  1. Overview
  2. Docs
module Stubs : sig ... end
type signature = Bytes.t
val check_unicity_lst : 'a list -> bool
val with_aggregation_ctxt : Bytes.t -> (Stubs.ctxt -> 'a) -> 'a
type sk = Fr.Stubs.scalar
type pk = Bytes.t
val sk_of_bytes_exn : Bytes.t -> Fr.Stubs.scalar
val sk_to_bytes : Fr.Stubs.scalar -> bytes
val generate_sk : ?key_info:Bytes.t -> Bytes.t -> Fr.Stubs.scalar
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
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
OCaml

Innovation. Community. Security.