El viaje de "mi contrato inteligente es a prueba de balas" a "la única esperanza es mantener unida esta base de código" le sucede a todos los desarrolladores de web3. El código se compila, las pruebas pasan, todo funciona. Y luego cruza tu mente. ¿Qué pasa si alguien llama a withdraw() dos veces en esta misma transacción?