add illustrative node integration test

Author: paweljakubas

lib/byron/cardano-wallet-byron.cabal

@@ -174,6 +174,7 @@ test-suite cardano-node-integration
     , http-client
     , http-types
     , iohk-monitoring
+    , memory
     , temporary
     , text
   build-tools:

lib/byron/test/integration/Test/Integration/Byron/Scenario/API/Transactions.hs

@@ -25,13 +25,18 @@ import Cardano.Wallet.Api.Types
     , WalletStyle (..)
     )
 import Cardano.Wallet.Primitive.AddressDerivation
-    ( NetworkDiscriminant (..), PaymentAddress (..) )
+    ( FromMnemonic (..)
+    , NetworkDiscriminant (..)
+    , Passphrase (..)
+    , PaymentAddress (..)
+    , hex
+    )
 import Cardano.Wallet.Primitive.AddressDerivation.Byron
-    ( ByronKey )
+    ( ByronKey (..), generateKeyFromSeed )
 import Cardano.Wallet.Primitive.AddressDerivation.Icarus
     ( IcarusKey )
 import Cardano.Wallet.Primitive.Mnemonic
-    ( entropyToMnemonic, genEntropy )
+    ( entropyToMnemonic, genEntropy, mnemonicToText )
 import Cardano.Wallet.Primitive.Types
     ( Address, Direction (..), TxStatus (..) )
 import Control.Monad
@@ -52,6 +57,7 @@ import Test.Integration.Framework.DSL
     , Payload (..)
     , TxDescription (..)
     , between
+    , emptyByronWalletFromXPrvWith
     , emptyIcarusWallet
     , emptyRandomWallet
     , eventually
@@ -65,6 +71,7 @@ import Test.Integration.Framework.DSL
     , fixturePassphrase
     , fixtureRandomWallet
     , fixtureRandomWalletAddrs
+    , fixtureRandomWalletMws
     , fixtureRandomWalletWith
     , icarusAddresses
     , json
@@ -86,6 +93,8 @@ import Test.Integration.Framework.TestData
 
 import qualified Cardano.Wallet.Api.Link as Link
 import qualified Data.Aeson as Aeson
+import qualified Data.ByteArray as BA
+import qualified Data.Text.Encoding as T
 import qualified Network.HTTP.Types.Status as HTTP
 
 spec
@@ -96,53 +105,57 @@ spec
         , DecodeAddress n
         )
     => SpecWith (Context t)
-spec = describe "BYRON_TXS" $ do
-    -- Random → Random
-    scenario_TRANS_CREATE_01_02 @n fixtureRandomWallet
-        [ fixtureRandomWalletAddrs @n
-        ]
+spec = do
+    describe "BYRON_TXS" $ do
+        -- Random → Random
+        scenario_TRANS_CREATE_01_02 @n fixtureRandomWallet
+            [ fixtureRandomWalletAddrs @n
+            ]
 
-    -- Random → [Random, Icarus]
-    scenario_TRANS_CREATE_01_02 @n fixtureRandomWallet
-        [ fixtureRandomWalletAddrs @n
-        , fixtureIcarusWalletAddrs @n
-        ]
+        -- Random → [Random, Icarus]
+        scenario_TRANS_CREATE_01_02 @n fixtureRandomWallet
+            [ fixtureRandomWalletAddrs @n
+            , fixtureIcarusWalletAddrs @n
+            ]
 
-    -- Icarus → Icarus
-    scenario_TRANS_CREATE_01_02 @n fixtureIcarusWallet
-        [ fixtureIcarusWalletAddrs @n
-        ]
+        -- Icarus → Icarus
+        scenario_TRANS_CREATE_01_02 @n fixtureIcarusWallet
+            [ fixtureIcarusWalletAddrs @n
+            ]
 
