package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `G1.Stubs`Source

Sourcetype affine_array

Sourcetype affine

Sourcetype jacobian

Sourceval allocate_g1 : unit -> jacobian

Sourceval allocate_g1_affine_contiguous_array : int -> affine_array

val p1_affine_array_set_p1_points : 
  affine_array ->
  jacobian array ->
  int ->
  int

Sourceval allocate_g1_affine : unit -> affine

Sourceval from_affine : jacobian -> affine -> int

Sourceval to_affine : affine -> jacobian -> int

Sourceval double : jacobian -> jacobian -> int

Sourceval dadd : jacobian -> jacobian -> jacobian -> int

Sourceval is_zero : jacobian -> bool

Sourceval in_g1 : jacobian -> bool

Sourceval equal : jacobian -> jacobian -> bool

Sourceval cneg : jacobian -> bool -> int

Sourceval mult : jacobian -> jacobian -> Bytes.t -> Unsigned.Size_t.t -> int

Sourceval deserialize : affine -> Bytes.t -> int

Sourceval serialize : Bytes.t -> jacobian -> int

Sourceval compress : Bytes.t -> jacobian -> int

Sourceval uncompress : affine -> Bytes.t -> int

val hash_to_curve : 
  jacobian ->
  Bytes.t ->
  Unsigned.Size_t.t ->
  Bytes.t ->
  Unsigned.Size_t.t ->
  Bytes.t ->
  Unsigned.Size_t.t ->
  int

Sourceval memcpy : jacobian -> jacobian -> int

Sourceval set_affine_coordinates : affine -> Fq.t -> Fq.t -> int

Sourceval fft_inplace : jacobian array -> Fr.Stubs.fr array -> int -> int

val pippenger : 
  jacobian ->
  jacobian array ->
  Fr.t array ->
  Unsigned.Size_t.t ->
  Unsigned.Size_t.t ->
  int

Sourceval continuous_array_get : jacobian -> affine_array -> int -> int

val pippenger_with_affine_array : 
  jacobian ->
  affine_array ->
  Fr.t array ->
  Unsigned.Size_t.t ->
  Unsigned.Size_t.t ->
  int

Sourceval mul_map_inplace : jacobian array -> Fr.Stubs.fr -> int -> int