From 298fbf9077f02e667fbc682fc4e6237fb8937b3d Mon Sep 17 00:00:00 2001 From: Sasha Bogicevic Date: Tue, 4 Jul 2023 10:58:45 +0200 Subject: [PATCH] CheckPoint --- .../test/Hydra/Network/AuthenticateSpec.hs | 21 ++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) diff --git a/hydra-node/test/Hydra/Network/AuthenticateSpec.hs b/hydra-node/test/Hydra/Network/AuthenticateSpec.hs index f23d73c1a1e..da1611fe4cc 100644 --- a/hydra-node/test/Hydra/Network/AuthenticateSpec.hs +++ b/hydra-node/test/Hydra/Network/AuthenticateSpec.hs @@ -43,7 +43,7 @@ spec = parallel $ do receivedMsgs `shouldBe` ["1"] - it "drop unauthenticated messages" $ do + it "drop message coming from unknown party" $ do let receivedMsgs = runSimOrThrow $ do receivedMessages <- newTVarIO ([] :: [ByteString]) @@ -62,6 +62,24 @@ spec = parallel $ do receivedMsgs `shouldBe` ["1"] + it "drop message comming from party with wrong signature" $ + let receivedMsgs = runSimOrThrow $ do + receivedMessages <- newTVarIO ([] :: [ByteString]) + + withAuthentication + aliceSk + [bob, carol] + ( \incoming _ -> do + incoming (Authenticated "1" (sign carolSk "1") bob) + ) + (captureIncoming receivedMessages) + $ \_ -> + threadDelay 1 + + readTVarIO receivedMessages + + receivedMsgs `shouldBe` ["1"] + it "authenticate the message to broadcast" $ do signingKey <- generate arbitrary let someMessage = "1" @@ -81,6 +99,7 @@ spec = parallel $ do prop "can roundtrip CBOR encoding/decoding of Authenticated Hydra Message" $ prop_canRoundtripCBOREncoding @(Authenticated Msg) + newtype Msg = Msg ByteString deriving newtype (Eq, Show, ToCBOR, FromCBOR, SignableRepresentation)