Rosetta Tests

cabal.project

@@ -26,7 +26,7 @@ source-repository-package
 source-repository-package
     type: git
     location: https://github.com/kadena-io/rosetta.git
-    tag: d20b0012c6f5e1d28843b89a4edd5ea652ade0c3
+    tag: 1ccb68d7aec0414f494fb06f591214e7cf845627
 
 package vault
     documentation: false

chainweb.cabal

@@ -211,8 +211,9 @@ library
         , Chainweb.RestAPI.Utils
         , Chainweb.Rosetta.Internal
         , Chainweb.Rosetta.RestAPI
+        , Chainweb.Rosetta.RestAPI.Client
         , Chainweb.Rosetta.RestAPI.Server
-        , Chainweb.Rosetta.Util
+        , Chainweb.Rosetta.Utils
         , Chainweb.SPV
         , Chainweb.SPV.CreateProof
         , Chainweb.SPV.VerifyProof
@@ -466,7 +467,9 @@ test-suite chainweb-tests
         Chainweb.Test.Pact.Utils
         Chainweb.Test.RestAPI
         Chainweb.Test.RestAPI.Client_
+        Chainweb.Test.RestAPI.Utils
         Chainweb.Test.Rosetta
+        Chainweb.Test.Rosetta.RestAPI
         Chainweb.Test.Roundtrips
         Chainweb.Test.SPV
         Chainweb.Test.Store.CAS
@@ -666,6 +669,7 @@ executable cwtool
         , chainweb-storage >= 0.1
         , clock >= 0.7
         , configuration-tools >= 0.5
+        , connection >=0.2
         , containers >= 0.5
         , cryptonite >= 0.25
         , deepseq >= 1.4
@@ -675,6 +679,7 @@ executable cwtool
         , file-embed
         , errors >= 2.3
         , exceptions >= 0.8
+        , extra >= 1.6
         , file-embed >= 0.0
         , formatting >= 6.3
         , http-client >= 0.5

src/Chainweb/Pact/TransactionExec.hs

@@ -434,6 +434,18 @@ applyUpgrades v cid height
     applyTxs txsIO = do
       infoLog "Applying upgrade!"
       txs <- map (fmap payloadObj) <$> liftIO txsIO
+
+      --
+      -- Note (emily): the historical use of 'mapM_' here means that we are not
+      -- threading the updated module cache from tx to tx in our upgrades.
+      -- This means that the outputed module cache is the set of modules
+      -- loaded in the /last/ tx, and that result will go into the hash.
+      --
+      -- Whether this can be fixed in the future should be explored, but we've
+      -- already built fixes to address this problem that also affect the
+      -- hashes of later blocks.
+      --
+
       local (set txExecutionConfig def) $
         mapM_ applyTx txs
       mc <- use txCache
@@ -464,6 +476,13 @@ applyTwentyChainUpgrade v cid bh
       infoLog $ "Applying 20-chain upgrades on chain " <> sshow cid
 
       let txs = fmap payloadObj <$> txlist
+
+      --
+      -- Note (emily): This function does not need to care about
+      -- module caching, because it is already seeded with the correct cache
+      -- state, and is not updating the module cache, unlike 'applyUpgrades'.
+      --
+
       traverse_ applyTx txs
     | otherwise = return ()
   where

src/Chainweb/Rosetta/Internal.hs

