gRPC: Add evalTx method

Author: carbolymer

.changes/20260508_cardano_api_export_evaluateTransactionExecutionUnits.yml

@@ -0,0 +1,6 @@
+project: cardano-api
+pr: 1193
+kind:
+  - compatible
+description: |
+  Export `evaluateTransactionExecutionUnits` from `Cardano.Api.Experimental`. Re-export `EraTxBody(..)` from `Cardano.Api.Ledger`.

.changes/20260508_cardano_rpc_evaltx.yml

@@ -0,0 +1,6 @@
+project: cardano-rpc
+pr: 1193
+kind:
+  - feature
+description: |
+  Add evalTx gRPC method to the UTxO RPC submit service, evaluating a CBOR-serialised transaction against the current ledger state and returning per-redeemer execution units, computed minimum fee, script evaluation errors, and balance check results without submitting.

cardano-api/src/Cardano/Api/Experimental.hs

@@ -20,7 +20,9 @@ module Cardano.Api.Experimental
   , EraCommonConstraints
   , obtainConwayConstraints
   , obtainCommonConstraints
+  , eraProtVerHigh
   , hashTxBody
+  , evaluateTransactionExecutionUnits
   , evaluateTransactionExecutionUnitsShelley
   , AnchorDataFromCertificateError (..)
   , getAnchorDataFromCertificate

cardano-api/src/Cardano/Api/Experimental/Era.hs

@@ -10,6 +10,7 @@
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilyDependencies #-}
 {-# LANGUAGE TypeOperators #-}
 
@@ -26,6 +27,7 @@ module Cardano.Api.Experimental.Era
   , DeprecatedEra (..)
   , EraCommonConstraints
   , obtainCommonConstraints
+  , eraProtVerHigh
   , obtainConwayConstraints
   , eraToSbe
   , eraToBabbageEraOnwards
@@ -338,3 +340,8 @@ type EraConwayConstraints =
   , L.ShelleyEraTxCert (LedgerEra ConwayEra)
   , L.NativeScript (ShelleyLedgerEra ConwayEra) ~ L.Timelock (ShelleyLedgerEra ConwayEra)
   )
+
+-- | Lookup the lower major protocol version for the era. In other words
+-- this is the major protocol version that the era has started in.
+eraProtVerHigh :: forall era. Era era -> L.Version
+eraProtVerHigh eon = obtainCommonConstraints eon $ L.eraProtVerHigh @(LedgerEra era)

cardano-api/src/Cardano/Api/Experimental/Tx.hs

@@ -239,7 +239,6 @@ import Cardano.Api.Tx.Internal.Body qualified as Api
 import Cardano.Api.Tx.Internal.Sign
 
 import Cardano.Crypto.Hash qualified as Hash
-import Cardano.Ledger.Alonzo.Tx qualified as L
 import Cardano.Ledger.Api qualified as L
 import Cardano.Ledger.Binary qualified as Ledger
 import Cardano.Ledger.Core qualified as Ledger

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/BodyContent/New.hs

@@ -145,7 +145,6 @@ import Cardano.Ledger.Alonzo.Tx qualified as L
 import Cardano.Ledger.Alonzo.TxBody qualified as L
 import Cardano.Ledger.Alonzo.TxWits qualified as L
 import Cardano.Ledger.Api qualified as L
-import Cardano.Ledger.Core qualified as L
 import Cardano.Ledger.Core qualified as Ledger
 import Cardano.Ledger.Plutus.Language (PlutusBinary (..), plutusLanguage)
 import Cardano.Ledger.Plutus.Language qualified as Plutus

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Fee.hs

@@ -71,7 +71,6 @@ import Cardano.Ledger.Alonzo.Core qualified as Ledger
 import Cardano.Ledger.Api qualified as L
 import Cardano.Ledger.Coin qualified as L
 import Cardano.Ledger.Conway.Governance qualified as L
-import Cardano.Ledger.Core qualified as L
 import Cardano.Ledger.Credential as Ledger (Credential)
 import Cardano.Ledger.Val qualified as L
 

cardano-api/src/Cardano/Api/Ledger/Internal/Reexport.hs

@@ -164,6 +164,8 @@ module Cardano.Api.Ledger.Internal.Reexport
   , AsIxItem (..)
   , EraGov
   , EraTx (witsTxL, bodyTxL)
+  , EraTxBody (..)
+  , TopTx
   , Tx
   , TxDats (..)
   , costModelsValid
