Module G2Source

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