Lookup head datum hash instead of hashing it on-chain

We actually can't hash it. Requires serialization + format translations.
input-output-hk · Jan 18, 2022 · dd72b36 · dd72b36
1 parent 360f6dc
commit dd72b36
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/hydra-plutus/src/Hydra/Contract/Head.hs b/hydra-plutus/src/Hydra/Contract/Head.hs
@@ -118,11 +118,12 @@ headValidator _ commitAddress oldState input context =
                     traceIfFalse "committed value is not preserved in head" $
                       headOutputValue == collectedValue <> headInputValue
 
-                  headOutputDatumHash = txOutDatumHash headOutput
-
                   checkOutputDatum =
                     traceIfFalse "unexpected output datum in collectCom" $
-                      headOutputDatumHash == Just (datumHash $ Datum $ toBuiltinData expectedDatum)
+                      fromMaybe False $ do
+                        headOutputDatumHash <- txOutDatumHash headOutput
+                        actualDatum <- findDatum headOutputDatumHash txInfo
+                        pure (actualDatum == Datum (toBuiltinData expectedDatum))
                in checkOutputValue && checkOutputDatum
             [] -> traceIfFalse "No continuing head output" False
             _ -> traceIfFalse "More than one continuing head output" False