Adjust Deposits event

The tx hash is used to associate the event with the tx since the events within
a block can appear out of order. The adjustment from deposits to deposits
change is useful for db-sync.

docs/LedgerEvents.md

@@ -94,11 +94,12 @@ It is related to the other rewards events by the property:
 RupdEvent - RestrainedRewards = Total
 ```
 
-### `TotalDeposits totalDeposits`
+### `TotalDeposits txHash depositChange`
 
 This event happens for every transaction, it contains the sum of all the deposits
 paid by the given transaction (both stake credential registration deposits and
-stake pool registration deposits).
+stake pool registration deposits) minus the sum of all refunds. It also contains
+the transaction hash.
 
 ### `RegisterPool poolID`
 This event happens for every new stake pool registration certificate.

eras/shelley/impl/src/Cardano/Ledger/Shelley/Rules/Utxo.hs

@@ -58,6 +58,7 @@ import Cardano.Ledger.Core
 import qualified Cardano.Ledger.Crypto as CC
 import Cardano.Ledger.Keys (GenDelegs)
 import Cardano.Ledger.Rules.ValidationMode (Inject (..), Test, runTest)
+import Cardano.Ledger.SafeHash (SafeHash, hashAnnotated)
 import Cardano.Ledger.Shelley.AdaPots (consumedTxBody, producedTxBody)
 import Cardano.Ledger.Shelley.Era (ShelleyEra, ShelleyUTXO)
 import Cardano.Ledger.Shelley.LedgerState (DPState (..), keyTxRefunds, totalTxDeposits)
@@ -136,7 +137,7 @@ data UtxoEnv era
 deriving instance Show (PParams era) => Show (UtxoEnv era)
 
 data UtxoEvent era
-  = TotalDeposits Coin
+  = TotalDeposits (SafeHash (EraCrypto era) EraIndependentTxBody) Coin
   | UpdateEvent (Event (EraRule "PPUP" era))
 
 data ShelleyUtxoPredFailure era
@@ -427,8 +428,8 @@ utxoInductive = do
 
   let refunded = keyTxRefunds pp dpstate txb
   let totalDeposits' = totalTxDeposits pp dpstate txb
-  tellEvent $ TotalDeposits totalDeposits'
   let depositChange = totalDeposits' Val.<-> refunded
+  tellEvent $ TotalDeposits (hashAnnotated txb) depositChange
   pure $! updateUTxOState u txb depositChange ppup'
 
 -- | The ttl field marks the top of an open interval, so it must be strictly