bls12-381-unix 1.0.0 · OCaml Package

val keygen : 
  (Blst_bindings.Types.blst_scalar_t Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    unit Blst_stubs.return)
    Blst_stubs.result

val sk_to_pk : 
  (Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_scalar_t Ctypes_static.ptr ->
    unit Blst_stubs.return)
    Blst_stubs.result

val sign : 
  (Blst_bindings.Types.blst_g2_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_g2_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_scalar_t Ctypes_static.ptr ->
    unit Blst_stubs.return)
    Blst_stubs.result

val pairing_init : 
  (Blst_bindings.Types.blst_pairing_t Ctypes_static.ptr ->
    bool ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    unit Blst_stubs.return)
    Blst_stubs.result

val core_verify : 
  (Blst_bindings.Types.blst_g1_affine_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_g2_affine_t Ctypes_static.ptr ->
    bool ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    int Blst_stubs.return)
    Blst_stubs.result

val aggregate_signature : 
  (Blst_bindings.Types.blst_pairing_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_g1_affine_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_g2_affine_t Ctypes_static.ptr ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    int Blst_stubs.return)
    Blst_stubs.result

val sizeof_pairing : 
  (unit -> Unsigned.size_t Blst_stubs.return) Blst_stubs.result

val malloc : 
  (Unsigned.size_t ->
    unit Ctypes_static.ptr Blst_stubs.return)
    Blst_stubs.result

val free : (unit Ctypes_static.ptr -> unit Blst_stubs.return) Blst_stubs.result

val pairing_commit : 
  (Blst_bindings.Types.blst_pairing_t Ctypes_static.ptr ->
    unit Blst_stubs.return)
    Blst_stubs.result

val pairing_finalverify : 
  (Blst_bindings.Types.blst_pairing_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_fq12_t Ctypes_static.ptr ->
    bool Blst_stubs.return)
    Blst_stubs.result

val pairing_chk_n_mul_n_aggr_pk_in_g1 : 
  (Blst_bindings.Types.blst_pairing_t Ctypes_static.ptr ->
    Blst_bindings.Types.blst_g1_affine_t Ctypes_static.ptr ->
    bool ->
    Blst_bindings.Types.blst_g2_affine_t Ctypes_static.ptr ->
    bool ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    bytes Ctypes_static.ocaml ->
    Unsigned.size_t ->
    int Blst_stubs.return)
    Blst_stubs.result

package bls12-381-unix