Pentest Smart Contracts: Solidity, Foundry, Slither
Auditoria de smart contract Solidity/Vyper — reentrância, integer over/underflow, oracle manipulation, access control, MEV, flash loan attack.
Por qué ahora
El dolor real
Protocolo DeFi vaza milhões/hora quando smart contract tem bug. Pre-mainnet audit é higiene mínima. Pós-deployment, monitoring de exploit e governance attack é contínuo.
Marcos aplicables
/superficie-de-ataque
Pentest Smart Contracts
Cada compromiso se diseña para su entorno. Los puntos a continuación son parte de nuestro playbook estándar para este sector — el alcance final se adapta a su stack y contrato.
Reentrância (SWC-107)
Cross-function, cross-contract, read-only reentrancy via view function.
Integer over/underflow (SWC-101)
Solidity <0.8 sem SafeMath, custom math sem checked-arithmetic.
Access control (SWC-105/106)
Função pública sem modifier, owner mal definido, multisig fragility.
Oracle manipulation
Spot price manipulation, flash loan + oracle, TWAP gaming.
MEV e front-running
Sandwich attack, generalized front-running, time bandit.
Governance attack
Token holder vote manipulation, proposal injection, timelock bypass.
/metodologia
Pentest manual de verdad
Los escáneres automatizados encuentran lo documentado. Los atacantes reales encuentran lo que no lo está. El 90% del trabajo es manual — realizado por especialistas con OSCP, CISSP, CRTO y GPEN.
01 · Reconocimiento
Mapeo del objetivo, OSINT, footprint, modelado de amenazas específico del sector.
02 · Descubrimiento
Enumeración profunda, escaneo complementario, identificación manual de exposición.
03 · Explotación
Validación manual con PoC controlada, encadenamiento de hallazgos, escalación.
04 · Informe
Ejecutivo + técnico, reproducción paso a paso, mapeado a la regulación aplicable.
/por-que-confiar
Quiénes han confiado en nuestro trabajo
Auditoria pré-mainnet para protocolos DeFi e NFT em redes Ethereum, Polygon e L2s.
Evaluación técnica reconocida en entornos regulados de alta criticidad — el pentest que encuentra lo que nadie había encontrado antes.
Douglas Lopes
Founder · CEO · intrus.io
/faq
FAQ — Pentest Smart Contracts
Vocês usam Slither + Mythril + Foundry?
Sim como insumo — depois auditoria manual linha-a-linha por dois auditores Solidity sêniors com cross-review.
Faixa de preço?
Smart contract simples (até 500 LoC): R$ 15-40k. Protocolo DeFi (5k+ LoC): R$ 50-180k. Auditoria contínua de upgrade: R$ 8-25k/mês.
/contacto
Auditar smart contract
Programe una reunión confidencial. En hasta 48h enviamos la propuesta con alcance, plazo y precio.