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 affine

type jacobian

val allocate_g1 : unit -> jacobian

val allocate_g1_affine : unit -> affine

val from_affine : jacobian -> affine -> unit

val to_affine : affine -> jacobian -> unit

val double : jacobian -> jacobian -> unit

val dadd : jacobian -> jacobian -> jacobian -> unit

val is_zero : jacobian -> bool

val in_g1 : jacobian -> bool

val equal : jacobian -> jacobian -> bool

val cneg : jacobian -> bool -> unit

val mult : jacobian -> jacobian -> Bytes.t -> Unsigned.Size_t.t -> unit

val deserialize : affine -> Bytes.t -> int

val serialize : Bytes.t -> jacobian -> unit

val compress : Bytes.t -> jacobian -> unit

val uncompress : affine -> Bytes.t -> int

val hash_to_curve : 
  jacobian ->
  Bytes.t ->
  Unsigned.Size_t.t ->
  Bytes.t ->
  Unsigned.Size_t.t ->
  Bytes.t ->
  Unsigned.Size_t.t ->
  unit

val memcpy : jacobian -> jacobian -> unit

val set_affine_coordinates : affine -> Fq.t -> Fq.t -> unit

val fft_inplace : jacobian array -> Fr.Stubs.fr array -> int -> unit

val pippenger : 
  jacobian ->
  jacobian array ->
  Unsigned.Size_t.t ->
  Fr.t array ->
  unit

val mul_map_inplace : jacobian array -> Fr.Stubs.fr -> int -> unit