package bls12-381-legacy

You can search for identifiers within the package.

in-package search v0.2.0

package bls12-381-legacy

bls12-381-legacy
- Bls12_381_legacy
  - Bls12_381
    
    Fq12
    
    Fr
    
    G1
    
    Compressed
    
    Scalar
    
    Uncompressed
    
    Scalar
    
    G2
    
    Compressed
    
    Scalar
    
    Uncompressed
    
    Scalar
    
    Pairing
  - Fq12
    
    Fq12_stubs
    
    Stubs
  - Fr
    
    Fr_stubs
    
    Stubs
  - G1
    
    Compressed
    
    Scalar
    
    Compressed_Stubs
    
    G1_stubs
    
    Uncompressed
    
    Scalar
    
    Uncompressed_Stubs
  - G2
    
    Compressed
    
    Scalar
    
    Compressed_Stubs
    
    G2_stubs
    
    Uncompressed
    
    Scalar
    
    Uncompressed_Stubs
  - Pairing
    
    Pairing_stubs
    
    Raw_Stubs
  - Rustc_bls12_381_bindings
    
    Fq12
    
    F
    
    Fr
    
    F
    
    G1
    
    F
    
    G2
    
    F
    
    MakeFieldBindings
    
    F
    
    S
    
    MakeGroupBindings
    
    F
    
    S
    
    Pairing
    
    F
  - Rustc_bls12_381_stubs

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception FailToComputeFinalExponentiation of Fq12.t

val miller_loop : (G1.Uncompressed.t * G2.Uncompressed.t) list -> Fq12.t

val miller_loop_simple : G1.Uncompressed.t -> G2.Uncompressed.t -> Fq12.t

Compute the miller loop on a single tuple of point

val pairing : G1.Uncompressed.t -> G2.Uncompressed.t -> Fq12.t

Compute a pairing result of a list of points

val final_exponentiation_opt : Fq12.t -> Fq12.t option

Compute the final exponentiation of the given point. Returns a None if the point is null

val final_exponentiation_exn : Fq12.t -> Fq12.t

Compute the final exponentiation of the given point. Raise FailToComputeFinalExponentiation if the point is null