Update the Certifying and Proposing script purposes (#5712)

IntersectMBO · Jan 12, 2024 · ef18f58 · ef18f58
1 parent 607c501
commit ef18f58
Show file tree

Hide file tree

Showing 11 changed files with 873 additions and 1,016 deletions.
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 383342775
-| mem: 1182563})
+({cpu: 366782775
+| mem: 1110563})
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 115203543
-| mem: 358339})
+({cpu: 112627543
+| mem: 347139})
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden
@@ -1 +1 @@
-2807
+2869
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 366878286
-| mem: 1132120})
+({cpu: 350318286
+| mem: 1060120})
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 110138686
-| mem: 343128})
+({cpu: 107562686
+| mem: 331928})
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden
@@ -1 +1 @@
-2747
+2809
diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContextEqualityTerm-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContextEqualityTerm-20.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 304326100
-| mem: 1215568})
+({cpu: 304395100
+| mem: 1215868})
diff --git a/plutus-ledger-api/changelog.d/20240111_155505_unsafeFixIO_purpose.md b/plutus-ledger-api/changelog.d/20240111_155505_unsafeFixIO_purpose.md
@@ -0,0 +1,5 @@
+
+### Changed
+
+- Updated the `Certifying` and `Proposing` script purposes, whose arguments now consist of
+  both an integer index and the actual argument (`TxCert` and `ProposalProcedure`).
diff --git a/plutus-ledger-api/src/PlutusLedgerApi/V3/Contexts.hs b/plutus-ledger-api/src/PlutusLedgerApi/V3/Contexts.hs
@@ -323,9 +323,15 @@ data ScriptPurpose
   = Minting V2.CurrencySymbol
   | Spending V2.TxOutRef
   | Rewarding V2.Credential
-  | Certifying TxCert
+  | Certifying
+      Haskell.Integer
+      -- ^ 0-based index of the given `TxCert` in `txInfoTxCerts`
+      TxCert
   | Voting Voter
-  | Proposing Haskell.Integer
+  | Proposing
+      Haskell.Integer
+      -- ^ 0-based index of the given `ProposalProcedure` in `txInfoProposalProcedures`
+      ProposalProcedure
   deriving stock (Generic, Haskell.Show, Haskell.Eq)
   deriving (Pretty) via (PrettyShow ScriptPurpose)
 
@@ -337,12 +343,12 @@ instance PlutusTx.Eq ScriptPurpose where
     a PlutusTx.== a'
   Rewarding a == Rewarding a' =
     a PlutusTx.== a'
-  Certifying a == Certifying a' =
-    a PlutusTx.== a'
+  Certifying a b == Certifying a' b' =
+    a PlutusTx.== a' PlutusTx.&& b PlutusTx.== b'
   Voting a == Voting a' =
     a PlutusTx.== a'
-  Proposing a == Proposing a' =
-    a PlutusTx.== a'
+  Proposing a b == Proposing a' b' =
+    a PlutusTx.== a' PlutusTx.&& b PlutusTx.== b'
   _ == _ = Haskell.False
 
 -- | TxInfo for PlutusV3