Add batch-level coin mint constraint to prevent Ada forgery#1023

williamdemeo merged 6 commits into1007-dijkstra-utxos-batch-level-validityIntersectMBO/formal-ledger-specifications:1007-dijkstra-utxos-batch-level-validityfrom

copilot/sub-pr-1021IntersectMBO/formal-ledger-specifications:copilot/sub-pr-1021Copy head branch name to clipboard