HACK: Quickly change the dummy validator to actually be a rewarding script

This proves that the withdraw zero implementation works, but a dedicated
script and test suite is needed before merging this.

Author: ch1bo

hydra-plutus/src/Hydra/Contract/Dummy.hs

@@ -8,18 +8,21 @@ module Hydra.Contract.Dummy where
 import Hydra.Prelude
 
 import Hydra.Cardano.Api (PlutusScript, pattern PlutusScriptSerialised)
-import Hydra.Plutus.Extras (ValidatorType, wrapValidator)
-import PlutusLedgerApi.V3 (BuiltinData, ScriptContext, serialiseCompiledCode)
+import Hydra.Plutus.Extras (ValidatorType)
+import PlutusLedgerApi.V3 (ScriptContext (..), ScriptInfo (..), serialiseCompiledCode, unsafeFromBuiltinData)
 import PlutusTx (CompiledCode, compile)
-
-dummyValidator :: BuiltinData -> BuiltinData -> ScriptContext -> Bool
-dummyValidator _ _ _ = True
+import PlutusTx.Prelude (check)
 
 compiledDummyValidator :: CompiledCode ValidatorType
 compiledDummyValidator =
-  $$(PlutusTx.compile [||wrap dummyValidator||])
- where
-  wrap = wrapValidator @BuiltinData @BuiltinData
+  $$( PlutusTx.compile
+        [||
+        \ctx ->
+          check $ case unsafeFromBuiltinData ctx of
+            ScriptContext{scriptContextScriptInfo = RewardingScript{}} -> True
+            _ -> False
+        ||]
+    )
 
 dummyValidatorScript :: PlutusScript
 dummyValidatorScript = PlutusScriptSerialised $ serialiseCompiledCode compiledDummyValidator