-    -- Icarus → [Icarus, Random]
-    scenario_TRANS_CREATE_01_02 @n fixtureRandomWallet
-        [ fixtureIcarusWalletAddrs @n
-        , fixtureRandomWalletAddrs @n
-        ]
+        -- Icarus → [Icarus, Random]
+        scenario_TRANS_CREATE_01_02 @n fixtureRandomWallet
+            [ fixtureIcarusWalletAddrs @n
+            , fixtureRandomWalletAddrs @n
+            ]
 
-    scenario_TRANS_CREATE_02x @n
+        scenario_TRANS_CREATE_02x @n
 
-    -- TRANS_CREATE_03 requires actually being able to compute exact fees, which
-    -- is not really possible w/ cardano-node. So, skipping.
+        -- TRANS_CREATE_03 requires actually being able to compute exact fees, which
+        -- is not really possible w/ cardano-node. So, skipping.
 
-    scenario_TRANS_CREATE_04a @n
-    scenario_TRANS_CREATE_04b @n
-    scenario_TRANS_CREATE_04c @n
-    scenario_TRANS_CREATE_04d @n
+        scenario_TRANS_CREATE_04a @n
+        scenario_TRANS_CREATE_04b @n
+        scenario_TRANS_CREATE_04c @n
+        scenario_TRANS_CREATE_04d @n
 
-    scenario_TRANS_CREATE_07 @n
+        scenario_TRANS_CREATE_07 @n
 
-    scenario_TRANS_ESTIMATE_01_02 @n fixtureRandomWallet
-        [ randomAddresses @n . entropyToMnemonic <$> genEntropy
-        ]
+        scenario_TRANS_ESTIMATE_01_02 @n fixtureRandomWallet
+            [ randomAddresses @n . entropyToMnemonic <$> genEntropy
+            ]
 
-    scenario_TRANS_ESTIMATE_01_02 @n fixtureIcarusWallet
-        [ icarusAddresses @n . entropyToMnemonic <$> genEntropy
-        , icarusAddresses @n . entropyToMnemonic <$> genEntropy
-        ]
+        scenario_TRANS_ESTIMATE_01_02 @n fixtureIcarusWallet
+            [ icarusAddresses @n . entropyToMnemonic <$> genEntropy
+            , icarusAddresses @n . entropyToMnemonic <$> genEntropy
+            ]
 
-    scenario_TRANS_ESTIMATE_04a @n
-    scenario_TRANS_ESTIMATE_04b @n
-    scenario_TRANS_ESTIMATE_04c @n
+        scenario_TRANS_ESTIMATE_04a @n
+        scenario_TRANS_ESTIMATE_04b @n
+        scenario_TRANS_ESTIMATE_04c @n
+
+    describe "BYRON_RESTORATION" $ do
+        scenario_RESTORE_01 @n fixtureRandomWallet
 
 --
 -- Scenarios
@@ -440,6 +453,85 @@ scenario_TRANS_CREATE_07 = it title $ \ctx -> do
   where
     title = "TRANS_CREATE_07 - Deleted wallet"
 
