-
Treasury UTxOs can contain more than one token
isSingleAsset v cs tk = all (\(cs',tk',_) -> (cs' == cs && tk' == tk) || (cs' == Ada.adaSymbol && tk' == Ada.adaToken)) $ flattenValue v
-
Multiple check tokens can be locked in the same UTxO(
checkOutput
in CheckToken.hs )add check logic that the tx must consume the Treasury utxo