package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Stubs : sig ... end

module StubsFr : sig ... end

module StubsG1 : sig ... end

module StubsG2 : sig ... end

type signature = Bytes.t

val check_unicity_lst : 'a list -> bool

val with_aggregation_ctxt : 
  bytes ->
  (Blst_bindings.Types.blst_pairing_t Ctypes_static.ptr -> 'a) ->
  'b

type sk = Blst_bindings.Types.blst_scalar_t Ctypes.ptr

type pk = Bytes.t

val sk_of_bytes_exn : Bytes.t -> Blst_bindings.Types.blst_scalar_t Ctypes.ptr

val sk_to_bytes : Blst_bindings.Types.blst_scalar_t Ctypes_static.ptr -> bytes

val generate_sk : 
  ?key_info:bytes ->
  bytes ->
  Blst_bindings.Types.blst_scalar_t Ctypes.ptr

val unsafe_pk_of_bytes : bytes -> bytes

val pk_of_bytes_exn : bytes -> bytes

val pk_of_bytes_opt : bytes -> bytes option

val pk_to_bytes : bytes -> bytes

val derive_pk : Blst_bindings.Types.blst_scalar_t Ctypes_static.ptr -> bytes

val core_sign : 
  Blst_bindings.Types.blst_scalar_t Ctypes_static.ptr ->
  bytes ->
  bytes ->
  bytes

val core_verify : bytes -> bytes -> bytes -> bytes -> bool Blst_stubs.return

val aggregate_signature_opt : bytes list -> bytes option

val core_aggregate_verify : 
  (bytes * bytes) list ->
  bytes ->
  bytes ->
  bool Blst_stubs.return

module Basic : sig ... end

module Aug : sig ... end

module Pop : sig ... end