@@ -345,9 +347,11 @@ import Cardano.Ledger.Conway.TxCert
 import Cardano.Ledger.Core
   ( Era (..)
   , EraPParams (..)
+  , EraTxBody (..)
   , EraTxOut
   , PParams (..)
   , PoolCert (..)
+  , TopTx
   , TxOut
   , Value
   , fromEraCBOR

cardano-api/src/Cardano/Api/Tx/Internal/Fee.hs

@@ -86,7 +86,6 @@ import Cardano.Ledger.Alonzo.Scripts qualified as Alonzo
 import Cardano.Ledger.Api qualified as L
 import Cardano.Ledger.Coin qualified as L
 import Cardano.Ledger.Conway.Governance qualified as L
-import Cardano.Ledger.Core qualified as L
 import Cardano.Ledger.Credential as Ledger (Credential)
 import Cardano.Ledger.Plutus.Language qualified as Plutus
 import Ouroboros.Consensus.HardFork.History qualified as Consensus

cardano-api/src/Cardano/Api/Tx/Internal/Output.hs

@@ -85,8 +85,6 @@ import Cardano.Ledger.Alonzo.Core qualified as L
 import Cardano.Ledger.Api qualified as L
 import Cardano.Ledger.BaseTypes (StrictMaybe (..))
 import Cardano.Ledger.Coin qualified as L
-import Cardano.Ledger.Core qualified as Core
-import Cardano.Ledger.Core qualified as Ledger
 import Cardano.Ledger.Plutus.Data qualified as Plutus
 
 import Data.Aeson (object, withObject, (.:), (.:?), (.=))
@@ -186,13 +184,13 @@ convTxOuts
   => ShelleyLedgerEra era ~ ledgerera
   => ShelleyBasedEra era
   -> [TxOut ctx era]
-  -> Seq.StrictSeq (Ledger.TxOut ledgerera)
+  -> Seq.StrictSeq (L.TxOut ledgerera)
 convTxOuts sbe txOuts = fromList $ map (toShelleyTxOutAny sbe) txOuts
 
 fromLedgerTxOuts
   :: forall era
    . ShelleyBasedEra era
-  -> Ledger.TxBody Ledger.TopTx (ShelleyLedgerEra era)
+  -> L.TxBody L.TopTx (ShelleyLedgerEra era)
   -> TxBodyScriptData era
   -> [TxOut CtxTx era]
 fromLedgerTxOuts sbe body scriptdata =
@@ -792,7 +790,7 @@ toShelleyTxOut
   => ShelleyLedgerEra era ~ ledgerera
   => ShelleyBasedEra era
   -> TxOut CtxUTxO era
-  -> Ledger.TxOut ledgerera
+  -> L.TxOut ledgerera
 toShelleyTxOut sbe = shelleyBasedEraConstraints sbe $ \case
   TxOut addr (TxOutValueShelleyBased _ value) txoutdata refScript ->
     caseShelleyToMaryOrAlonzoEraOnwards
@@ -826,7 +824,7 @@ toShelleyTxOutAny
   => ShelleyLedgerEra era ~ ledgerera
   => ShelleyBasedEra era
   -> TxOut ctx era
-  -> Ledger.TxOut ledgerera
+  -> L.TxOut ledgerera
 toShelleyTxOutAny sbe = shelleyBasedEraConstraints sbe $ \case
   TxOut addr (TxOutValueShelleyBased _ value) txoutdata refScript ->
     caseShelleyToMaryOrAlonzoEraOnwards
@@ -855,7 +853,7 @@ fromShelleyTxOut
   :: forall era ctx
    . ()
   => ShelleyBasedEra era
-  -> Core.TxOut (ShelleyLedgerEra era)
+  -> L.TxOut (ShelleyLedgerEra era)
   -> TxOut ctx era
 fromShelleyTxOut sbe ledgerTxOut = shelleyBasedEraConstraints sbe $ do
   let txOutValue = TxOutValueShelleyBased sbe $ ledgerTxOut ^. A.valueTxOutL sbe
@@ -920,8 +918,8 @@ data TxOutValue era where
     :: L.Coin
     -> TxOutValue ByronEra
   TxOutValueShelleyBased
-    :: ( Eq (Ledger.Value (ShelleyLedgerEra era))
-       , Show (Ledger.Value (ShelleyLedgerEra era))
+    :: ( Eq (L.Value (ShelleyLedgerEra era))
+       , Show (L.Value (ShelleyLedgerEra era))
        )
     => ShelleyBasedEra era
     -> L.Value (ShelleyLedgerEra era)