Good stopping point

Author: Jimbo4350

cardano-api/cardano-api.cabal

@@ -77,8 +77,6 @@ library
     Cardano.Api.Internal.Eon.ShelleyBasedEra
     Cardano.Api.Internal.Eras
     Cardano.Api.Internal.Error
-    Cardano.Api.Internal.Experimental.Eras
-    Cardano.Api.Internal.Experimental.Tx
     Cardano.Api.Internal.Fees
     Cardano.Api.Internal.Genesis
     Cardano.Api.Internal.GenesisParameters
@@ -200,6 +198,12 @@ library
     Cardano.Api.Internal.Eon.ShelleyToMaryEra
     Cardano.Api.Internal.Eras.Case
     Cardano.Api.Internal.Eras.Core
+    Cardano.Api.Internal.Experimental.Eras
+    Cardano.Api.Internal.Experimental.Plutus.Shim.LegacyScripts 
+    Cardano.Api.Internal.Experimental.Plutus.Script 
+    Cardano.Api.Internal.Experimental.Plutus.ScriptWitness
+    Cardano.Api.Internal.Experimental.Simple.Script
+    Cardano.Api.Internal.Experimental.Tx
     Cardano.Api.Internal.Feature
     Cardano.Api.Internal.Governance.Actions.ProposalProcedure
     Cardano.Api.Internal.Governance.Actions.VotingProcedure
@@ -248,6 +252,7 @@ library
     Cardano.Api.Internal.SerialiseUsing
     Cardano.Api.Internal.SpecialByron
     Cardano.Api.Internal.StakePoolMetadata
+    Cardano.Api.Internal.Tx.BuildTxWith
     Cardano.Api.Internal.Tx.UTxO
     Cardano.Api.Internal.TxIn
     Cardano.Api.Internal.TxMetadata

cardano-api/src/Cardano/Api/Internal/Certificate.hs

@@ -10,6 +10,7 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 
 -- | Certificates embedded in transactions
 module Cardano.Api.Internal.Certificate
@@ -111,6 +112,7 @@ import Data.Maybe
 import Data.Text (Text)
 import Data.Text qualified as Text
 import Data.Text.Encoding qualified as Text
+import Data.Type.Equality (TestEquality (..))
 import Data.Typeable
 import GHC.Exts (IsList (..), fromString)
 import Network.Socket (PortNumber)
@@ -129,13 +131,15 @@ data Certificate era where
   --   6. Genesis delegation
   --   7. MIR certificates
   ShelleyRelatedCertificate
-    :: ShelleyToBabbageEra era
+    :: Typeable era
+    => ShelleyToBabbageEra era
     -> Ledger.ShelleyTxCert (ShelleyLedgerEra era)
     -> Certificate era
   -- Conway onwards
   -- TODO: Add comments about the new types of certificates
   ConwayCertificate
-    :: ConwayEraOnwards era
+    :: Typeable era
+    => ConwayEraOnwards era
     -> Ledger.ConwayTxCert (ShelleyLedgerEra era)
     -> Certificate era
   deriving anyclass SerialiseAsCBOR
@@ -146,6 +150,27 @@ deriving instance Ord (Certificate era)
 
 deriving instance Show (Certificate era)
 
