hjugement-protocol/tests/QuickCheck/Trustee.hs

   1 {-# OPTIONS -fno-warn-orphans #-}
   2 {-# LANGUAGE OverloadedStrings #-}
   3 {-# LANGUAGE UndecidableInstances #-} -- for Reifies instances
   4 module QuickCheck.Trustee where
   5
   6 import Test.Tasty.QuickCheck
   7 import qualified Data.Text as Text
   8
   9 import Voting.Protocol
  10
  11 import Utils
  12 import QuickCheck.Election ()
  13
  14 quickcheck :: Reifies v Version => Proxy v -> TestTree
  15 quickcheck v =
  16         testGroup "Trustee" $
  17          [ testGroup "verifyIndispensableTrusteePublicKey" $
  18                  [ testIndispensableTrusteePublicKey v weakFFC
  19                  , testIndispensableTrusteePublicKey v beleniosFFC
  20                  ]
  21          ]
  22
  23 testIndispensableTrusteePublicKey ::
  24  ReifyCrypto crypto =>
  25  Reifies v Version => Proxy v ->
  26  crypto -> TestTree
  27 testIndispensableTrusteePublicKey (_v::Proxy v) crypto =
  28         reifyCrypto crypto $ \(Proxy::Proxy c) ->
  29         testGroup (Text.unpack $ cryptoName crypto)
  30          [ testProperty "Right" $ \seed ->
  31                 isRight $ runExcept $
  32                         (`evalStateT` mkStdGen seed) $ do
  33                                 trusteeSecKey :: SecretKey crypto c <- randomSecretKey
  34                                 trusteePubKey :: TrusteePublicKey crypto v c
  35                                  <- proveIndispensableTrusteePublicKey trusteeSecKey
  36                                 lift $ verifyIndispensableTrusteePublicKey trusteePubKey
  37          ]
  38
  39 instance
  40  ( Reifies v Version
  41  , Reifies c crypto
  42  , Group crypto
  43  , Multiplicative (FieldElement crypto c)
  44  ) => Arbitrary (TrusteePublicKey crypto v c) where
  45         arbitrary = do
  46                 trustee_PublicKey <- arbitrary
  47                 trustee_SecretKeyProof <- arbitrary
  48                 return TrusteePublicKey{..}