package bn128

You can search for identifiers within the package.

in-package search v0.2.0

bn128
- BN128Curve
  - G
  - G1
  - G12
  - G2
- BN128Elements
  - FQ
  - FQP
- BN128Pairing

Legend:
Library
Module
Module type
Parameter
Class
Class type

val curve_order : Z.t

type !'a point =

| Finite of 'a * 'a
| Infinite

module type G = sig ... end

module G1 : sig ... end

module G2 : sig ... end

module G12 : sig ... end

val cast_g2 : G2.t point -> G12.t point

val cast_g1 : G1.t point -> G12.t point