package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Signature`Source

Sourcemodule Stubs : sig ... end

Sourcetype signature = Bytes.t

Sourceval check_unicity_lst : 'a list -> bool

Sourceval with_aggregation_ctxt : Bytes.t -> (Stubs.ctxt -> 'a) -> 'a

Sourcetype sk = Fr.Stubs.scalar

Sourcetype pk = Bytes.t

Sourceval sk_of_bytes_exn : Bytes.t -> Fr.Stubs.scalar

Sourceval sk_to_bytes : Fr.Stubs.scalar -> bytes

Sourceval generate_sk : ?key_info:Bytes.t -> Bytes.t -> Fr.Stubs.scalar

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

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

val 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