Import schnorkell plutus

cardano-scaling · Nov 20, 2024 · 0e843b1 · 0e843b1
1 parent 25f9f72
commit 0e843b1
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 2 deletions.
diff --git a/cabal.project b/cabal.project
@@ -45,3 +45,24 @@ program-options
 constraints:
   quickcheck-instances==0.3.31,
   data-default==0.7.1.3
+
+source-repository-package
+  type: git
+  location: https://github.com/locallycompact/cardano-base
+  tag: 1a800a0c1392935256aebabf6c1fdefe5e8b34ae
+  --sha256: sha256-LXYzVyWHWBS361NR4pL/Jbilnv48z6ZozltaL2/ym2s=
+  subdir:
+    cardano-crypto-class
+
+source-repository-package
+  type: git
+  location: https://github.com/locallycompact/plutus
+  tag: 61835ade3aa31bf0dc5b1c9f614b9f1c903698e8
+  --sha256: sha256-oiFR4fLBF22SDPBuyWRulclXZAAb1j8lx6UCWn3rBS0=
+  subdir:
+    plutus-core
+    plutus-ledger-api
+    plutus-tx-plugin
+    plutus-tx
+
+allow-newer: cardano-crypto-class
diff --git a/hydra-cluster/src/Hydra/Cluster/Scenarios.hs b/hydra-cluster/src/Hydra/Cluster/Scenarios.hs
@@ -34,6 +34,7 @@ import Hydra.API.HTTPServer (
   TransactionSubmitted (..),
  )
 import Hydra.Cardano.Api (
+  txSpendingUTxO,
   Coin (..),
   File (File),
   Key (SigningKey),
@@ -442,6 +443,10 @@ singlePartyCommitsScriptBlueprint tracer workDir node hydraScriptsTxId =
 
       waitFor hydraTracer 10 [n1] $
         output "GetUTxOResponse" ["headId" .= headId, "utxo" .= (scriptUTxO <> scriptUTxO')]
+
+      let tx' = txSpendingUTxO scriptUTxO
+
+      send n1 $ input "NewTx" ["transaction" .= tx']
  where
   prepareScriptPayload = do
     let script = dummyValidatorScript

diff --git a/hydra-plutus/src/Hydra/Contract/Dummy.hs b/hydra-plutus/src/Hydra/Contract/Dummy.hs
@@ -7,13 +7,15 @@ module Hydra.Contract.Dummy where
 
 import Hydra.Cardano.Api (PlutusScriptVersion (PlutusScriptV3))
 import Hydra.Plutus.Extras (ValidatorType, scriptValidatorHash, wrapValidator)
-import Hydra.Prelude
+import Hydra.Prelude hiding ((==))
 
 import PlutusLedgerApi.V3 (BuiltinData, ScriptContext, ScriptHash, SerialisedScript, serialiseCompiledCode, toOpaque)
 import PlutusTx (CompiledCode, compile)
+import PlutusTx.Prelude (Eq(..))
+import PlutusTx.Builtins (schnorrkel)
 
 dummyValidator :: BuiltinData -> BuiltinData -> ScriptContext -> Bool
-dummyValidator _ _ _ = True
+dummyValidator _ _ _ = "" == schnorrkel ""
 
 compiledDummyValidator :: CompiledCode ValidatorType
 compiledDummyValidator =