package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

bls12-381-unix
- Bls12_381
- Fq12
  - Fq12
  - Stubs
- Fr
  - Fr
    
    M
  - Stubs
- G1
  - G1
    
    M
  - Stubs
- G2
  - G2
    
    M
  - Stubs
- Pairing
  - Stubs
- Poseidon128
  - Stubs
- Signature
  - CommonStubs
  - MinPk
    
    Aug
    
    Basic
    
    Pop
    
    Stubs
  - MinSig
    
    Aug
    
    Basic
    
    Pop
    
    Stubs

Legend:
Library
Module
Module type
Parameter
Class
Class type

type affine_array

type affine

type jacobian

val allocate_g1 : unit -> jacobian

val allocate_g1_affine_contiguous_array : int -> affine_array

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

val allocate_g1_affine : unit -> affine

val from_affine : jacobian -> affine -> int

val to_affine : affine -> jacobian -> int

val double : jacobian -> jacobian -> int

val dadd : jacobian -> jacobian -> jacobian -> int

val is_zero : jacobian -> bool

val in_g1 : jacobian -> bool

val equal : jacobian -> jacobian -> bool

val cneg : jacobian -> bool -> int

val mult : jacobian -> jacobian -> Stdlib.Bytes.t -> Unsigned.Size_t.t -> int

val deserialize : affine -> Stdlib.Bytes.t -> int

val serialize : Stdlib.Bytes.t -> jacobian -> int

val compress : Stdlib.Bytes.t -> jacobian -> int

val uncompress : affine -> Stdlib.Bytes.t -> int

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

val memcpy : jacobian -> jacobian -> int

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

val 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

val 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

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