package bls12-381-gen

You can search for identifiers within the package.

in-package search v0.2.0

package bls12-381-gen

bls12-381-gen
- CHANGES
- README
- Library bls12-381-gen
  - Bls12_381_gen
    
    Elliptic_curve_sig
    
    T
    
    Scalar
    
    RAW_BASE
    
    Fq12
    
    T
    
    MakeFq12
    
    Fr
    
    T
    
    MakeFr
    
    G1
    
    RAW_UNCOMPRESSED
    
    RAW_COMPRESSED
    
    BASE
    
    Scalar
    
    UNCOMPRESSED
    
    Scalar
    
    COMPRESSED
    
    Scalar
    
    MakeBase
    
    Scalar
    
    MakeUncompressed
    
    Scalar
    
    MakeCompressed
    
    Scalar
    
    G2
    
    RAW_UNCOMPRESSED
    
    RAW_COMPRESSED
    
    BASE
    
    Scalar
    
    UNCOMPRESSED
    
    Scalar
    
    COMPRESSED
    
    Scalar
    
    MakeBase
    
    Scalar
    
    MakeUncompressed
    
    Scalar
    
    MakeCompressed
    
    Scalar
    
    Pairing
    
    RAW_STUBS
    
    Make
    
    S
    
    RAW_BASE
    
    Make
- Sources
  - bls12-381-gen
    
    bls12_381_gen.ml
    
    elliptic_curve_sig.ml
    
    fq12.ml
    
    fr.ml
    
    g1.ml
    
    g2.ml
    
    pairing.ml
    
    s.ml

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

Module `Bls12_381_gen.G1`Source

Sourcemodule type RAW_UNCOMPRESSED = sig ... end

Sourcemodule type RAW_COMPRESSED = sig ... end

Sourcemodule type BASE = sig ... end

Sourcemodule type UNCOMPRESSED = sig ... end

Sourcemodule type COMPRESSED = sig ... end

module MakeBase
  (Scalar : Fr.T)
  (Stubs : Elliptic_curve_sig.RAW_BASE) : 
  BASE with module Scalar = Scalar

module MakeUncompressed
  (Scalar : Fr.T)
  (Stubs : RAW_UNCOMPRESSED) : 
  UNCOMPRESSED with type Scalar.t = Scalar.t

module MakeCompressed
  (Scalar : Fr.T)
  (Stubs : RAW_COMPRESSED) : 
  COMPRESSED with type Scalar.t = Scalar.t