package bls12-381-unix

  1. Overview
  2. Docs
type affine = Stubs.affine
type affine_array = Stubs.affine_array * int
exception Not_on_curve of Bytes.t
val size_in_bytes : int
val affine_of_jacobian : Stubs.jacobian -> Stubs.affine
val jacobian_of_affine : Stubs.affine -> Stubs.jacobian
val memcpy : Stubs.jacobian -> Stubs.jacobian -> unit
val to_affine_array : Stubs.jacobian array -> Stubs.affine_array * int
val of_affine_array : (Stubs.affine_array * int) -> Stubs.jacobian array
val size_of_affine_array : ('a * 'b) -> 'c
val global_buffer : Stubs.jacobian
module Scalar = Fr
val empty : unit -> Stubs.jacobian
val check_bytes : Bytes.t -> bool
val of_bytes_opt : Bytes.t -> Stubs.jacobian option
val of_bytes_exn : Bytes.t -> Stubs.jacobian
val of_compressed_bytes_opt : Bytes.t -> Stubs.jacobian option
val of_compressed_bytes_exn : Bytes.t -> Stubs.jacobian
val zero : Stubs.jacobian
val one : Stubs.jacobian
val size_in_memory : int
val to_bytes : Stubs.jacobian -> bytes
val to_compressed_bytes : Stubs.jacobian -> bytes
val add_inplace : Stubs.jacobian -> Stubs.jacobian -> unit
val add_bulk : Stubs.jacobian list -> Stubs.jacobian
val mul_inplace : Stubs.jacobian -> Fr.Stubs.fr -> unit
val b : Fq2.Stubs.t
val clear_cofactor : Stubs.jacobian -> Stubs.jacobian
val random : ?state:Random.State.t -> unit -> Stubs.jacobian
val eq : Stubs.jacobian -> Stubs.jacobian -> bool
val is_zero : Stubs.jacobian -> bool
val order_minus_one : Scalar.Stubs.fr
val of_z_opt : x:(Z.t * Z.t) -> y:(Z.t * Z.t) -> Stubs.jacobian option
module M : sig ... end
val fft : domain:M.scalar array -> points:M.group array -> M.group array
val ifft : domain:M.scalar array -> points:M.group array -> M.group array
val fft_inplace : domain:Fr.Stubs.fr array -> points:Stubs.jacobian array -> unit
val ifft_inplace : domain:Fr.Stubs.fr array -> points:Stubs.jacobian array -> unit
val hash_to_curve : Bytes.t -> Bytes.t -> Stubs.jacobian
val pippenger : ?start:int -> ?len:int -> Stubs.jacobian array -> Fr.t array -> Stubs.jacobian
val pippenger_with_affine_array : ?start:int -> ?len:int -> (Stubs.affine_array * int) -> Fr.t array -> Stubs.jacobian