reminder: every action of the withdraw validator must check both mint…

… and inputs
cardano-miners · Sep 18, 2023 · 1078d00 · 1078d00
1 parent 364c677
commit 1078d00
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/validators/hard_fork.ak b/validators/hard_fork.ak
@@ -539,6 +539,12 @@ validator(init_utxo_ref: OutputReference, fortuna_v1_hash: ByteArray) {
                 }
 
                 [script_input1, script_input2] -> {
+                  expect [] =
+                    mint
+                      |> value.from_minted_value
+                      |> value.tokens(own_policy)
+                      |> dict.to_list
+
                   expect InlineDatum(datum) = script_input1.datum
 
                   expect script1_datum: ForkDatum = datum