Recompute aux data hash and re-sign CommitTx returned by hydra-node

Author: errfrom

spago.dhall

@@ -38,6 +38,7 @@
   , "plutus-types"
   , "prelude"
   , "profunctor"
+  , "profunctor-lenses"
   , "quickcheck"
   , "safely"
   , "strings"

src/Internal/Lib/Transaction.purs

@@ -0,0 +1,26 @@
+module HydraSdk.Internal.Lib.Transaction
+  ( fixCommitTx
+  ) where
+
+import Prelude
+
+import Cardano.Types (Transaction)
+import Cardano.Types.AuxiliaryData (hashAuxiliaryData)
+import Cardano.Types.Transaction (_body, _witnessSet)
+import Cardano.Types.TransactionBody (_auxiliaryDataHash)
+import Cardano.Types.TransactionWitnessSet (_vkeys)
+import Contract.Monad (Contract)
+import Contract.Transaction (signTransaction)
+import Data.Lens ((.~))
+import Data.Newtype (unwrap)
+
+fixCommitTx :: Transaction -> Contract Transaction
+fixCommitTx = reSignTransaction <<< setAuxDataHash
+
+setAuxDataHash :: Transaction -> Transaction
+setAuxDataHash tx =
+  tx # _body <<< _auxiliaryDataHash .~
+    (hashAuxiliaryData <$> (unwrap tx).auxiliaryData)
+
+reSignTransaction :: Transaction -> Contract Transaction
+reSignTransaction tx = signTransaction (tx # _witnessSet <<< _vkeys .~ mempty)

src/Internal/NodeApi/Http.purs

@@ -1,27 +1,41 @@
 module HydraSdk.Internal.NodeApi.Http
   ( commitRequest
+  , commitRequestAff
   ) where
 
 import Prelude
 
 import Contract.Config (ServerConfig)
+import Contract.Monad (Contract)
 import Ctl.Internal.Helpers ((<</>>))
 import Ctl.Internal.ServerConfig (mkHttpUrl)
 import Data.Codec.Argonaut (encode) as CA
 import Data.Either (Either)
 import Data.Maybe (Maybe(Just))
+import Data.Traversable (traverse)
 import Effect.Aff (Aff)
+import Effect.Aff.Class (liftAff)
 import HydraSdk.Internal.Http.Error (HttpError)
 import HydraSdk.Internal.Http.Utils (handleResponse, postRequest)
+import HydraSdk.Internal.Lib.Transaction (fixCommitTx)
 import HydraSdk.Internal.Types.CommitRequest
   ( HydraCommitRequest(SimpleCommitRequest, FullCommitRequest)
   , hydraFullCommitRequestCodec
   )
 import HydraSdk.Internal.Types.Tx (HydraTx, hydraTxCodec)
 import HydraSdk.Internal.Types.UtxoMap (hydraUtxoMapCodec)
 
-commitRequest :: ServerConfig -> HydraCommitRequest -> Aff (Either HttpError HydraTx)
+commitRequest :: ServerConfig -> HydraCommitRequest -> Contract (Either HttpError HydraTx)
 commitRequest serverConfig req =
+  liftAff (commitRequestAff serverConfig req) >>=
+    traverse
+      ( \hydraTx ->
+          fixCommitTx hydraTx.cborHex <#> \fixedTx ->
+            hydraTx { cborHex = fixedTx }
+      )
+
+commitRequestAff :: ServerConfig -> HydraCommitRequest -> Aff (Either HttpError HydraTx)
+commitRequestAff serverConfig req =
   handleResponse hydraTxCodec <$>
     postRequest
       { url: mkHttpUrl serverConfig <</>> "commit"

src/NodeApi.purs

@@ -3,7 +3,7 @@ module HydraSdk.NodeApi
   , module ExportWebSocket
   ) where
 
-import HydraSdk.Internal.NodeApi.Http (commitRequest) as ExportHttp
+import HydraSdk.Internal.NodeApi.Http (commitRequest, commitRequestAff) as ExportHttp
 
 import HydraSdk.Internal.NodeApi.WebSocket
   ( HydraNodeApiHandlers