@@ -52,13 +52,12 @@ import Chainweb.Pact.Service.Types (Domain'(..), BlockTxHistory(..))
 import Chainweb.Payload hiding (Transaction(..))
 import Chainweb.Payload.PayloadStore
 import Chainweb.Rosetta.RestAPI
+import Chainweb.Rosetta.Utils
 import Chainweb.TreeDB (seekAncestor)
 import Chainweb.Utils
 import Chainweb.Version
 import Chainweb.WebPactExecutionService (PactExecutionService(..))
 
-import Chainweb.Rosetta.Util
-
 ---
 
 --------------------------------------------------------------------------------

src/Chainweb/Rosetta/RestAPI.hs

@@ -1,6 +1,7 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeOperators #-}
 
@@ -14,8 +15,29 @@
 --
 module Chainweb.Rosetta.RestAPI
   ( -- * Endpoints
-    RosettaApi_
-  , RosettaApi
+    RosettaApi
+  , rosettaApi
+    -- * Standalone APIs for client derivation
+  , RosettaAccountBalanceApi
+  , rosettaAccountBalanceApi
+  , RosettaBlockTransactionApi
+  , rosettaBlockTransactionApi
+  , RosettaBlockApi
+  , rosettaBlockApi
+  , RosettaConstructionMetadataApi
+  , rosettaConstructionMetadataApi
+  , RosettaConstructionSubmitApi
+  , rosettaConstructionSubmitApi
+  , RosettaMempoolTransactionApi
+  , rosettaMempoolTransactionApi
+  , RosettaMempoolApi
+  , rosettaMempoolApi
+  , RosettaNetworkListApi
+  , rosettaNetworkListApi
+  , RosettaNetworkOptionsApi
+  , rosettaNetworkOptionsApi
+  , RosettaNetworkStatusApi
+  , rosettaNetworkStatusApi
     -- * Errors
   , RosettaFailure(..)
   , rosettaError
@@ -25,16 +47,14 @@ module Chainweb.Rosetta.RestAPI
 
 import Control.Error.Util
 import Control.Monad (when)
-import Control.Monad.Except (throwError)
 import Control.Monad.Trans.Except (ExceptT)
 
 import Data.Aeson (encode)
 import qualified Data.Text as T
 
 import Rosetta
 
-import Servant.API
-import Servant.Server
+import Servant
 
 import Text.Read (readMaybe)
 
@@ -46,46 +66,165 @@ import Chainweb.Version
 
 ---
 
-type RosettaApi_ =
-    -- Accounts --
-    "rosetta" :> "account" :> "balance"
-        :> ReqBody '[JSON] AccountBalanceReq
-        :> Post '[JSON] AccountBalanceResp
-    -- Blocks --
-    :<|> "rosetta" :> "block" :> "transaction"
-        :> ReqBody '[JSON] BlockTransactionReq
-        :> Post '[JSON] BlockTransactionResp
-    :<|> "rosetta" :> "block"
-        :> ReqBody '[JSON] BlockReq
-        :> Post '[JSON] BlockResp
-    -- Construction --
-    :<|> "rosetta" :> "construction" :> "metadata"
-        :> ReqBody '[JSON] ConstructionMetadataReq
-        :> Post '[JSON] ConstructionMetadataResp
-    :<|> "rosetta" :> "construction" :> "submit"
-        :> ReqBody '[JSON] ConstructionSubmitReq
-        :> Post '[JSON] ConstructionSubmitResp
-    -- Mempool --
-    :<|> "rosetta" :> "mempool" :> "transaction"
-        :> ReqBody '[JSON] MempoolTransactionReq
-        :> Post '[JSON] MempoolTransactionResp
-    :<|> "rosetta" :> "mempool"
-        :> ReqBody '[JSON] MempoolReq
-        :> Post '[JSON] MempoolResp
-    -- Network --
-    :<|> "rosetta" :> "network" :> "list"
-        :> ReqBody '[JSON] MetadataReq
-        :> Post '[JSON] NetworkListResp
-    :<|> "rosetta" :> "network" :> "options"
-        :> ReqBody '[JSON] NetworkReq
-        :> Post '[JSON] NetworkOptionsResp
-    :<|> "rosetta" :> "network" :> "status"
-        :> ReqBody '[JSON] NetworkReq
-        :> Post '[JSON] NetworkStatusResp
+-- ------------------------------------------------------------------ --
+-- Rosetta Api
 
 type RosettaApi (v :: ChainwebVersionT) = 'ChainwebEndpoint v :> Reassoc RosettaApi_
 
--- TODO: Investigate if Rosetta Erros can be dynamic?
+type RosettaApi_ = "rosetta" :>
+    ( -- Accounts --
+      RosettaAccountBalanceApi_
+      -- Blocks --
+    :<|> RosettaBlockTransactionApi_
+    :<|> RosettaBlockApi_
+      -- Construction --
+    :<|> RosettaConstructionMetadataApi_
+    :<|> RosettaConstructionSubmitApi_
+      -- Mempool --
+    :<|> RosettaMempoolTransactionApi_
+    :<|> RosettaMempoolApi_
+      -- Network --
+    :<|> RosettaNetworkListApi_
+    :<|> RosettaNetworkOptionsApi_
+    :<|> RosettaNetworkStatusApi_
+    )
+
+rosettaApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaApi v)
+rosettaApi = Proxy
+
+-- ------------------------------------------------------------------ --
+-- Standalone Endpoints + Witnesses
+
+type RosettaApiEndpoint (v :: ChainwebVersionT) api
+    = 'ChainwebEndpoint v
+    :> "rosetta"
+    :> api
+
+type RosettaAccountBalanceApi v = RosettaApiEndpoint v RosettaAccountBalanceApi_
+type RosettaBlockTransactionApi v = RosettaApiEndpoint v RosettaBlockTransactionApi_
+type RosettaBlockApi v = RosettaApiEndpoint v RosettaBlockApi_
+type RosettaConstructionSubmitApi v = RosettaApiEndpoint v RosettaConstructionSubmitApi_
+type RosettaConstructionMetadataApi v = RosettaApiEndpoint v RosettaConstructionMetadataApi_
+type RosettaMempoolTransactionApi v = RosettaApiEndpoint v RosettaMempoolTransactionApi_
+type RosettaMempoolApi v = RosettaApiEndpoint v RosettaMempoolApi_
+type RosettaNetworkListApi v = RosettaApiEndpoint v RosettaNetworkListApi_
+type RosettaNetworkOptionsApi v = RosettaApiEndpoint v RosettaNetworkOptionsApi_
+type RosettaNetworkStatusApi v = RosettaApiEndpoint v RosettaNetworkStatusApi_
+
+type RosettaAccountBalanceApi_
+    = "account"
+    :> "balance"
+    :> ReqBody '[JSON] AccountBalanceReq
+    :> Post '[JSON] AccountBalanceResp
+
+type RosettaBlockTransactionApi_
+    = "block"
+    :> "transaction"
+    :> ReqBody '[JSON] BlockTransactionReq
+    :> Post '[JSON] BlockTransactionResp
+
+type RosettaBlockApi_
+    = "block"
+    :> ReqBody '[JSON] BlockReq
+    :> Post '[JSON] BlockResp
+
+type RosettaConstructionMetadataApi_
+    = "construction"
+    :> "metadata"
+    :> ReqBody '[JSON] ConstructionMetadataReq
+    :> Post '[JSON] ConstructionMetadataResp
+
+type RosettaConstructionSubmitApi_
+    = "construction"
+    :> "submit"
+    :> ReqBody '[JSON] ConstructionSubmitReq
+    :> Post '[JSON] ConstructionSubmitResp
+
+type RosettaMempoolTransactionApi_
+    = "mempool"
+    :> "transaction"
+    :> ReqBody '[JSON] MempoolTransactionReq
+    :> Post '[JSON] MempoolTransactionResp
+
+type RosettaMempoolApi_
+    = "mempool"
+    :> ReqBody '[JSON] MempoolReq
+    :> Post '[JSON] MempoolResp
+
+type RosettaNetworkListApi_
+    = "network"
+    :> "list"
+    :> ReqBody '[JSON] MetadataReq
+    :> Post '[JSON] NetworkListResp
+
+type RosettaNetworkOptionsApi_
+    = "network"
+    :> "options"
+    :> ReqBody '[JSON] NetworkReq
+    :> Post '[JSON] NetworkOptionsResp
+
+type RosettaNetworkStatusApi_
+    = "network"
+    :> "status"
+    :> ReqBody '[JSON] NetworkReq
+    :> Post '[JSON] NetworkStatusResp
+
+rosettaAccountBalanceApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaAccountBalanceApi v)
+rosettaAccountBalanceApi = Proxy
+
+rosettaBlockTransactionApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaBlockTransactionApi v)
+rosettaBlockTransactionApi = Proxy
+
+rosettaBlockApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaBlockApi v)
+rosettaBlockApi = Proxy
+
+rosettaConstructionMetadataApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaConstructionMetadataApi v)
+rosettaConstructionMetadataApi = Proxy
+
+rosettaConstructionSubmitApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaConstructionSubmitApi v)
+rosettaConstructionSubmitApi = Proxy
+
+rosettaMempoolTransactionApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaMempoolTransactionApi v)
+rosettaMempoolTransactionApi = Proxy
+
+rosettaMempoolApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaMempoolApi v)
+rosettaMempoolApi = Proxy
+
+rosettaNetworkListApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaNetworkListApi v)
+rosettaNetworkListApi = Proxy
+
+rosettaNetworkOptionsApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaNetworkOptionsApi v)
+rosettaNetworkOptionsApi = Proxy
+
+rosettaNetworkStatusApi
+    :: forall (v :: ChainwebVersionT)
+    . Proxy (RosettaNetworkStatusApi v)
+rosettaNetworkStatusApi = Proxy
+
+-- ------------------------------------------------------------------ --
+-- Rosetta Exceptions
+
+-- TODO: Investigate if Rosetta Erros can be dynamic
 data RosettaFailure
     = RosettaChainUnspecified
     | RosettaInvalidChain
@@ -167,4 +306,3 @@ readChainIdText :: ChainwebVersion -> T.Text -> Maybe ChainId
 readChainIdText v c = do
   cid <- readMaybe @Word (T.unpack c)
   mkChainId v maxBound cid
-