Casos reais

O motor em produção.

Demonstrações em contratos reais na mainnet Ethereum. Cada caso mostra a nota, os achados principais e a classe de vulnerabilidade. Endereços são públicos e verificáveis on-chain.

CryptoDuel

0x869eb8a1a479a80f9907673eae8336625dc3e526

82/100 21 achados · 4.1 ETH

Jogo de duelos on-chain com vulnerabilidade de "Risco Zero": o perdedor espera 256 blocos, o blockhash expira e o refund é liberado. RNG via blockhash previsível. Self-dueling permitido.

Achados principais

Risco Zero (lógica de negócio): perdedor recupera aposta após expiração do blockhash
RNG previsível derivado de blockhash
Self-dueling: mesmo endereço dos dois lados

Classes

BUSINESS_LOGICWEAK_PRNG

Prova

PoC executável validado em Anvil (fork local mainnet)

Dice2Win

0xD1CEeeefA68a6aF0A5f6046132D986066c7f9426

100/100 17 achados

Jogo de dados commit-reveal com RNG híbrido (reveal + blockhash). Nove achados de lógica de negócio, incluindo censura seletiva pelo croupier e rugpull via kill().

Achados principais

Censura seletiva de apostas pelo croupier
Rugpull via kill(): operador drena o contrato
Underflow em jackpotSize no refundBet
Bypass de assinatura: ECDSA v=27 fixo + secretSigner = address(0)

Classes

BUSINESS_LOGICSIGNATUREARITHMETIC

Prova

Análise L3 completa, 4 validadores independentes

WorldFomo

0xe1f338e069f202f2113d32c8a5d1046d83c92ca4

100/100 64 achados

Clone FOMO3D (2018) com reentrância de alto risco, esquema de auto-referral e airdrop falso. Demonstra a profundidade do pipeline em contratos complexos.

Achados principais

Reentrância HIGH confirmada por dois validadores
Self-referral abusável (lógica de negócio)
Airdrop falso

Classes

REENTRANCYBUSINESS_LOGIC

Prova

L3 completo, 4 validadores

RatScam

0x5e7abd3ce3b4aa69d9a8b75810e0388a0d9c65fa

100/100 64 achados

Contrato FOMO3D-like (2018) conhecido como scam. Três reentrâncias de ETH confirmadas em funções de saque, mais bugs aritméticos e manipulação de tempo.

Achados principais

3 reentrâncias HIGH (withdraw, buyCore, core)
Divide-before-multiply + incorrect-equality
Manipulação de tempo em 13 funções

Classes

REENTRANCYARITHMETICTIME

Prova

Estática L0+L1

Estes contratos são amostras de demonstração do motor, não clientes. Selecionados de um universo de 43 contratos analisados na calibração pública.

Quer um relatório assim do seu contrato?

Solicitar auditoria