package bls12-381-unix

  1. Overview
  2. Docs
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 -> Stdlib.Bytes.t -> Unsigned.Size_t.t -> unit
val deserialize : affine -> Stdlib.Bytes.t -> int
val serialize : Stdlib.Bytes.t -> jacobian -> unit
val compress : Stdlib.Bytes.t -> jacobian -> unit
val uncompress : affine -> Stdlib.Bytes.t -> int
val hash_to_curve : jacobian -> Stdlib.Bytes.t -> Unsigned.Size_t.t -> Stdlib.Bytes.t -> Unsigned.Size_t.t -> Stdlib.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
OCaml

Innovation. Community. Security.