[Dijkstra] CIP-159-08 phantom asset attack prevention (#1120)#1162

williamdemeo wants to merge 2 commits into1117-cip-159-05-update-utxo-for-dir-deps-bal-intervalsIntersectMBO/formal-ledger-specifications:1117-cip-159-05-update-utxo-for-dir-deps-bal-intervalsfrom

1120-cip-159-08-phantom-asset-attack-preventionIntersectMBO/formal-ledger-specifications:1120-cip-159-08-phantom-asset-attack-preventionCopy head branch name to clipboard