tests ∷ Spec Source #

testUtil ∷ String → Spec Source #

testScalar ∷ String → Spec Source #

testBLSCurve ∷ ∀ curve. BLS curve ⇒ String → Proxy curve → Spec Source #

testPT ∷ String → Spec Source #

testPairing ∷ String → Spec Source #

loadHexFile ∷ String → IO [ByteString] Source #

testVectors ∷ String → Spec Source #

testVectorPairings ∷ String → Spec Source #

testVectorOperations ∷ String → Spec Source #

testVectorSerDe ∷ String → Spec Source #

testVectorSigAug ∷ String → Spec Source #

testVectorLargeDst ∷ String → Spec Source #

testAssoc ∷ (Show a, Eq a) ⇒ (a → a → a) → a → a → a → Property Source #

testCommut ∷ (Show a, Eq a) ⇒ (a → a → a) → a → a → Property Source #

prop_repeatedAddition ∷ ∀ curve. BLS curve ⇒ Int → Point curve → Property Source #

testAddNegYieldsInf ∷ ∀ curve. BLS curve ⇒ Point curve → Bool Source #

testRoundTripEither ∷ ∀ p a err. (Show p, Show err, Eq p, Eq err) ⇒ (p → a) → (a → Either err p) → p → Property Source #

prop_threePairings ∷ Integer → Integer → Point1 → Point2 → Bool Source #

prop_fourPairings ∷ Point1 → Point1 → Point1 → Point2 → Bool Source #

prop_randomFailsFinalVerify ∷ BigInteger → BigInteger → BigInteger → BigInteger → Property Source #

newtype BigInteger Source #