From f059f12d4c0aa4e00a9a2e9cc01203406ae65d31 Mon Sep 17 00:00:00 2001 From: Sebastian Nagel Date: Thu, 1 Dec 2022 11:20:00 +0100 Subject: [PATCH] Add some identified gaps in the abort validator --- hydra-plutus/src/Hydra/Contract/Head.hs | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs index df0a1d13dc6..add19a3dff5 100644 --- a/hydra-plutus/src/Hydra/Contract/Head.hs +++ b/hydra-plutus/src/Hydra/Contract/Head.hs @@ -57,8 +57,8 @@ hydraHeadV1 = "HydraHeadV1" {-# INLINEABLE headValidator #-} headValidator :: - State -> - Input -> + DatumType -> + RedeemerType -> ScriptContext -> Bool headValidator oldState input context = @@ -135,10 +135,13 @@ mkHeadContext context = -- -- * All PTs have been burnt: The right number of Head tokens, both PT for -- parties and thread token, with the correct head id, are burnt, +-- FIXME: This is not part of the spec! Not needed or enforce garbage collection? -- --- * All committed funds have been redistributed. This is done via v_commit --- and it only needs to ensure that we have spent all comitted outputs, --- which follows from burning all the PTs. +-- * FIXME: All committed funds have been redistributed. This is done via +-- v_commit and it only needs to ensure that we have spent all comitted +-- outputs, which follows from burning all the PTs. +-- +-- * The transaction is performed (i.e. signed) by one of the participants. checkAbort :: ScriptContext -> HeadContext ->