bls12-381-unix 0.4.1 · OCaml Package

val uncompressed_check_bytes : bytes Ctypes_static.ocaml -> bool

val compressed_check_bytes : bytes Ctypes_static.ocaml -> bool

val one : bytes Ctypes_static.ocaml -> unit

val zero : bytes Ctypes_static.ocaml -> unit

val random : bytes Ctypes_static.ocaml -> unit

val add : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val double : bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit

val negate : bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit

val eq : bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool

val is_zero : bytes Ctypes_static.ocaml -> bool

val mul : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val compressed_one : bytes Ctypes_static.ocaml -> unit

val compressed_zero : bytes Ctypes_static.ocaml -> unit

val compressed_random : bytes Ctypes_static.ocaml -> unit

val compressed_add : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val compressed_negate : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val compressed_eq : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bool

val compressed_is_zero : bytes Ctypes_static.ocaml -> bool

val compressed_double : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val compressed_mul : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val compressed_of_uncompressed : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val uncompressed_of_compressed : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  unit

val build_from_components : 
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bytes Ctypes_static.ocaml ->
  bool

package bls12-381-unix