pairing-1.0.0: Bilinear pairings

Safe Haskell	None
Language	Haskell2010

Data.Pairing.Ate

Contents

Optimal ate pairing of BLS curves
Optimal ate pairing of BN curves

Synopsis

module Data.Pairing
millerAlgorithmBLS12 :: ECPairing e q r u v w => [Int8] -> G1 e -> G2 e -> GT e
finalExponentiationBLS12 :: ECPairing e q r u v w => Integer -> GT e -> GT e
millerAlgorithmBN :: ECPairing e q r u v w => Extension u (Prime q) -> [Int8] -> G1 e -> G2 e -> GT e
finalExponentiationBN :: ECPairing e q r u v w => Integer -> GT e -> GT e

Documentation

module Data.Pairing

Optimal ate pairing of BLS curves

millerAlgorithmBLS12 :: ECPairing e q r u v w => [Int8] -> G1 e -> G2 e -> GT e Source #

Miller algorithm for Barreto-Lynn-Scott degree 12 curves.

finalExponentiationBLS12 :: ECPairing e q r u v w => Integer -> GT e -> GT e Source #

Final exponentiation for Barreto-Lynn-Scott degree 12 curves.

Optimal ate pairing of BN curves

millerAlgorithmBN :: ECPairing e q r u v w => Extension u (Prime q) -> [Int8] -> G1 e -> G2 e -> GT e Source #

Miller algorithm for Barreto-Naehrig curves.

finalExponentiationBN :: ECPairing e q r u v w => Integer -> GT e -> GT e Source #

Final exponentiation for Barreto-Naehrig curves.