Add ContestUnusedDec redeemer

cardano-scaling · Oct 30, 2024 · f4c9aae · f4c9aae
1 parent 530ee4d
commit f4c9aae
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 1 deletion.
diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs
@@ -542,6 +542,12 @@ checkContest ctx closedDatum redeemer =
               parties
               (headId, version - 1, snapshotNumber', utxoHash', emptyHash, alreadyDecommittedUTxOHash)
               signature
+      ContestUnusedDec{signature} ->
+        traceIfFalse $(errorCode FailedContestUnusedDec) $
+          verifySnapshotSignature
+            parties
+            (headId, version - 1, snapshotNumber', utxoHash', emptyHash, deltaUTxOHash')
+            signature
 
   mustBeWithinContestationPeriod =
     case ivTo (txInfoValidRange txInfo) of

diff --git a/hydra-plutus/src/Hydra/Contract/HeadState.hs b/hydra-plutus/src/Hydra/Contract/HeadState.hs
@@ -126,6 +126,11 @@ data ContestRedeemer
       , alreadyDecommittedUTxOHash :: Hash
       -- ^ UTxO which was already decommitted ηω
       }
+  | -- | Redeemer to use when the decommit was not yet observed but we closed the Head.
+    ContestUnusedDec
+      { signature :: [Signature]
+      -- ^ Multi-signature of a snapshot ξ
+      }
   deriving stock (Show, Generic)
 
 PlutusTx.unstableMakeIsData ''ContestRedeemer

diff --git a/hydra-tx/test/Hydra/Tx/Contract/Contest/ContestDec.hs b/hydra-tx/test/Hydra/Tx/Contract/Contest/ContestDec.hs
@@ -10,8 +10,9 @@ import Data.Maybe (fromJust)
 import Hydra.Contract.Error (toErrorCode)
 import Hydra.Contract.HeadError (HeadError (..))
 import Hydra.Contract.HeadState qualified as Head
-import Hydra.Tx.Crypto (toPlutusSignatures)
+import Hydra.Tx.Crypto (MultiSignature, toPlutusSignatures)
 
+import Hydra.Tx (Snapshot)
 import Hydra.Tx.Contract.Contest.Healthy (
   healthyCloseSnapshotVersion,
   healthyContestSnapshotNumber,
@@ -29,8 +30,11 @@ import Test.QuickCheck.Instances ()
 
 data ContestDecMutation
   = ContestUsedDecAlterRedeemerDecommitHash
+  | ContestUnusedDecAlterRedeemerDecommitHash
   | ContestUsedDecAlterDatumDeltaUTxOHash
+  | ContestUnusedDecAlterDatumDeltaUTxOHash
   | ContestUsedDecMutateSnapshotVersion
+  | ContestUnusedDecMutateSnapshotVersion
   deriving stock (Generic, Show, Enum, Bounded)
 
 genContestDecMutation :: (Tx, UTxO) -> Gen SomeMutation
@@ -44,6 +48,13 @@ genContestDecMutation (tx, _utxo) =
                 { signature = toPlutusSignatures (healthySignature healthyContestSnapshotNumber)
                 , alreadyDecommittedUTxOHash = mempty
                 }
+    , SomeMutation (pure $ toErrorCode SignatureVerificationFailed) ContestUnusedDecAlterRedeemerDecommitHash . ChangeHeadRedeemer <$> do
+        mutatedSignature <- arbitrary :: Gen (MultiSignature (Snapshot Tx))
+        pure $
+          Head.Contest
+            Head.ContestUnusedDec
+              { signature = toPlutusSignatures mutatedSignature
+              }
     , SomeMutation (pure $ toErrorCode FailedContestUsedDec) ContestUsedDecAlterRedeemerDecommitHash <$> do
         mutatedHash <- arbitrary `suchThat` (/= mempty)
         pure $
@@ -56,9 +67,15 @@ genContestDecMutation (tx, _utxo) =
     , SomeMutation (pure $ toErrorCode SignatureVerificationFailed) ContestUsedDecAlterDatumDeltaUTxOHash . ChangeOutput 0 <$> do
         mutatedHash <- arbitrary `suchThat` (/= mempty)
         pure $ headTxOut & modifyInlineDatum (replaceDeltaUTxOHash mutatedHash)
+    , SomeMutation (pure $ toErrorCode SignatureVerificationFailed) ContestUnusedDecAlterDatumDeltaUTxOHash . ChangeOutput 0 <$> do
+        mutatedHash <- arbitrary `suchThat` (/= mempty)
+        pure $ headTxOut & modifyInlineDatum (replaceDeltaUTxOHash mutatedHash)
     , SomeMutation (pure $ toErrorCode MustNotChangeVersion) ContestUsedDecMutateSnapshotVersion <$> do
         mutatedSnapshotVersion <- arbitrarySizedNatural `suchThat` (/= healthyCloseSnapshotVersion)
         pure $ ChangeOutput 0 $ modifyInlineDatum (replaceSnapshotVersion $ toInteger mutatedSnapshotVersion) headTxOut
+    , SomeMutation (pure $ toErrorCode MustNotChangeVersion) ContestUnusedDecMutateSnapshotVersion <$> do
+        mutatedSnapshotVersion <- arbitrarySizedNatural `suchThat` (/= healthyCloseSnapshotVersion)
+        pure $ ChangeOutput 0 $ modifyInlineDatum (replaceSnapshotVersion $ toInteger mutatedSnapshotVersion) headTxOut
     ]
  where
   headTxOut = fromJust $ txOuts' tx !!? 0