Thinking Like an Attacker: The Airbags and Seatbelts of Smart Contract Security

In our last post, we built a mathematical proving ground using Foundry. We used stateful fuzzing to prove that the rules of our MilestoneCrowdfundUpgradeable protocol work exactly as intended. But testing only proves that the contract behaves correctly when people follow the rules. What happens when