package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

bls12-381-unix
- CHANGES
- README
- Library bls12-381-unix
  - Bls12_381
    
    Fr
    
    G1
    
    G2
    
    Fq12
    
    Pairing
    
    Signature
  - Fq12
    
    Stubs
    
    Fq12
  - Fr
    
    Stubs
    
    Fr
    
    M
    
    M
  - G1
    
    Stubs
    
    G1
    
    Scalar
    
    M
    
    Scalar
    
    M
  - G2
    
    Stubs
    
    G2
    
    Scalar
    
    M
    
    Scalar
    
    M
  - Pairing
    
    Stubs
  - Poseidon128
    
    Stubs
  - Signature
    
    Stubs
    
    Basic
    
    Aug
    
    Pop
- Sources
  - bls12-381-unix
    
    bls12_381.ml
    
    fq12.ml
    
    fr.ml
    
    g1.ml
    
    g2.ml
    
    pairing.ml
    
    poseidon128.ml
    
    signature.ml

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

Module `G2`Source

Sourcemodule Stubs : sig ... end

Sourcemodule G2 : sig ... end

include module type of struct include G2 end

Sourcetype t = Stubs.jacobian

Sourceexception Not_on_curve of Bytes.t

Sourceval size_in_bytes : int

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

Sourceval copy : Stubs.jacobian -> Stubs.jacobian

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 zero : Stubs.jacobian

Sourceval one : Stubs.jacobian

Sourceval to_bytes : Stubs.jacobian -> bytes

Sourceval to_compressed_bytes : Stubs.jacobian -> bytes

Sourceval add : Stubs.jacobian -> Stubs.jacobian -> Stubs.jacobian

Sourceval add_inplace : Stubs.jacobian -> Stubs.jacobian -> unit

Sourceval add_bulk : Stubs.jacobian list -> Stubs.jacobian

Sourceval double : Stubs.jacobian -> Stubs.jacobian

Sourceval mul_bits : Stubs.jacobian -> Bytes.t -> Stubs.jacobian

Sourceval mul : Stubs.jacobian -> Fr.Stubs.fr -> 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 eq : Stubs.jacobian -> Stubs.jacobian -> bool

Sourceval is_zero : Stubs.jacobian -> bool

Sourceval order_minus_one : Scalar.Stubs.fr

Sourceval negate : Stubs.jacobian -> Stubs.jacobian

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

Source

val fft_inplace : 
  domain:Fr.Stubs.fr array ->
  points:Stubs.jacobian array ->
  unit

Source

val ifft_inplace : 
  domain:Fr.Stubs.fr array ->
  points:Stubs.jacobian array ->
  unit

Sourceval hash_to_curve : Bytes.t -> Bytes.t -> Stubs.jacobian

Sourceval pippenger : Stubs.jacobian array -> Fr.t array -> Stubs.jacobian

package bls12-381-unix

Module G2Source

Module `G2`Source