README.md

@@ -36,13 +36,13 @@ Zenith is a command-line interface for the Zcash Full Node (`zcashd`). It has th
 git clone https://git.vergara.tech/Vergara_Tech/zenith.git
 cd zenith
 git submodule init
-git submodule update --remote
+git submodule update
 ```
 
-- Install using `cabal`:
+- Install using `stack`:
 
 ```
-cabal install
+stack install
 ```
 
 ## Configuration

app/Main.hs

@@ -199,7 +199,7 @@ main :: IO ()
 main = do
   config <- load ["zenith.cfg"]
   args <- getArgs
-  dbFilePath <- require config "dbFilePath"
+  dbName <- require config "dbName"
   nodeUser <- require config "nodeUser"
   nodePwd <- require config "nodePwd"
   zebraPort <- require config "zebraPort"
@@ -217,7 +217,7 @@ main = do
                     "                         ______          _ _   _    \n                        |___  /         (_) | | |    \n                           / / ___ _ __  _| |_| |__  \n                          / / / _ \\ '_ \\| | __| '_ \\ \n                         / /_|  __/ | | | | |_| | | |\n                        /_____\\___|_| |_|_|\\__|_| |_|\n                         Zcash Full Node CLI v0.4.0"
                 }
               (root nodeUser nodePwd)
-        "cli" -> runZenithCLI zebraHost zebraPort dbFilePath
+        "cli" -> runZenithCLI zebraHost zebraPort dbName
         _ -> printUsage
     else printUsage
 

src/Zenith/CLI.hs

@@ -5,6 +5,7 @@ module Zenith.CLI where
 
 import Control.Monad (void)
 import Control.Monad.IO.Class (liftIO)
+import Data.Maybe (fromMaybe)
 import qualified Data.Text as T
 import qualified Graphics.Vty as V
 import Lens.Micro ((&), (.~), (^.), set)
@@ -21,7 +22,6 @@ import Brick.Forms
   , handleFormEvent
   , newForm
   , renderForm
-  , updateFormState
   )
 import qualified Brick.Main as M
 import qualified Brick.Types as BT
@@ -42,7 +42,6 @@ import Brick.Widgets.Core
   , padBottom
   , padRight
   , str
-  , txt
   , vBox
   , vLimit
   , withAttr
@@ -52,7 +51,7 @@ import qualified Brick.Widgets.Dialog as D
 import qualified Brick.Widgets.List as L
 import qualified Data.Vector as Vec
 import Database.Persist
-import ZcashHaskell.Keys (generateWalletSeedPhrase)
+import Network.HTTP.Simple
 import ZcashHaskell.Types
 import Zenith.Core
 import Zenith.DB
@@ -62,19 +61,14 @@ data Name
   | AList
   | TList
   | HelpDialog
-  | DialogInputField
+  | WalNameField
   deriving (Eq, Show, Ord)
 
-data DialogInput = DialogInput
+data WalletName = WalletName
-  { _dialogInput :: !T.Text
+  { _walName :: !T.Text
   } deriving (Show)
 
-makeLenses ''DialogInput
+makeLenses ''WalletName
-
-data DialogType
-  = WName
-  | AName
-  | Blank
 
 data State = State
   { _network :: !String
@@ -83,36 +77,25 @@ data State = State
   , _transactions :: !(L.List Name String)
   , _msg :: !String
   , _helpBox :: !Bool
-  , _dialogBox :: !DialogType
+  , _walletBox :: !Bool
   , _splashBox :: !Bool
-  , _inputForm :: !(Form DialogInput () Name)
+  , _walletForm :: !(Form WalletName () Name)
   , _focusRing :: !(F.FocusRing Name)
-  , _startBlock :: !Int
-  , _dbPath :: !T.Text
   }
 
 makeLenses ''State
 
 drawUI :: State -> [Widget Name]
-drawUI s = [splashDialog s, helpDialog s, inputDialog s, ui s]
+drawUI s = [splashDialog s, helpDialog s, walletDialog s, ui s]
   where
     ui :: State -> Widget Name
-    ui st =
+    ui s =
       joinBorders $
       withBorderStyle unicode $
-      B.borderWithLabel
+      B.borderWithLabel (str $ "Zenith - " <> s ^. network) $
-        (str
+      (C.center (listBox "Addresses" (s ^. addresses)) <+>
-           ("Zenith - " <>
+       B.vBorder <+> C.center (listBox "Transactions" (s ^. transactions))) <=>
-            st ^. network <>
+      msgBox (s ^. msg)
-            " - " <>
-            T.unpack
-              (maybe
-                 "(None)"
-                 (\(_, w) -> zcashWalletName $ entityVal w)
-                 (L.listSelectedElement (st ^. wallets))))) $
-      (C.center (listBox "Addresses" (st ^. addresses)) <+>
-       B.vBorder <+> C.center (listBox "Transactions" (st ^. transactions))) <=>
-      msgBox (st ^. msg)
     listBox :: String -> L.List Name String -> Widget Name
     listBox titleLabel l =
       C.vCenter $
@@ -128,8 +111,8 @@ drawUI s = [splashDialog s, helpDialog s, inputDialog s, ui s]
       vBox
         [B.hBorderWithLabel (str "Messages"), hLimit 70 $ padRight Max $ str m]
     helpDialog :: State -> Widget Name
-    helpDialog st =
+    helpDialog s =
-      if st ^. helpBox
+      if s ^. helpBox
         then D.renderDialog
                (D.dialog (Just (str "Commands")) Nothing 55)
                (vBox ([C.hCenter $ str "Key", B.hBorder] <> keyList) <+>
@@ -141,21 +124,16 @@ drawUI s = [splashDialog s, helpDialog s, inputDialog s, ui s]
           map
             (hLimit 40 . str)
             ["Open help", "Close dialog", "Create Wallet", "Quit"]
-    inputDialog :: State -> Widget Name
+    walletDialog :: State -> Widget Name
-    inputDialog st =
+    walletDialog s =
-      case st ^. dialogBox of
+      if s ^. walletBox
-        WName ->
+        then D.renderDialog
-          D.renderDialog
+               (D.dialog (Just (str "Create Wallet")) Nothing 50)
-            (D.dialog (Just (str "Create Wallet")) Nothing 50)
+               (renderForm $ s ^. walletForm)
-            (renderForm $ st ^. inputForm)
+        else emptyWidget
-        AName ->
-          D.renderDialog
-            (D.dialog (Just (str "Create Account")) Nothing 50)
-            (renderForm $ st ^. inputForm)
-        Blank -> emptyWidget
     splashDialog :: State -> Widget Name
-    splashDialog st =
+    splashDialog s =
-      if st ^. splashBox
+      if s ^. splashBox
         then withBorderStyle unicodeBold $
              D.renderDialog
                (D.dialog Nothing Nothing 30)
@@ -163,14 +141,13 @@ drawUI s = [splashDialog s, helpDialog s, inputDialog s, ui s]
                   titleAttr
                   (str
                      " _____          _ _   _     \n|__  /___ _ __ (_) |_| |__\n  / // _ \\ '_ \\| | __| '_ \\\n / /|  __/ | | | | |_| | | |\n/____\\___|_| |_|_|\\__|_| |_|") <=>
-                C.hCenter (withAttr titleAttr (str "Zcash Wallet v0.4.3.0")) <=>
+                C.hCenter (withAttr titleAttr (str "Zcash Wallet v0.4.1")) <=>
                 C.hCenter (withAttr blinkAttr $ str "Press any key..."))
         else emptyWidget
 
-mkInputForm :: DialogInput -> Form DialogInput e Name
+mkWalletForm :: WalletName -> Form WalletName e Name
-mkInputForm =
+mkWalletForm =
-  newForm
+  newForm [label "Name: " @@= editTextField walName WalNameField (Just 1)]
-    [label "Name: " @@= editTextField dialogInput DialogInputField (Just 1)]
   where
     label s w =
       padBottom (Pad 1) $ vLimit 1 (hLimit 15 $ str s <+> fill ' ') <+> w
@@ -203,57 +180,35 @@ appEvent (BT.VtyEvent e) = do
              case e of
                V.EvKey V.KEsc [] -> do
                  BT.modify $ set helpBox False
-               _ev -> return ()
+               ev -> return ()
            else do
-             case s ^. dialogBox of
+             if s ^. walletBox
-               WName -> do
+               then do
                  case e of
-                   V.EvKey V.KEsc [] -> BT.modify $ set dialogBox Blank
+                   V.EvKey V.KEsc [] -> BT.modify $ set walletBox False
                    V.EvKey V.KEnter [] -> do
-                     fs <- BT.zoom inputForm $ BT.gets formState
+                     BT.modify $ set walletBox False
-                     nw <- liftIO $ addNewWallet (fs ^. dialogInput) s
+                     fs <- BT.zoom walletForm $ BT.gets formState
-                     BT.modify $ set wallets nw
                      printMsg $
-                       "Creating new wallet " <> T.unpack (fs ^. dialogInput)
+                       "Creating new wallet " <> (T.unpack $ fs ^. walName)
-                     BT.modify $ set dialogBox Blank
+                   ev -> BT.zoom walletForm $ handleFormEvent (BT.VtyEvent ev)
-                   ev -> BT.zoom inputForm $ handleFormEvent (BT.VtyEvent ev)
+               else do
-               AName -> do
-                 case e of
-                   V.EvKey V.KEsc [] -> BT.modify $ set dialogBox Blank
-                   V.EvKey V.KEnter [] -> do
-                     BT.modify $ set dialogBox Blank
-                     fs <- BT.zoom inputForm $ BT.gets formState
-                     printMsg $
-                       "Creating new address " <> T.unpack (fs ^. dialogInput)
-                   ev -> BT.zoom inputForm $ handleFormEvent (BT.VtyEvent ev)
-               Blank -> do
                  case e of
                    V.EvKey (V.KChar '\t') [] -> focusRing %= F.focusNext
                    V.EvKey (V.KChar 'q') [] -> M.halt
                    V.EvKey (V.KChar '?') [] -> BT.modify $ set helpBox True
-                   V.EvKey (V.KChar 'w') [] -> do
+                   V.EvKey (V.KChar 'c') [] -> BT.modify $ set walletBox True
-                     BT.modify $
+                   V.EvKey (V.KChar 's') [] -> printMsg "You pressed S!"
-                       set inputForm $
-                       updateFormState (DialogInput "New Wallet") $
-                       s ^. inputForm
-                     BT.modify $ set dialogBox WName
-                   V.EvKey (V.KChar 'a') [] -> do
-                     BT.modify $
-                       set inputForm $
-                       updateFormState (DialogInput "New Account") $
-                       s ^. inputForm
-                     BT.modify $ set dialogBox AName
                    ev ->
                      case r of
                        Just AList -> BT.zoom addresses $ L.handleListEvent ev
                        Just TList -> BT.zoom transactions $ L.handleListEvent ev
-                       _anyName -> return ()
+                       Nothing -> return ()
   where
     printMsg :: String -> BT.EventM Name State ()
     printMsg s = BT.modify $ updateMsg s
     updateMsg :: String -> State -> State
     updateMsg = set msg
-appEvent _ = return ()
 
 theMap :: A.AttrMap
 theMap =
@@ -278,7 +233,7 @@ theApp =
     }
 
 runZenithCLI :: T.Text -> Int -> T.Text -> IO ()
-runZenithCLI host port dbFilePath = do
+runZenithCLI host port dbName = do
   w <- checkZebra host port
   case (w :: Maybe ZebraGetInfo) of
     Just zebra -> do
@@ -286,8 +241,7 @@ runZenithCLI host port dbFilePath = do
       case (bc :: Maybe ZebraGetBlockChainInfo) of
         Nothing -> print "Unable to determine blockchain status"
         Just chainInfo -> do
-          initDb dbFilePath
+          walList <- getWallets $ zgb_net chainInfo
-          walList <- getWallets dbFilePath $ zgb_net chainInfo
           void $
             M.defaultMain theApp $
             State
@@ -298,25 +252,11 @@ runZenithCLI host port dbFilePath = do
               ("Start up Ok! Connected to Zebra " ++
                (T.unpack . zgi_build) zebra ++ " on port " ++ show port ++ ".")
               False
-              (if null walList
+              (null walList)
-                 then WName
-                 else Blank)
               True
-              (mkInputForm $ DialogInput "Main")
+              (mkWalletForm $ WalletName "Main")
               (F.focusRing [AList, TList])
-              (zgb_blocks chainInfo)
-              dbFilePath
     Nothing -> do
       print $
         "No Zebra node available on port " <>
         show port <> ". Check your configuration"
-
-addNewWallet ::
-     T.Text -> State -> IO (L.GenericList Name Vec.Vector (Entity ZcashWallet))
-addNewWallet n s = do
-  sP <- generateWalletSeedPhrase
-  let bH = s ^. startBlock
-  let netName = read $ s ^. network
-  _ <- saveWallet (s ^. dbPath) $ ZcashWallet sP bH n netName
-  wL <- getWallets (s ^. dbPath) netName
-  return $ L.listReplace (Vec.fromList wL) (Just 0) $ s ^. wallets

src/Zenith/Core.hs

@@ -13,40 +13,14 @@ import ZcashHaskell.Utils
 import Zenith.DB
 
 -- * Database functions
--- | Initializes the database
+-- | Returns the list of wallets available in the given database
-initDb ::
+checkWallets ::
-     T.Text -- ^ The database path to check
+     T.Text -- ^ The database name to check
-  -> IO ()
+  -> ZcashNet -- ^ The network the wallet is running
-initDb dbName = do
+  -> IO [Entity ZcashWallet]
+checkWallets dbName znet = do
   runSqlite dbName $ do runMigration migrateAll
-
+  runSqlite dbName $ selectList [ZcashWalletNetwork ==. znet] []
--- | Save a new wallet to the database
-saveWallet ::
-     T.Text -- ^ The database path to use
-  -> ZcashWallet -- ^ The wallet to add to the database
-  -> IO ZcashWalletId
-saveWallet dbFp w = runSqlite dbFp $ insert w
-
--- | Returns a list of accounts associated with the given wallet
-getAccounts ::
-     T.Text -- ^ The database path
-  -> ZcashWalletId -- ^ The wallet ID to check
-  -> IO [Entity ZcashAccount]
-getAccounts dbFp w = runSqlite dbFp $ selectList [ZcashAccountWalletId ==. w] []
-
--- | Save a new account to the database
-saveAccount ::
-     T.Text -- ^ The database path
-  -> ZcashAccount -- ^ The account to add to the database
-  -> IO ZcashAccountId
-saveAccount dbFp a = runSqlite dbFp $ insert a
-
--- | Returns a list of addresses associated with the given account
-getAddresses ::
-     T.Text -- ^ The database path
-  -> ZcashAccountId -- ^ The account ID to check
-  -> IO [Entity WalletAddress]
-getAddresses dbFp a = runSqlite dbFp $ selectList [WalletAddressAccId ==. a] []
 
 -- * Zebra Node interaction
 -- | Checks the status of the `zebrad` node
@@ -54,8 +28,8 @@ checkZebra ::
      T.Text -- ^ Host where `zebrad` is available
   -> Int -- ^ Port where `zebrad` is available 
   -> IO (Maybe ZebraGetInfo)
-checkZebra nodeHost nodePort = do
+checkZebra host port = do
-  res <- makeZebraCall nodeHost nodePort "getinfo" []
+  res <- makeZebraCall host port "getinfo" []
   let body = responseBody (res :: Response (RpcResponse ZebraGetInfo))
   return $ result body
 
@@ -64,14 +38,14 @@ checkBlockChain ::
      T.Text -- ^ Host where `zebrad` is available
   -> Int -- ^ Port where `zebrad` is available
   -> IO (Maybe ZebraGetBlockChainInfo)
-checkBlockChain nodeHost nodePort = do
+checkBlockChain host port = do
-  let f = makeZebraCall nodeHost nodePort
+  let f = makeZebraCall host port
   result <$> (responseBody <$> f "getblockchaininfo" [])
 
 -- | Generic RPC call function
 connectZebra ::
      FromJSON a => T.Text -> Int -> T.Text -> [Data.Aeson.Value] -> IO (Maybe a)
-connectZebra nodeHost nodePort m params = do
+connectZebra host port m params = do
-  res <- makeZebraCall nodeHost nodePort m params
+  res <- makeZebraCall host port m params
   let body = responseBody res
   return $ result body

src/Zenith/DB.hs

@@ -31,29 +31,16 @@ share
   [persistLowerCase|
   ZcashWallet
     seedPhrase Phrase
+    spendingKey BS.ByteString
+    tPrivateKey BS.ByteString
     birthdayHeight Int
     name T.Text
     network ZcashNet
     deriving Show
-  ZcashAccount
-    walletId ZcashWalletId
-    index Int
-    orchSpendKey BS.ByteString
-    sapSpendKey BS.ByteString
-    tPrivateKey BS.ByteString
-    deriving Show
-  WalletAddress
-    accId ZcashAccountId
-    index Int
-    orchRec BS.ByteString Maybe
-    sapRec BS.ByteString Maybe
-    tRec BS.ByteString Maybe
-    encoded T.Text
-    deriving Show
     |]
 
-getWallets :: T.Text -> ZcashNet -> IO [Entity ZcashWallet]
+getWallets :: ZcashNet -> IO [Entity ZcashWallet]
-getWallets dbFp n =
+getWallets n =
-  runSqlite dbFp $ do
+  runSqlite "zenith.db" $ do
     s <- selectList [ZcashWalletNetwork ==. n] []
     liftIO $ return s

test/Spec.hs

@@ -1,68 +1,51 @@
 {-# LANGUAGE OverloadedStrings #-}
 
-import Control.Monad (when)
+import Control.Monad.IO.Class (liftIO)
 import Database.Persist
 import Database.Persist.Sqlite
-import System.Directory
 import Test.Hspec
 import ZcashHaskell.Types (ZcashNet(..))
-import Zenith.Core (getAccounts)
 import Zenith.DB
+import Zenith.DB
+  ( EntityField(ZcashWalletId, ZcashWalletName)
+  , ZcashWallet(zcashWalletName)
+  )
 
 main :: IO ()
 main = do
-  checkDbFile <- doesFileExist "test.db"
-  when checkDbFile $ removeFile "test.db"
   hspec $ do
     describe "Database tests" $ do
       it "Create table" $ do
         s <- runSqlite "test.db" $ do runMigration migrateAll
         s `shouldBe` ()
-      describe "Wallet Table" $ do
+      it "insert wallet record" $ do
-        it "insert wallet record" $ do
+        s <-
-          s <-
+          runSqlite "test.db" $ do
-            runSqlite "test.db" $ do
+            insert $
-              insert $
+              ZcashWallet
-                ZcashWallet
+                "one two three four five six seven eight nine ten eleven twelve"
-                  "one two three four five six seven eight nine ten eleven twelve"
+                "123456789"
-                  2000000
+                "987654321"
-                  "Main Wallet"
+                2000000
-                  MainNet
+                "Main Wallet"
-          fromSqlKey s `shouldBe` 1
+                MainNet
-        it "read wallet record" $ do
+        fromSqlKey s `shouldBe` 1
-          s <-
+      it "read wallet record" $ do
-            runSqlite "test.db" $ do
+        s <-
-              selectList [ZcashWalletBirthdayHeight >. 0] []
+          runSqlite "test.db" $ do
-          length s `shouldBe` 1
+            selectList [ZcashWalletBirthdayHeight >. 0] []
-        it "modify wallet record" $ do
+        length s `shouldBe` 1
-          s <-
+      it "modify wallet record" $ do
-            runSqlite "test.db" $ do
+        s <-
-              let recId = toSqlKey 1 :: ZcashWalletId
+          runSqlite "test.db" $ do
-              update recId [ZcashWalletName =. "New Wallet"]
+            let recId = toSqlKey 1 :: ZcashWalletId
-              get recId
+            update recId [ZcashWalletName =. "New Wallet"]
-          "New Wallet" `shouldBe` maybe "None" zcashWalletName s
+            get recId
-        it "delete wallet record" $ do
+        "New Wallet" `shouldBe` maybe "None" zcashWalletName s
-          s <-
+      it "delete wallet record" $ do
-            runSqlite "test.db" $ do
+        s <-
-              let recId = toSqlKey 1 :: ZcashWalletId
+          runSqlite "test.db" $ do
-              delete recId
+            let recId = toSqlKey 1 :: ZcashWalletId
-              get recId
+            delete recId
-          "None" `shouldBe` maybe "None" zcashWalletName s
+            get recId
-      describe "Account table" $ do
+        "None" `shouldBe` maybe "None" zcashWalletName s
-        it "insert account" $ do
-          s <-
-            runSqlite "test.db" $ do
-              insert $
-                ZcashWallet
-                  "one two three four five six seven eight nine ten eleven twelve"
-                  2000000
-                  "Main Wallet"
-                  MainNet
-          t <-
-            runSqlite "test.db" $ do
-              insert $ ZcashAccount s 0 "132465798" "987654321" "739182462"
-          fromSqlKey t `shouldBe` 1
-        it "read accounts for wallet" $ do
-          wList <- getWallets "test.db" MainNet
-          acc <- getAccounts "test.db" $ entityKey (head wList)
-          length acc `shouldBe` 1

zcash-haskell

@@ -1 +1 @@
-Subproject commit a52d2231f1a4f85a6504bfb9228a1475a0773088
+Subproject commit 419f041ca9d1dd921673721c56a673fe1dc058e8

zenith.cabal

@@ -104,7 +104,6 @@ test-suite zenith-tests
     , persistent
     , persistent-sqlite
     , hspec
-    , directory
     , zcash-haskell
     , zenith
   pkgconfig-depends: rustzcash_wrapper

zenith.cfg

@@ -1,5 +1,5 @@
 nodeUser = "user"
 nodePwd = "superSecret"
-dbFilePath = "zenith.db"
+dbName = "zenith.db"
 zebraHost = "127.0.0.1"
 zebraPort = 18232