A jornada de "meu contrato inteligente é à prova de balas" para "a única esperança é manter essa base de código unida" acontece com todos os desenvolvedores da web3. O código compila, os testes passam, tudo funciona. E então isso passa pela sua cabeça. E se alguém chamasse withdraw() duas vezes nesta mesma transação?