package bls12-381-unix

  1. Overview
  2. Docs
module Stubs : sig ... end
type signature = Stdlib.Bytes.t
val check_unicity_lst : 'a list -> bool
val with_aggregation_ctxt : Stdlib.Bytes.t -> (Stubs.ctxt -> 'a) -> 'a
type sk = Fr.Stubs.scalar
type pk = Stdlib.Bytes.t
val sk_of_bytes_exn : Stdlib.Bytes.t -> Fr.Stubs.scalar
val sk_to_bytes : Fr.Stubs.scalar -> bytes
val generate_sk : ?key_info:Stdlib.Bytes.t -> Stdlib.Bytes.t -> Fr.Stubs.scalar
val unsafe_pk_of_bytes : bytes -> bytes
val pk_of_bytes_exn : Stdlib.Bytes.t -> bytes
val pk_of_bytes_opt : Stdlib.Bytes.t -> bytes option
val pk_to_bytes : bytes -> bytes
val derive_pk : Fr.Stubs.scalar -> bytes
val core_sign : Fr.Stubs.scalar -> Stdlib.Bytes.t -> Stdlib.Bytes.t -> bytes
val core_verify : Stdlib.Bytes.t -> Stdlib.Bytes.t -> Stdlib.Bytes.t -> Stdlib.Bytes.t -> bool
val aggregate_signature_opt : Stdlib.Bytes.t list -> bytes option
val core_aggregate_verify : (Stdlib.Bytes.t * Stdlib.Bytes.t) list -> Stdlib.Bytes.t -> Stdlib.Bytes.t -> bool
module Basic : sig ... end
module Aug : sig ... end
module Pop : sig ... end
OCaml

Innovation. Community. Security.