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

module Stubs : sig ... end

module G2 : sig ... end

include module type of struct include G2 end

type t = Stubs.jacobian

type affine = Stubs.affine

type affine_array = Stubs.affine_array * int

exception Not_on_curve of Stdlib.Bytes.t

val size_in_bytes : int

val affine_of_jacobian : Stubs.jacobian -> Stubs.affine

val jacobian_of_affine : Stubs.affine -> Stubs.jacobian

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

val to_affine_array : Stubs.jacobian array -> Stubs.affine_array * int

val of_affine_array : (Stubs.affine_array * int) -> Stubs.jacobian array

val size_of_affine_array : ('a * 'b) -> 'b

val copy : Stubs.jacobian -> Stubs.jacobian

val global_buffer : Stubs.jacobian

module Scalar = G2.Scalar

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 of_compressed_bytes_opt : Stdlib.Bytes.t -> Stubs.jacobian option

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

val zero : Stubs.jacobian

val one : Stubs.jacobian

val size_in_memory : int

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_bits : Stubs.jacobian -> Stdlib.Bytes.t -> Stubs.jacobian

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

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

val b : Fq2.Stubs.t

val clear_cofactor : Stubs.jacobian -> Stubs.jacobian

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 * Z.t) -> y:(Z.t * Z.t) -> Stubs.jacobian option

module M = G2.M

val fft : domain:M.scalar array -> points:M.group array -> M.group array

val ifft : 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_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 : 
  ?start:int ->
  ?len:int ->
  Stubs.jacobian array ->
  Fr.t array ->
  Stubs.jacobian

val pippenger_with_affine_array : 
  ?start:int ->
  ?len:int ->
  (Stubs.affine_array * int) ->
  Fr.t array ->
  Stubs.jacobian