packages feed

DSA 1.0 → 1.0.0

raw patch · 2 files changed

+11/−9 lines, 2 filesdep ~HUnitPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: HUnit

API changes (from Hackage documentation)

- Codec.Crypto.DSA.Exceptions: [params_g] :: Params -> Integer
- Codec.Crypto.DSA.Exceptions: [params_p] :: Params -> Integer
- Codec.Crypto.DSA.Exceptions: [params_q] :: Params -> Integer
- Codec.Crypto.DSA.Exceptions: [private_params] :: PrivateKey -> Params
- Codec.Crypto.DSA.Exceptions: [private_x] :: PrivateKey -> PrivateNumber
- Codec.Crypto.DSA.Exceptions: [prpeCounter] :: ProbablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Exceptions: [prpeDomainParameterSeed] :: ProbablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Exceptions: [prpeHash] :: ProbablePrimesEvidence -> ByteString -> ByteString
- Codec.Crypto.DSA.Exceptions: [public_params] :: PublicKey -> Params
- Codec.Crypto.DSA.Exceptions: [public_y] :: PublicKey -> PublicNumber
- Codec.Crypto.DSA.Exceptions: [pvpeFirstSeed] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Exceptions: [pvpeHash] :: ProvablePrimesEvidence -> ByteString -> ByteString
- Codec.Crypto.DSA.Exceptions: [pvpePGenCounter] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Exceptions: [pvpePSeed] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Exceptions: [pvpeQGenCounter] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Exceptions: [pvpeQSeed] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Exceptions: [sign_r] :: Signature -> Integer
- Codec.Crypto.DSA.Exceptions: [sign_s] :: Signature -> Integer
- Codec.Crypto.DSA.Pure: [params_g] :: Params -> Integer
- Codec.Crypto.DSA.Pure: [params_p] :: Params -> Integer
- Codec.Crypto.DSA.Pure: [params_q] :: Params -> Integer
- Codec.Crypto.DSA.Pure: [private_params] :: PrivateKey -> Params
- Codec.Crypto.DSA.Pure: [private_x] :: PrivateKey -> PrivateNumber
- Codec.Crypto.DSA.Pure: [prpeCounter] :: ProbablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Pure: [prpeDomainParameterSeed] :: ProbablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Pure: [prpeHash] :: ProbablePrimesEvidence -> ByteString -> ByteString
- Codec.Crypto.DSA.Pure: [public_params] :: PublicKey -> Params
- Codec.Crypto.DSA.Pure: [public_y] :: PublicKey -> PublicNumber
- Codec.Crypto.DSA.Pure: [pvpeFirstSeed] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Pure: [pvpeHash] :: ProvablePrimesEvidence -> ByteString -> ByteString
- Codec.Crypto.DSA.Pure: [pvpePGenCounter] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Pure: [pvpePSeed] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Pure: [pvpeQGenCounter] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Pure: [pvpeQSeed] :: ProvablePrimesEvidence -> Integer
- Codec.Crypto.DSA.Pure: [sign_r] :: Signature -> Integer
- Codec.Crypto.DSA.Pure: [sign_s] :: Signature -> Integer
- Codec.Crypto.DSA.Pure: instance Codec.Crypto.DSA.Pure.GenerationEvidence Codec.Crypto.DSA.Pure.ProbablePrimesEvidence
- Codec.Crypto.DSA.Pure: instance Codec.Crypto.DSA.Pure.GenerationEvidence Codec.Crypto.DSA.Pure.ProvablePrimesEvidence
- Codec.Crypto.DSA.Pure: instance Crypto.Random.CryptoRandomGen Codec.Crypto.DSA.Pure.NoGen
- Codec.Crypto.DSA.Pure: instance GHC.Classes.Eq Codec.Crypto.DSA.Pure.DSAError
- Codec.Crypto.DSA.Pure: instance GHC.Classes.Eq Codec.Crypto.DSA.Pure.HashFunction
- Codec.Crypto.DSA.Pure: instance GHC.Classes.Eq Codec.Crypto.DSA.Pure.ParameterSizes
- Codec.Crypto.DSA.Pure: instance GHC.Classes.Eq Codec.Crypto.DSA.Pure.ProvablePrimesEvidence
- Codec.Crypto.DSA.Pure: instance GHC.Exception.Exception Codec.Crypto.DSA.Pure.DSAError
- Codec.Crypto.DSA.Pure: instance GHC.Show.Show Codec.Crypto.DSA.Pure.DSAError
- Codec.Crypto.DSA.Pure: instance GHC.Show.Show Codec.Crypto.DSA.Pure.HashFunction
- Codec.Crypto.DSA.Pure: instance GHC.Show.Show Codec.Crypto.DSA.Pure.ParameterSizes
+ Codec.Crypto.DSA.Exceptions: params_g :: Params -> Integer
+ Codec.Crypto.DSA.Exceptions: params_p :: Params -> Integer
+ Codec.Crypto.DSA.Exceptions: params_q :: Params -> Integer
+ Codec.Crypto.DSA.Exceptions: private_params :: PrivateKey -> Params
+ Codec.Crypto.DSA.Exceptions: private_x :: PrivateKey -> PrivateNumber
+ Codec.Crypto.DSA.Exceptions: prpeCounter :: ProbablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Exceptions: prpeDomainParameterSeed :: ProbablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Exceptions: prpeHash :: ProbablePrimesEvidence -> ByteString -> ByteString
+ Codec.Crypto.DSA.Exceptions: public_params :: PublicKey -> Params
+ Codec.Crypto.DSA.Exceptions: public_y :: PublicKey -> PublicNumber
+ Codec.Crypto.DSA.Exceptions: pvpeFirstSeed :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Exceptions: pvpeHash :: ProvablePrimesEvidence -> ByteString -> ByteString
+ Codec.Crypto.DSA.Exceptions: pvpePGenCounter :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Exceptions: pvpePSeed :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Exceptions: pvpeQGenCounter :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Exceptions: pvpeQSeed :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Exceptions: sign_r :: Signature -> Integer
+ Codec.Crypto.DSA.Exceptions: sign_s :: Signature -> Integer
+ Codec.Crypto.DSA.Pure: instance CryptoRandomGen NoGen
+ Codec.Crypto.DSA.Pure: instance Eq DSAError
+ Codec.Crypto.DSA.Pure: instance Eq HashFunction
+ Codec.Crypto.DSA.Pure: instance Eq ParameterSizes
+ Codec.Crypto.DSA.Pure: instance Eq ProvablePrimesEvidence
+ Codec.Crypto.DSA.Pure: instance Exception DSAError
+ Codec.Crypto.DSA.Pure: instance GenerationEvidence ProbablePrimesEvidence
+ Codec.Crypto.DSA.Pure: instance GenerationEvidence ProvablePrimesEvidence
+ Codec.Crypto.DSA.Pure: instance Show DSAError
+ Codec.Crypto.DSA.Pure: instance Show HashFunction
+ Codec.Crypto.DSA.Pure: instance Show ParameterSizes
+ Codec.Crypto.DSA.Pure: instance Typeable DSAError
+ Codec.Crypto.DSA.Pure: params_g :: Params -> Integer
+ Codec.Crypto.DSA.Pure: params_p :: Params -> Integer
+ Codec.Crypto.DSA.Pure: params_q :: Params -> Integer
+ Codec.Crypto.DSA.Pure: private_params :: PrivateKey -> Params
+ Codec.Crypto.DSA.Pure: private_x :: PrivateKey -> PrivateNumber
+ Codec.Crypto.DSA.Pure: prpeCounter :: ProbablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Pure: prpeDomainParameterSeed :: ProbablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Pure: prpeHash :: ProbablePrimesEvidence -> ByteString -> ByteString
+ Codec.Crypto.DSA.Pure: public_params :: PublicKey -> Params
+ Codec.Crypto.DSA.Pure: public_y :: PublicKey -> PublicNumber
+ Codec.Crypto.DSA.Pure: pvpeFirstSeed :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Pure: pvpeHash :: ProvablePrimesEvidence -> ByteString -> ByteString
+ Codec.Crypto.DSA.Pure: pvpePGenCounter :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Pure: pvpePSeed :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Pure: pvpeQGenCounter :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Pure: pvpeQSeed :: ProvablePrimesEvidence -> Integer
+ Codec.Crypto.DSA.Pure: sign_r :: Signature -> Integer
+ Codec.Crypto.DSA.Pure: sign_s :: Signature -> Integer

