Add cardano-cli transaction hash-script-data

Needed as a util for helping to build txs that use Plutus scripts.

cardano-cli/src/Cardano/CLI/Shelley/Commands.hs

@@ -201,6 +201,8 @@ data TransactionCmd
   | TxCalculateMinValue
       ProtocolParamsSourceSpec
       Value
+  | TxHashScriptData
+      ScriptDataOrFile
   | TxGetTxId InputTxFile
   | TxView InputTxFile
   deriving Show
@@ -230,6 +232,7 @@ renderTransactionCmd cmd =
     TxMintedPolicyId {} -> "transaction policyid"
     TxCalculateMinFee {} -> "transaction calculate-min-fee"
     TxCalculateMinValue {} -> "transaction calculate-min-value"
+    TxHashScriptData {} -> "transaction hash-script-data"
     TxGetTxId {} -> "transaction txid"
     TxView {} -> "transaction view"
 

cardano-cli/src/Cardano/CLI/Shelley/Parsers.hs

@@ -253,31 +253,40 @@ pScriptWitnessFiles witctx scriptFlagPrefix scriptFlagPrefixDeprecated help =
     pScriptDatumOrFile :: Parser (ScriptDatumOrFile witctx)
     pScriptDatumOrFile =
       case witctx of
-        WitCtxTxIn  -> ScriptDatumOrFileForTxIn <$> pScriptDataOrFile "datum"
+        WitCtxTxIn  -> ScriptDatumOrFileForTxIn <$>
+                         pScriptDataOrFile (scriptFlagPrefix ++ "-datum")
         WitCtxMint  -> pure NoScriptDatumOrFileForMint
         WitCtxStake -> pure NoScriptDatumOrFileForStake
 
     pScriptRedeemerOrFile :: Parser ScriptDataOrFile
-    pScriptRedeemerOrFile = pScriptDataOrFile "redeemer"
+    pScriptRedeemerOrFile = pScriptDataOrFile (scriptFlagPrefix ++ "-redeemer")
 
-    pScriptDataOrFile :: String -> Parser ScriptDataOrFile
-    pScriptDataOrFile dataFlagPrefix =
-          ScriptDataFile  <$> pScriptDataFile  dataFlagPrefix
-      <|> ScriptDataValue <$> pScriptDataValue dataFlagPrefix
+    pExecutionUnits :: Parser ExecutionUnits
+    pExecutionUnits =
+      uncurry ExecutionUnits <$>
+      Opt.option Opt.auto
+        (  Opt.long (scriptFlagPrefix ++ "-execution-units")
+        <> Opt.metavar "(INT, INT)"
+        <> Opt.help "The time and space units needed by the script."
+        )
 
-    pScriptDataFile dataFlagPrefix =
+pScriptDataOrFile :: String -> Parser ScriptDataOrFile
+pScriptDataOrFile dataFlagPrefix =
+      ScriptDataFile  <$> pScriptDataFile
+  <|> ScriptDataValue <$> pScriptDataValue
+  where
+    pScriptDataFile =
       Opt.strOption
