bls12-381-unix 1.1.1 · OCaml Package

exception Not_on_curve of Stdlib.Bytes.t

type t = Stubs.jacobian

val global_buffer : Stubs.jacobian

val size_in_bytes : int

val memcpy : Stubs.jacobian -> Stubs.jacobian -> unit

val copy : Stubs.jacobian -> Stubs.jacobian

module Scalar = Fr

val cofactor_fr : Scalar.Stubs.fr

val empty : unit -> Stubs.jacobian

val check_bytes : Stdlib.Bytes.t -> bool

val of_bytes_opt : Stdlib.Bytes.t -> Stubs.jacobian option

val of_bytes_exn : Stdlib.Bytes.t -> Stubs.jacobian

val zero : Stubs.jacobian

val one : Stubs.jacobian

val of_compressed_bytes_opt : Stdlib.Bytes.t -> Stubs.jacobian option

val of_compressed_bytes_exn : Stdlib.Bytes.t -> Stubs.jacobian

val to_bytes : Stubs.jacobian -> bytes

val to_compressed_bytes : Stubs.jacobian -> bytes

val add : Stubs.jacobian -> Stubs.jacobian -> Stubs.jacobian

val add_inplace : Stubs.jacobian -> Stubs.jacobian -> unit

val add_bulk : Stubs.jacobian list -> Stubs.jacobian

val double : Stubs.jacobian -> Stubs.jacobian

val mul : Stubs.jacobian -> Fr.Stubs.fr -> Stubs.jacobian

val mul_inplace : Stubs.jacobian -> Fr.Stubs.fr -> unit

val b : Fq.Stubs.fp

val random : ?state:Stdlib.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 negate : Stubs.jacobian -> Stubs.jacobian

val of_z_opt : x:Z.t -> y:Z.t -> Stubs.jacobian option

module M : sig ... end

val fft : 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 : domain:M.scalar array -> points:M.group array -> M.group array

val ifft_inplace : 
  domain:Fr.Stubs.fr array ->
  points:Stubs.jacobian array ->
  unit

val hash_to_curve : Stdlib.Bytes.t -> Stdlib.Bytes.t -> Stubs.jacobian

val pippenger : Stubs.jacobian array -> Fr.t array -> Stubs.jacobian

package bls12-381-unix