Auditaré tu contrato inteligente de solidity con un proof of concept funcional

Parte de la información se ha traducido automáticamente.

Japón

Hablo Japonés, Inglés

Auditor de Smart Contracts

Soy ingeniero de seguridad en contratos inteligentes enfocado en auditorías de proof-of-exploit. No solo señalo riesgos — los reproduzco como exploits funcionales en un fork de mainnet y muestro exact...
Acerca de este Servicio

La mayoría de las auditorías baratas te entregan una impresión de herramientas. Yo te entrego una prueba.


Audito tu contrato Solidity con análisis estático (Slither/Z3) además de una revisión manual línea por línea. Luego, para el hallazgo más severo, escribo un exploit de Foundry que reproduce el error en un fork de mainnet y muestra exactamente qué podría drenar un atacante. Si un error no puede ser explotado, te digo dónde se detiene sin alarmar innecesariamente.


Lo que obtienes:

- Informe de hallazgos clasificados por severidad (PDF + Markdown)

- Un exploit Proof-of-Concept funcional (Estándar y Premium)

- Remedios que puedes aplicar

- Reejecución posterior a la corrección que demuestra que el error está solucionado (Premium)


Cobertura: reentrancy, control de acceso, manipulación de oráculos, redondeo en ERC-4626/vault, lógica de flash-loan y detalles de L2.


Cero falsos positivos. Solo reporto un hallazgo cuando una prueba real lo demuestra.


¿Quieres prueba primero? Envíame un mensaje para un ejemplo público: un informe completo más un exploit verificado en fork que drena un pool real.


Envíame tu contrato (repositorio, archivos o una dirección verificada) para una evaluación rápida y presupuesto.

Experiencia:

Seguridad de staking

Seguridad entre cadenas

Herramientas:

Slither

Mantenga sus activos e información seguros

Los servicios de criptomonedas se centran de manera exclusiva en el desarrollo y la programación. No se debe compartir información confidencial ni claves privadas con otras personas.