Fix ada_pots utxo field

Fixes #2039

Author: kderme

cardano-db-sync/src/Cardano/DbSync/Api.hs

@@ -305,14 +305,15 @@ mkSyncEnv ::
   SyncOptions ->
   ProtocolInfo CardanoBlock ->
   Ledger.Network ->
+  Word64 ->
   NetworkMagic ->
   SystemStart ->
   SyncNodeConfig ->
   SyncNodeParams ->
   RunMigration ->
   Bool ->
   IO SyncEnv
-mkSyncEnv metricSetters trce dbEnv syncOptions protoInfo nw nwMagic systemStart syncNodeConfigFromFile syncNP runNearTipMigrationFnc isJsonbInSchema = do
+mkSyncEnv metricSetters trce dbEnv syncOptions protoInfo nw maxLovelaceSupply nwMagic systemStart syncNodeConfigFromFile syncNP runNearTipMigrationFnc isJsonbInSchema = do
   dbCNamesVar <- newTVarIO =<< DB.runDbDirectSilent dbEnv DB.queryRewardAndEpochStakeConstraints
   cache <-
     if soptCache syncOptions
@@ -349,6 +350,7 @@ mkSyncEnv metricSetters trce dbEnv syncOptions protoInfo nw nwMagic systemStart
             protoInfo
             dir
             nw
+            maxLovelaceSupply
             systemStart
             syncOptions
       (Nothing, False) -> NoLedger <$> mkNoLedgerEnv trce protoInfo nw systemStart
@@ -432,6 +434,7 @@ mkSyncEnvFromConfig metricsSetters trce dbEnv syncOptions genCfg syncNodeConfigF
               syncOptions
               (fst $ mkProtocolInfoCardano genCfg [])
               (Shelley.sgNetworkId $ scConfig sCfg)
+              (Shelley.sgMaxLovelaceSupply $ scConfig sCfg)
               (NetworkMagic . unProtocolMagicId $ Byron.configProtocolMagicId bCfg)
               (SystemStart . Byron.gdStartTime $ Byron.configGenesisData bCfg)
               syncNodeConfigFromFile

cardano-db-sync/src/Cardano/DbSync/Ledger/State.hs

@@ -51,10 +51,11 @@ import qualified Cardano.Ledger.Alonzo.PParams as Alonzo
 import Cardano.Ledger.Alonzo.Scripts
 import Cardano.Ledger.BaseTypes (StrictMaybe)
 import qualified Cardano.Ledger.BaseTypes as Ledger
+import Cardano.Ledger.Coin
 import Cardano.Ledger.Conway.Core as Shelley
 import Cardano.Ledger.Conway.Governance
 import qualified Cardano.Ledger.Conway.Governance as Shelley
-import Cardano.Ledger.Shelley.AdaPots (AdaPots)
+import Cardano.Ledger.Shelley.AdaPots (AdaPots (..), sumAdaPots)
 import qualified Cardano.Ledger.Shelley.LedgerState as Shelley
 import Cardano.Prelude hiding (atomically)
 import Cardano.Slotting.EpochInfo (EpochInfo, epochInfoEpoch)
@@ -158,10 +159,11 @@ mkHasLedgerEnv ::
   Consensus.ProtocolInfo CardanoBlock ->
   LedgerStateDir ->
   Ledger.Network ->
+  Word64 ->
   SystemStart ->
   SyncOptions ->
   IO HasLedgerEnv
-mkHasLedgerEnv trce protoInfo dir nw systemStart syncOptions = do
+mkHasLedgerEnv trce protoInfo dir nw maxLovelaceSupply systemStart syncOptions = do
   svar <- newTVarIO Strict.Nothing
   intervar <- newTVarIO Strict.Nothing
   swQueue <- newTBQueueIO 5 -- Should be relatively shallow.
@@ -173,6 +175,7 @@ mkHasLedgerEnv trce protoInfo dir nw systemStart syncOptions = do
       , leProtocolInfo = protoInfo
       , leDir = dir
       , leNetwork = nw
+      , leMaxSupply = maxLovelaceSupply
       , leSystemStart = systemStart
       , leAbortOnPanic = soptAbortOnInvalid syncOptions
       , leSnapshotNearTipEpoch = sicNearTipEpoch $ soptSnapshotInterval syncOptions
@@ -286,13 +289,21 @@ applyBlock env blk = do
           Generic.NewEpoch
             { Generic.neEpoch = currEpoch
             , Generic.neIsEBB = isJust $ blockIsEBB blk
-            , Generic.neAdaPots = maybeToStrict mPots
+            , Generic.neAdaPots = fixUTxOPots <$> maybeToStrict mPots
             , Generic.neEpochUpdate = Generic.epochUpdate newState
             , Generic.neDRepState = maybeToStrict $ getDrepState newState
             , Generic.neEnacted = maybeToStrict $ getGovState newState
             , Generic.nePoolDistr = maybeToStrict $ Generic.getPoolDistr newState
             }
 
+        fixUTxOPots :: AdaPots -> AdaPots
+        fixUTxOPots adaPots =
+          adaPots
+            { utxoAdaPot =
+                Coin $
+                  fromIntegral (leMaxSupply env) - unCoin (sumAdaPots adaPots)
+            }
+
     applyToEpochBlockNo :: Bool -> Bool -> EpochBlockNo -> EpochBlockNo
     applyToEpochBlockNo True _ _ = EBBEpochBlockNo
     applyToEpochBlockNo _ True _ = EpochBlockNo 0

cardano-db-sync/src/Cardano/DbSync/Ledger/Types.hs

@@ -68,6 +68,7 @@ data HasLedgerEnv = HasLedgerEnv
   , leProtocolInfo :: !(Consensus.ProtocolInfo CardanoBlock)
   , leDir :: !LedgerStateDir
   , leNetwork :: !Ledger.Network
+  , leMaxSupply :: !Word64
   , leSystemStart :: !SystemStart
   , leAbortOnPanic :: !Bool
   , leSnapshotNearTipEpoch :: !Word64