1 {-# OPTIONS -fno-warn-orphans #-}
2 module QuickCheck.Trustee where
4 import Test.Tasty.QuickCheck
7 import Voting.Protocol.Trustee.Indispensable
10 import QuickCheck.Election ()
12 quickcheck :: TestTree
15 [ testGroup "verifyIndispensableTrusteePublicKey" $
16 [ testIndispensableTrusteePublicKey @WeakParams
17 , testIndispensableTrusteePublicKey @BeleniosParams
21 testIndispensableTrusteePublicKey :: forall q. Params q => TestTree
22 testIndispensableTrusteePublicKey =
23 testGroup (paramsName @q)
24 [ testProperty "Right" $ \seed ->
26 (`evalStateT` mkStdGen seed) $ do
27 trusteeSecKey :: SecretKey q <- randomSecretKey
28 trusteePubKey <- proveIndispensableTrusteePublicKey trusteeSecKey
29 lift $ verifyIndispensableTrusteePublicKey trusteePubKey
32 instance SubGroup q => Arbitrary (TrusteePublicKey q) where
34 trustee_PublicKey <- arbitrary
35 trustee_SecretKeyProof <- arbitrary
36 return TrusteePublicKey{..}