-        (  Opt.long (scriptFlagPrefix ++ "-" ++ dataFlagPrefix ++ "-file")
+        (  Opt.long (dataFlagPrefix ++ "-file")
         <> Opt.metavar "FILE"
-        <> Opt.help ("The file containing the script input "
-                    ++ dataFlagPrefix ++ ".")
+        <> Opt.help "The file containing the script data."
         )
 
-    pScriptDataValue dataFlagPrefix =
+    pScriptDataValue =
       Opt.option readerScriptData
-        (  Opt.long (scriptFlagPrefix ++ "-" ++ dataFlagPrefix ++ "-value")
+        (  Opt.long (dataFlagPrefix ++ "-value")
         <> Opt.metavar "JSON"
-        <> Opt.help ("The value for the script input " ++ dataFlagPrefix ++ ".")
+        <> Opt.help "The value (in JSON syntax) for the script data."
         )
 
     readerScriptData = do
@@ -286,14 +295,6 @@ pScriptWitnessFiles witctx scriptFlagPrefix scriptFlagPrefixDeprecated help =
         Left err -> fail (displayError err)
         Right sd -> return sd
 
-    pExecutionUnits :: Parser ExecutionUnits
-    pExecutionUnits =
-      uncurry ExecutionUnits <$>
-      Opt.option Opt.auto
-        (  Opt.long (scriptFlagPrefix ++ "-execution-units")
-        <> Opt.metavar "(INT, INT)"
-        <> Opt.help "The time and space units needed by the script."
-        )
 
 pStakeAddressCmd :: Parser StakeAddressCmd
 pStakeAddressCmd =
@@ -572,6 +573,9 @@ pTransaction =
         (Opt.info pTransactionCalculateMinFee $ Opt.progDesc "Calculate the minimum fee for a transaction")
     , subParser "calculate-min-value"
         (Opt.info pTransactionCalculateMinValue $ Opt.progDesc "Calculate the minimum value for a transaction")
+
+    , subParser "hash-script-data"
+        (Opt.info pTxHashScriptData $ Opt.progDesc "Calculate the hash of script data")
     , subParser "txid"
         (Opt.info pTransactionId $ Opt.progDesc "Print a transaction identifier")
     , subParser "view" $
@@ -660,6 +664,9 @@ pTransaction =
     <|>
     ParamsFromFile <$> pProtocolParamsFile
 
+  pTxHashScriptData :: Parser TransactionCmd
+  pTxHashScriptData = TxHashScriptData <$> pScriptDataOrFile "script-data"
+
   pTransactionId  :: Parser TransactionCmd
   pTransactionId = TxGetTxId <$> pInputTxFile
 

cardano-cli/src/Cardano/CLI/Shelley/Run/Transaction.hs

@@ -249,6 +249,7 @@ runTransactionCmd cmd =
       runTxCalculateMinFee txbody mnw pGenesisOrParamsFile nInputs nOutputs
                            nShelleyKeyWitnesses nByronKeyWitnesses
     TxCalculateMinValue pParamSpec txOuts -> runTxCalculateMinValue pParamSpec txOuts
+    TxHashScriptData scriptDataOrFile -> runTxHashScriptData scriptDataOrFile
     TxGetTxId txinfile -> runTxGetTxId txinfile
     TxView txinfile -> runTxView txinfile
     TxMintedPolicyId sFile -> runTxCreatePolicyId sFile
@@ -866,6 +867,11 @@ readProtocolParameters (ProtocolParamsFile fpath) = do
   firstExceptT (ShelleyTxCmdAesonDecodeProtocolParamsError fpath . Text.pack) . hoistEither $
     Aeson.eitherDecode' pparams
 
+
+-- ----------------------------------------------------------------------------
+-- Witness handling
+--
+
 data SomeWitness
   = AByronSigningKey           (SigningKey ByronKey) (Maybe (Address ByronAddr))
   | APaymentSigningKey         (SigningKey PaymentKey)
@@ -1046,6 +1052,15 @@ mkShelleyBootstrapWitnesses mnw txBody =
   mapM (mkShelleyBootstrapWitness mnw txBody)
 
 
+-- ----------------------------------------------------------------------------
+-- Other misc small commands
+--
+
+runTxHashScriptData :: ScriptDataOrFile -> ExceptT ShelleyTxCmdError IO ()
+runTxHashScriptData scriptDataOrFile = do
+    d <- readScriptDataOrFile scriptDataOrFile
+    liftIO $ BS.putStrLn $ serialiseToRawBytesHex (hashScriptData d)
+
 runTxGetTxId :: InputTxFile -> ExceptT ShelleyTxCmdError IO ()
 runTxGetTxId txfile = do
     InAnyCardanoEra _era txbody <-
@@ -1067,6 +1082,11 @@ runTxView txfile = do
         return . InAnyCardanoEra era $ getTxBody tx
   liftIO $ BS.putStr $ friendlyTxBodyBS era txbody
 
+
+-- ----------------------------------------------------------------------------
+-- Witness commands
+--
+
 runTxCreateWitness
   :: TxBodyFile
   -> WitnessSigningData