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

type proof = Bytes.t

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

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

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

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

val aggregate_verify : (bytes * bytes) list -> bytes -> bytes -> bool