+instance TestEquality Certificate where
+  testEquality (ShelleyRelatedCertificate _ c) (ShelleyRelatedCertificate _ c') =
+    shelleyCertTypeEquality c c'
+  testEquality (ConwayCertificate _ c) (ConwayCertificate _ c') =
+    conwayCertTypeEquality c c'
+  testEquality _ _ = Nothing
+
+conwayCertTypeEquality
+  :: (Typeable eraA, Typeable eraB)
+  => Ledger.ConwayTxCert (ShelleyLedgerEra eraA)
+  -> Ledger.ConwayTxCert (ShelleyLedgerEra eraB)
+  -> Maybe (eraA :~: eraB)
+conwayCertTypeEquality _ _ = eqT
+
+shelleyCertTypeEquality
+  :: (Typeable eraA, Typeable eraB)
+  => Ledger.ShelleyTxCert (ShelleyLedgerEra eraA)
+  -> Ledger.ShelleyTxCert (ShelleyLedgerEra eraB)
+  -> Maybe (eraA :~: eraB)
+shelleyCertTypeEquality _ _ = eqT
+
 instance Typeable era => HasTypeProxy (Certificate era) where
   data AsType (Certificate era) = AsCertificate
   proxyToAsType _ = AsCertificate
@@ -373,7 +398,8 @@ data GenesisKeyDelegationRequirements era where
     -> Hash VrfKey
     -> GenesisKeyDelegationRequirements era
 
-makeGenesisKeyDelegationCertificate :: GenesisKeyDelegationRequirements era -> Certificate era
+makeGenesisKeyDelegationCertificate
+  :: Typeable era => GenesisKeyDelegationRequirements era -> Certificate era
 makeGenesisKeyDelegationCertificate
   ( GenesisKeyDelegationRequirements
       atMostEra
@@ -394,7 +420,7 @@ data MirCertificateRequirements era where
     -> MirCertificateRequirements era
 
 makeMIRCertificate
-  :: ()
+  :: Typeable era
   => MirCertificateRequirements era
   -> Certificate era
 makeMIRCertificate (MirCertificateRequirements atMostEra mirPot mirTarget) =
@@ -410,7 +436,7 @@ data DRepRegistrationRequirements era where
     -> DRepRegistrationRequirements era
 
 makeDrepRegistrationCertificate
-  :: ()
+  :: Typeable era
   => DRepRegistrationRequirements era
   -> Maybe (Ledger.Anchor (EraCrypto (ShelleyLedgerEra era)))
   -> Certificate era
@@ -427,7 +453,7 @@ data CommitteeHotKeyAuthorizationRequirements era where
     -> CommitteeHotKeyAuthorizationRequirements era
 
 makeCommitteeHotKeyAuthorizationCertificate
-  :: ()
+  :: Typeable era
   => CommitteeHotKeyAuthorizationRequirements era
   -> Certificate era
 makeCommitteeHotKeyAuthorizationCertificate (CommitteeHotKeyAuthorizationRequirements cOnwards coldKeyCredential hotKeyCredential) =
@@ -443,7 +469,7 @@ data CommitteeColdkeyResignationRequirements era where
     -> CommitteeColdkeyResignationRequirements era
 
 makeCommitteeColdkeyResignationCertificate
-  :: ()
+  :: Typeable era
   => CommitteeColdkeyResignationRequirements era
   -> Certificate era
 makeCommitteeColdkeyResignationCertificate (CommitteeColdkeyResignationRequirements cOnwards coldKeyCred anchor) =
@@ -461,7 +487,7 @@ data DRepUnregistrationRequirements era where
     -> DRepUnregistrationRequirements era
 
 makeDrepUnregistrationCertificate
-  :: ()
+  :: Typeable era
   => DRepUnregistrationRequirements era
   -> Certificate era
 makeDrepUnregistrationCertificate (DRepUnregistrationRequirements conwayOnwards vcred deposit) =
@@ -488,7 +514,8 @@ data DRepUpdateRequirements era where
     -> DRepUpdateRequirements era
 
 makeDrepUpdateCertificate
-  :: DRepUpdateRequirements era
+  :: Typeable era
+  => DRepUpdateRequirements era
   -> Maybe (Ledger.Anchor (EraCrypto (ShelleyLedgerEra era)))
   -> Certificate era
 makeDrepUpdateCertificate (DRepUpdateRequirements conwayOnwards vcred) mAnchor =

cardano-api/src/Cardano/Api/Internal/Eon/AlonzoEraOnwards.hs

@@ -29,6 +29,7 @@ import Cardano.Binary
 import Cardano.Crypto.Hash.Blake2b qualified as Blake2b
 import Cardano.Crypto.Hash.Class qualified as C
 import Cardano.Crypto.VRF qualified as C
+import Cardano.Ledger.Allegra.Scripts qualified as L
 import Cardano.Ledger.Alonzo.Plutus.Context qualified as Plutus
 import Cardano.Ledger.Alonzo.Scripts qualified as L
 import Cardano.Ledger.Alonzo.Tx qualified as L
@@ -103,6 +104,7 @@ type AlonzoEraOnwardsConstraints era =
   , L.EraUTxO (ShelleyLedgerEra era)
   , L.HashAnnotated (L.TxBody (ShelleyLedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
   , L.MaryEraTxBody (ShelleyLedgerEra era)
+  , L.NativeScript (ShelleyLedgerEra era) ~ L.Timelock (ShelleyLedgerEra era)
   , Plutus.EraPlutusContext (ShelleyLedgerEra era)
   , L.Script (ShelleyLedgerEra era) ~ L.AlonzoScript (ShelleyLedgerEra era)
   , L.ScriptsNeeded (ShelleyLedgerEra era) ~ L.AlonzoScriptsNeeded (ShelleyLedgerEra era)

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

@@ -32,6 +32,7 @@ module Cardano.Api.Internal.Experimental.Eras
   )
 where
 
+import Cardano.Api.Internal.Eon.AlonzoEraOnwards
 import Cardano.Api.Internal.Eon.BabbageEraOnwards
 import Cardano.Api.Internal.Eon.Convert
 import Cardano.Api.Internal.Eon.ShelleyBasedEra (ShelleyBasedEra (..), ShelleyLedgerEra)
@@ -206,6 +207,11 @@ instance Convert Era ShelleyBasedEra where
     BabbageEra -> ShelleyBasedEraBabbage
     ConwayEra -> ShelleyBasedEraConway
 
+instance Convert Era AlonzoEraOnwards where
+  convert = \case
+    BabbageEra -> AlonzoEraOnwardsBabbage
+    ConwayEra -> AlonzoEraOnwardsConway
+
 instance Convert Era BabbageEraOnwards where
   convert = \case
     BabbageEra -> BabbageEraOnwardsBabbage

cardano-api/src/Cardano/Api/Internal/Experimental/Plutus/Script.hs

@@ -0,0 +1,48 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE StandaloneDeriving #-}
+
+module Cardano.Api.Internal.Experimental.Plutus.Script
+  ( PlutusScriptInEra (..)
+  , PlutusScriptOrReferenceInput (..)
+  )
+where
+
+import Cardano.Api.Internal.TxIn (TxIn)
+
+import Cardano.Ledger.Plutus.Language (PlutusRunnable)
+import Cardano.Ledger.Plutus.Language qualified as L
+
+-- | A Plutus script in a particular era.
+-- Why PlutusRunnable? Mainly for deserialization benefits.
+-- The deserialization of this type looks at the
+-- major protocol version and the script language to determine if
+-- indeed the script is runnable. This is a dramatic improvement over the old api
+-- which essentially read a 'ByteString'. Any failures due to malformed/invalid scripts
+-- were caught upon transaction submission or running the script when attempting to
+-- predict the necessary execution units.
+--
+-- Where do we get the major protocol version from?
+-- In order to access the major protocol version we pass in an 'era` type parameter which
+-- can be translated to the major protocol version.
+--
+-- Where do we get the script language from?
+-- The serialized version of 'PlutusRunnable' encodes the script language.
+-- See `DecCBOR (PlutusRunnable l)` in cardano-ledger for more details.
+data PlutusScriptInEra (lang :: L.Language) era where
+  PlutusScriptInEra
+    :: PlutusRunnable lang -> PlutusScriptInEra lang era
+
+deriving instance Show (PlutusScriptInEra lang era)
+
+--   :: IsEra era => PlutusRunnable lang -> PlutusScriptInEra lang era
+
+-- | You can provide the plutus script directly in the transaction
+-- or a reference input that points to the script in the UTxO.
+-- Using a reference script saves space in your transaction.
+data PlutusScriptOrReferenceInput lang era
+  = PScript (PlutusScriptInEra lang era)
+  | PReferenceScript TxIn
+  deriving Show