Il viaggio da "il mio smart contract è a prova di proiettile" a "l'unica speranza è tenere insieme questo codice" capita a ogni sviluppatore web3. Il codice si compila, i test passano, tutto funziona. E poi ti viene in mente. E se qualcuno chiamasse withdraw() due volte nella stessa transazione?