El viaje de "mi contrato inteligente es a prueba de balas" a "la única esperanza es mantener este código unido" le sucede a cada desarrollador de web3. El código se compila, las pruebas pasan, todo funciona. Y entonces te viene a la mente. ¿Qué pasaría si alguien llamara a withdraw() dos veces en esta misma transacción?