bls12-381 0.3.14 · OCaml Package

Parameters

module S : sig ... end

module F : Cstubs.FOREIGN

Signature

val uncompressed_check_bytes : 
  (bytes Ctypes_static.ocaml -> bool F.return) F.result

val compressed_check_bytes : 
  (bytes Ctypes_static.ocaml -> bool F.return) F.result

val one : (bytes Ctypes_static.ocaml -> unit F.return) F.result

val zero : (bytes Ctypes_static.ocaml -> unit F.return) F.result

val random : (bytes Ctypes_static.ocaml -> unit F.return) F.result

val add : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val double : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val negate : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val eq : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bool F.return)
    F.result

val is_zero : (bytes Ctypes_static.ocaml -> bool F.return) F.result

val mul : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val compressed_one : (bytes Ctypes_static.ocaml -> unit F.return) F.result

val compressed_zero : (bytes Ctypes_static.ocaml -> unit F.return) F.result

val compressed_random : (bytes Ctypes_static.ocaml -> unit F.return) F.result

val compressed_add : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val compressed_negate : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val compressed_eq : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bool F.return)
    F.result

val compressed_is_zero : (bytes Ctypes_static.ocaml -> bool F.return) F.result

val compressed_double : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val compressed_mul : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val compressed_of_uncompressed : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

val uncompressed_of_compressed : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result