One Cardano transaction can spend several script outputs at once. If each validator only checks that it got paid, a single payment can satisfy all of them. That's multiple satisfaction, and our audit write-up walks through one.
www.mlabs.city/blog/from-bu... #Cardano
mlabs.city
From Bugs to Breakthroughs: Auditing Cardano Smart Contracts
Why Cardano smart contracts need independent auditing, the risks that subtle on-chain interactions create, and how a rigorous audit finds them first.