Files

DSA.cabal view
@@ -1,6 +1,6 @@ name:          DSA category:      Cryptography, Codec-version:       1.0+version:       1.0.0 license:       BSD3 license-file:  LICENSE author:        Adam Wick <awick@galois.com>@@ -40,7 +40,7 @@                    Codec.Crypto.DSA.Pure,                    Codec.Crypto.DSA.Exceptions   GHC-Options:     -Wall -fno-warn-orphans-  extensions:      BangPatterns, CPP, MagicHash, MultiWayIf+  extensions:      BangPatterns, CPP, DeriveDataTypeable, MagicHash, MultiWayIf  test-suite test-dsa   type:           exitcode-stdio-1.0@@ -52,7 +52,7 @@                   crypto-api                 >= 0.10    && < 0.14,                   crypto-pubkey-types        >= 0.4     && < 0.6,                   DRBG                       >= 0.5.2   && < 0.7,-                  HUnit                      >= 1.2.5.2 && < 1.4,+                  HUnit                      >= 1.3     && < 1.5,                   QuickCheck                 >= 2.5     && < 3,                   tagged                     >= 0.2     && < 0.9,                   test-framework             >= 0.8.0.3 && < 0.10,@@ -70,5 +70,5 @@  source-repository head   type: git-  location: git://github.com/acw/RSA.git+  location: git://github.com/GaloisInc/DSA.git
src/Codec/Crypto/DSA/Pure.hs view
@@ -1,7 +1,8 @@-{-# LANGUAGE BangPatterns #-}-{-# LANGUAGE CPP          #-}-{-# LANGUAGE MagicHash    #-}-{-# LANGUAGE MultiWayIf   #-}+{-# LANGUAGE BangPatterns       #-}+{-# LANGUAGE CPP                #-}+{-# LANGUAGE DeriveDataTypeable #-}+{-# LANGUAGE MagicHash          #-}+{-# LANGUAGE MultiWayIf         #-} module Codec.Crypto.DSA.Pure(          -- * Basic DSA Concepts          ParameterSizes(..)@@ -70,6 +71,7 @@ import Data.Int import Data.Maybe import Data.Tagged+import Data.Typeable import Data.Word import Prelude hiding (length) @@ -87,7 +89,7 @@               | DSAInvalidInput               | DSAInternalInversionError               | DSAGaveUp- deriving (Eq, Show)+ deriving (Eq, Show, Typeable)  instance Exception DSAError