cardano-crypto-tests-2.2.0.0: Tests for cardano-crypto-class and -praos
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Crypto.EllipticCurve

Documentation

tests ∷ TestTree Source #

testUtil ∷ String → TestTree Source #

testScalar ∷ String → TestTree Source #

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

testPT ∷ String → TestTree Source #

testPairing ∷ String → TestTree Source #

loadHexFile ∷ String → IO [ByteString] Source #

testVectors ∷ String → TestTree Source #

testVectorPairings ∷ String → TestTree Source #

testVectorOperations ∷ String → TestTree Source #

testVectorSerDe ∷ String → TestTree Source #

testVectorSigAug ∷ String → TestTree Source #

testVectorLargeDst ∷ String → TestTree 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 ∷ Point1 → Point1 → Point2 → Point2 → Property Source #

newtype BigInteger Source #

Constructors

BigInteger Integer 

Instances

Instances details
Arbitrary BigInteger Source # 
Instance details

Defined in Test.Crypto.EllipticCurve

Methods

arbitrary ∷ Gen BigInteger Source #

shrink ∷ BigInteger → [BigInteger] Source #

Show BigInteger Source # 
Instance details

Defined in Test.Crypto.EllipticCurve

Methods

showsPrec ∷ Int → BigInteger → ShowS Source #

show ∷ BigInteger → String Source #

showList ∷ [BigInteger] → ShowS Source #

Eq BigInteger Source # 
Instance details

Defined in Test.Crypto.EllipticCurve

Methods

(==) ∷ BigInteger → BigInteger → Bool Source #

(/=) ∷ BigInteger → BigInteger → Bool Source #

Orphan instances

Arbitrary PT Source # 
Instance details

Methods

arbitrary ∷ Gen PT Source #

shrink ∷ PT → [PT] Source #

Arbitrary Scalar Source # 
Instance details

Methods

arbitrary ∷ Gen Scalar Source #

shrink ∷ Scalar → [Scalar] Source #

Show PT Source # 
Instance details

Methods

showsPrec ∷ Int → PT → ShowS Source #

show ∷ PT → String Source #

showList ∷ [PT] → ShowS Source #

Show Scalar Source # 
Instance details

Methods

showsPrec ∷ Int → Scalar → ShowS Source #

show ∷ Scalar → String Source #

showList ∷ [Scalar] → ShowS Source #

BLS curve ⇒ Arbitrary (Affine curve) Source # 
Instance details

Methods

arbitrary ∷ Gen (Affine curve) Source #

shrink ∷ Affine curve → [Affine curve] Source #

BLS curve ⇒ Arbitrary (Point curve) Source # 
Instance details

Methods

arbitrary ∷ Gen (Point curve) Source #

shrink ∷ Point curve → [Point curve] Source #

BLS curve ⇒ Show (Affine curve) Source # 
Instance details

Methods

showsPrec ∷ Int → Affine curve → ShowS Source #

show ∷ Affine curve → String Source #

showList ∷ [Affine curve] → ShowS Source #

BLS curve ⇒ Show (Point curve) Source # 
Instance details

Methods

showsPrec ∷ Int → Point curve → ShowS Source #

show ∷ Point curve → String Source #

showList ∷ [Point curve] → ShowS Source #