+scenario_RESTORE_01
+    :: forall (n :: NetworkDiscriminant) t.
+        ( DecodeAddress n
+        , EncodeAddress n
+        , PaymentAddress n ByronKey
+        )
+    => (Context t -> IO ApiByronWallet)
+    -> SpecWith (Context t)
+scenario_RESTORE_01 fixtureSource = it title $ \ctx -> do
+    -- SETUP
+    let amnt = 100_000 :: Natural
+    wSrc <- fixtureSource ctx
+    (wDest, payment, mnemonics) <- do
+        (wDest, mnemonics) <- fixtureRandomWalletMws ctx
+        let addrs = randomAddresses @n mnemonics
+        pure (wDest, mkPayment @n (head addrs) amnt, mnemonics)
+
+    -- ACTION
+    r <- postByronTransaction @n ctx wSrc [payment] fixturePassphrase
+
+    -- ASSERTIONS
+    let (feeMin, feeMax) = ctx ^. #_feeEstimator $ PaymentDescription
+            { nInputs  = 1
+            , nOutputs = 1
+            , nChanges = 1
+            }
+    verify r
+        [ expectResponseCode HTTP.status202
+        , expectField #amount $ between
+              ( Quantity (feeMin + amnt)
+              , Quantity (feeMax + amnt)
+              )
+        , expectField #direction (`shouldBe` ApiT Outgoing)
+        , expectField #status (`shouldBe` ApiT Pending)
+        ]
+
+    eventually "source balance decreases" $ do
+        rSrc <- request @ApiByronWallet ctx
+            (Link.getWallet @'Byron wSrc) Default Empty
+        verify rSrc
+            [ expectField (#balance . #available) $ between
+                ( Quantity (faucetAmt - amnt - feeMax)
+                , Quantity (faucetAmt - amnt - feeMin)
+                )
+            ]
+
+    eventually "destination balance increases" $ do
+        rDest <- request @ApiByronWallet ctx
+            (Link.getWallet @'Byron wDest) Default Empty
+        verify rDest
+            [ expectField (#balance . #available)
+                (`shouldBe` Quantity (faucetAmt + amnt))
+            ]
+
+    rd1 <- request
+           @ApiByronWallet ctx (Link.deleteWallet @'Byron wDest) Default Empty
+    expectResponseCode @IO HTTP.status204 rd1
+
+    let (Right seed) = fromMnemonic @'[12] (mnemonicToText mnemonics)
+    let rootXPrv = T.decodeUtf8 $ hex $ getKey $
+            generateKeyFromSeed seed
+            (Passphrase $ BA.convert $ T.encodeUtf8 fixturePassphrase)
+    let passwHash =
+            "31347c387c317c2b6a6f747446495a6a566d586f43374c6c54425a576c\
+            \597a425834515177666475467578436b4d485569733d7c78324d646738\
+            \49554a3232507235676531393575445a76583646552b7757395a6a6a2f\
+            \51303054356c654751794279732f7662753367526d726c316c657a7150\
+            \43676d364e6758476d4d2f4b6438343265304b4945773d3d"
+    wDestRestored <- emptyByronWalletFromXPrvWith ctx "random"
+            ("Byron Wallet Restored", rootXPrv, passwHash)
+    eventually "destination balance increases" $ do
+        rDest <- request @ApiByronWallet ctx
+            (Link.getWallet @'Byron wDestRestored) Default Empty
+        verify rDest
+            [ expectField (#balance . #available)
+                (`shouldBe` Quantity (faucetAmt + amnt))
+            ]
+  where
+    title = "BYRON_RESTORE_01 - one recipient"
 
 --
 -- More Elaborated Fixtures

lib/core/test/unit/Cardano/Wallet/Primitive/AddressDerivationSpec.hs

@@ -270,6 +270,15 @@ spec = do
                     \62424135735931457a564e7630705a77614c79596e4d4b645730433337\
                     \626648314252493379364d5a364a58394149367857673d3d"
             checkPassphrase EncryptWithScrypt pwd hash `shouldBe` Right ()
+        it "compare new implementation with cardano-sl - cardano-wallet password" $ do
+            let pwd  = Passphrase @"raw" $ BA.convert $ T.encodeUtf8 "cardano-wallet"
+            let hash = Hash $ unsafeFromHex
+                    "31347c387c317c2b6a6f747446495a6a566d586f43374c6c54425a576c\
+                    \597a425834515177666475467578436b4d485569733d7c78324d646738\
+                    \49554a3232507235676531393575445a76583646552b7757395a6a6a2f\
+                    \51303054356c654751794279732f7662753367526d726c316c657a7150\
+                    \43676d364e6758476d4d2f4b6438343265304b4945773d3d"
+            checkPassphrase EncryptWithScrypt pwd hash `shouldBe` Right ()
 
 {-------------------------------------------------------------------------------
                                Properties