Programación segura

Programación segura

Presentado por Rudy Godoy

Contexto

Programas

1. Escritos en lenguajes Solidity, LLL, Rust, o Serpent (Alto nivel)
2. Compilados a lenguaje EVM (bajo nivel)
3. Se publican a través de una transacción
4. Permanencen inmutables
5. Disponibles a través de dirección (simil a billetera)
6. Código implementado accesible y visible
7. EVM Turing completo (gas / problema de parada)

Riesgo

Historias de guerra

DAO

17 de junio 2016. Incidente más importante en Ethereum.

Aprovecha vulnerabilidad de llamada recursiva. Utiliza funcionalidad de votación propia de la DAO para forzar creación de DAOs hijos (splitDAO()) que, además, obtengan beneficios y fondos del padre y que repitan el proceso.

Resultado: Bifurcación de block chain: ETC y ETH.

Parity: billetera de firmas múltiples I

19 de julio 2017. Código auditado por la Fundación Ethereum.

1. Código vulnerable identificado en initWallet(). Identifica programas en la red que lo usan.
2. Ejecuta ataque en dos transacciones:
1. tx 1: initWallet() para hacerse de la propiedad del programa/contrato
2. tx 2: transfiere fondos hacia otra cuenta

Parity: billetera de firmas múltiples I

        function initWallet (address[] _owners, uint _required,
        uint _daylimit)  {
          initMultiOwned(_owners, _required);
          initDayLimit(_daylimit);
        }
      

Fondos robados: 150,000 ETH, cerca de USD 30MM. Recuperado buena parte usando mismo ataque.

Parity: billetera de firmas múltiples I

        function() payable {
         // just being sent some cash?
          if (msg.value > 0)
            Deposit(msg.sender, msg.value);
          else if (msg.data.length > 0)
            _walletLibrary.delegatecall(msg.data);
        }
    

Parity: billetera de firmas múltiples II

Parity: billetera de firmas múltiples II

7 de noviembre 2017. Código de biblioteca Parity convertido a billetera de firmas múltiples.

1. Código vulnerable en versión publicada el 20 de julio 2017
2. Cualquier persona puede apropiarse y destruir programa.
3. Ataque similar a anterior:
1. tx 1: Invoca a initWallet() para hacerse de la propiedad de biblioteca
2. tx 2: Invoca selfdestruct() para destruirla

Parity: billetera de firmas múltiples II

        function initWallet(address[] _owners, uint _required,
        uint _daylimit) only_uninitialized {
          initDaylimit(_daylimit);
          initMultiowned(_owners, _required);
        }
      

Resultado: Cerca a 513 mil ETH inamovibles en billeteras dependientes de biblioteca (Ejm. Polkadot).

extraData : Consensys HumanStandardToken

31 de marzo 2017.

Invocación de llamada bajo nivel con un arreglo de bytes como parámetro no intepreta correctamente de acuerdo a definición del ABI, solo lo añade al resto de la cadena.

Informe del problema: https://github.com/ConsenSys/Tokens/pull/45 Todavía no resuelto.

Ganador de USCC: Kings of Rountable

• Explota el hecho de que el tamaño de los parámetros del ABI se pueden definir arbitrariamente.
• Contrato aparentemente valida correctamente los casos.
• Ataque aparentemente efectúa peticiones válidas, salvo que envía utiliza parámetro data en tx para enviar llamadas codificadas en hexadecimal a método vulnerable.

Web: https://github.com/Arachnid/uscc/blob/master/submissions-2017/martinswende/

OpenZeppelin

OpenZeppelin

Biblioteca de contratos reutilizables y seguros en Solidity.

npm install zeppelin-solidity,

yarn add zeppelin-solidity o

git submodule add https://github.com/OpenZeppelin/zeppelin-solidity

Web: openzeppelin.org

OpenZeppelin

Contratos base o plantillas y ejemplos de implementación con conjunto de pruebas automatizadas

1. crowdsale: Crodwsale (ICO)
2. lifecycle: Destrutible, Pausable
3. ownership: CanReclaim, Claimable, Contactable, DelayedClaimable, Ownable
4. payment: PullPayment
5. token: Basic, Burnable, Mintable, Pausable, Standard, Timelock, Vesting

OpenZeppelin: Tokens

        pragma solidity ^0.4.11;
        import 'zeppelin-solidity/contracts/token/ERC20Basic.sol';
        import 'zeppelin-solidity/contracts/math/SafeMath.sol';
        contract WhitelistToken is ERC20Basic {
          using SafeMath for uint256;
          mapping(address => uint256) balances;
          mapping(address => bool) whitelist;
      

📜 ERC20Basic.sol

OpenZeppelin: BurnableToken

        pragma solidity ^0.4.13;
        import 'zeppelin-solidity/contracts/token/BurnableToken.sol';
        contract LimToken is BurnableToken {
        function LimToken(address initialAccount, uint initialBalance) {
          balances[initialAccount] = initialBalance;
          totalSupply = initialBalance;
          }
      

📜 BurnableToken.sol

OpenZeppelin: Hagamos una ICO

        import 'zeppelin-solidity/contracts/crowdsale/CappedCrowdsale.sol';
        contract LimaICO is CappedCrowdsale {
          function LimaICO ( uint256 _startTime, uint256 _endTime, uint256 _rate,
  address _wallet, uint256 _cap )
      Crowdsale(_startTime, _endTime, _rate, _wallet)
      CappedCrowdsale(_cap) { }
    }
      

📜 CappedCrowdsale.sol

OpenZeppelin: ¿Porqué usarlo?

• Emplea mejores prácticas y estándares de una industria en maduración
• Enfoque modular: De lo simple a lo complejo
• Comunidad de colaboradores con proyectos ya funcionando (tesnet o mainnet)
• Auditado externamente: marzo 2017
• Software de código abierto con licencia MIT
• Proyectos que lo usan: Aragon, Civic, Augur, Tierion

Documentación: http://zeppelin-solidity.readthedocs.io/en/latest/

github.com/rudygodoy