Merge pull request #8 from zkFold/5-zkpass-m4-0.1.1

zkPass v. 0.1.1 (server)

Author: vlasin

CHANGELOG.md

@@ -0,0 +1,11 @@
+## 0.1.1
+
+* Handles the edge case when more than one reward is posted for the same policyID and TaskID.
+* Updated README.
+
+## 0.1.0
+
+* Initial release backend & client for zkPass-cardano
+* Keeping CHANGELOG's versions for backend & client in sync
+* Backend's repo: https://github.com/zkFold/zkpass-cardano
+* Client's repo:  https://github.com/zkFold/zkpass-client

README.md

@@ -4,6 +4,10 @@
 
 This repository contains the zkPass onchain code, as well as the server side of the zkPass prototype DApp.
 
+## Requirements
+
+Compilation was tested with GHC 9.6.6 and Cabal 3.10.2.1.  Other library requirements are described in [this](https://github.com/input-output-hk/cardano-node-wiki/blob/602fe3a56a13a773cd6c0e00420ee3e5c56f2857/docs/getting-started/install.md) guide.  Additionally, `libpq-dev` or `postgresql` need to be installed as otherwise an error suggesting missing pg_config can occur.
+
 ## zkPass server
 
 To run the zkPass server, execute:

app/ZkPass/Api/Burn.hs

@@ -50,7 +50,7 @@ handleBurn Ctx{..} SetupParams{..} BurnInput{..} = do
       let utxosAtFMList = utxosToList $ filterUTxOs (\u -> utxoOutDatum u == inlineDatum) utxosAtFM
 
       case utxosAtFMList of
-        [utxoAtFM] -> do
+        utxoAtFM : _ -> do
           let (setup, _, _)        = identityCircuitVerificationBytes spX spPS
               zkPassTokenValidator = validatorFromPlutus @PlutusV3 $ zkPassTokenCompiled setup