G1 (p.bls12-381-unix.1.0.1.doc.bls12-381-unix.G1)

Sourcemodule Stubs : sig ... end

Sourcemodule G1 : sig ... end

include module type of struct include G1 end

Sourceexception Not_on_curve of Bytes.t

Sourcetype t = Blst_bindings.Types.blst_g1_t Ctypes.ptr

Sourceval size_in_bytes : int

Sourcemodule Scalar = G1.Scalar

Sourceval cofactor_fr : Blst_bindings.Types.blst_fr_t Ctypes.ptr

Sourceval empty : unit -> Blst_bindings.Types.blst_g1_t Ctypes.ptr

Sourceval check_bytes : bytes -> bool

Sourceval of_bytes_opt : bytes -> Blst_bindings.Types.blst_g1_t Ctypes.ptr option

Sourceval of_bytes_exn : Bytes.t -> Blst_bindings.Types.blst_g1_t Ctypes.ptr

Sourceval zero : Blst_bindings.Types.blst_g1_t Ctypes.ptr

Sourceval one : Blst_bindings.Types.blst_g1_t Ctypes.ptr

Source

val of_compressed_bytes_opt : 
  bytes ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr option

Source

val of_compressed_bytes_exn : 
  Bytes.t ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr

Sourceval to_bytes : Blst_bindings.Types.blst_g1_t Ctypes_static.ptr -> bytes

Source

val to_compressed_bytes : 
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  bytes

Source

val add : 
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr

Source

val double : 
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr

Source

val mul : 
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_fr_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr

Sourceval b : Blst_bindings.Types.blst_fq_t Ctypes.ptr

Source

val random : 
  ?state:Random.State.t ->
  unit ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr

Source

val eq : 
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  bool Blst_stubs.return

Source

val is_zero : 
  Blst_bindings.Types.blst_g1_t Ctypes_static.ptr ->
  bool Blst_stubs.return

Sourceval order_minus_one : Blst_bindings.Types.blst_fr_t Ctypes.ptr

Source

val negate : 
  Blst_bindings.Types.blst_g1_t Ctypes.ptr ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr

Source

val of_z_opt : 
  x:Z.t ->
  y:Z.t ->
  Blst_bindings.Types.blst_g1_t Ctypes.ptr option

Sourceval fft : domain:Scalar.t array -> points:t array -> t array

Sourceval ifft : domain:Scalar.t array -> points:t array -> t array

Sourceval hash_to_curve : bytes -> bytes -> Blst_bindings.Types.blst_g1_t Ctypes.ptr