Update UtxoAccumulator script

Author: vlasin

.vscode/settings.json

@@ -1,10 +1,10 @@
 {
   "haskell.manageHLS": "GHCup",
   "haskell.toolchain": {
-    "hls": "2.9.0.1",
+    "hls": "2.10.0.0",
     "cabal": "3.14.2.0",
-    "ghc": "9.6.6",
+    "ghc": "9.6.7",
     "stack": null
-  }, 
+  },
   "haskell.formattingProvider": "stylish-haskell"
 }

zkfold-cardano-scripts/src/ZkFold/Cardano/UPLC/UtxoAccumulator.hs

@@ -8,6 +8,7 @@
 module ZkFold.Cardano.UPLC.UtxoAccumulator where
 
 import           GHC.Generics                          (Generic)
+import           PlutusLedgerApi.V1.Value              (geq)
 import           PlutusLedgerApi.V3                    (Address, Datum (..), OutputDatum (NoOutputDatum, OutputDatum),
                                                         Redeemer (..), ScriptContext (..), ToData (..), TxInInfo (..),
                                                         TxInfo (..), TxOut (..), Value)
@@ -75,10 +76,12 @@ utxoAccumulator accumulationValue (RemoveUtxo addr l proof dat') ctx =
     v' = v - accumulationValue
 
     outputAcc  = head $ txInfoOutputs $ scriptContextTxInfo ctx
-    outputUser = head $ tail $ txInfoOutputs $ scriptContextTxInfo ctx
+    TxOut outputAddr outputValue NoOutputDatum Nothing =
+      head $ tail $ txInfoOutputs $ scriptContextTxInfo ctx
   in
        outputAcc  == TxOut ownAddr v' (OutputDatum (Datum d')) Nothing
-    && outputUser == TxOut addr accumulationValue NoOutputDatum Nothing
+    && outputAddr == addr
+    && outputValue `geq` accumulationValue
     && verify @PlonkupPlutus setup [] proof
     && nextDatumHash == blake2b_224 (serialiseData $ toBuiltinData dat')