Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package bls12-381
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Bls12_381.PairingSource
Provides routines to compute the pairing over G1 x G2 -> GT
Compute the miller loop on a list of points. Return Fq12.one if the list is empty.
Compute the miller loop on a single tuple of point.
pairing_check points returns true if pairing points = GT.one. Return true if the empty list is given.
Compute the final exponentiation of the given point. Returns None if the point is equal to Fq12.zero
Compute the final exponentiation of the given point. Raises FailToComputeFinalExponentiation if the point is equal to Fq12.zero