Peritaje y revisión de smart contracts
Analizo qué hace de verdad un smart contract escrito en Solidity o en Cairo frente a lo que se prometió, para un juicio o antes de desplegarlo.
Miembro de AEPEJU nº 1556. Barcelona y toda España.
Precio: presupuesto a medida. Ver precios
Auditoría y peritaje son encargos distintos
Una auditoría busca fallos antes de desplegar; un peritaje explica, para un juzgado, qué hizo un contrato que ya está desplegado.
La auditoría la contrata el equipo que desarrolla, y su informe es una opinión técnica para mejorar el código. El peritaje lo encarga una parte en un conflicto, se firma bajo juramento de objetividad y se ratifica en sala. Hago las dos cosas, pero no las mezclo: quien me encarga una revisión sabe que no es un dictamen pericial.
Qué busco en el código
Busco lo que permite a alguien mover fondos o cambiar las reglas sin que los usuarios lo sepan.
- Funciones privilegiadas: acuñar tokens, pausar, cambiar comisiones o retirar fondos de emergencia.
- Contratos actualizables (proxies): quién puede cambiar el código y con qué controles.
- Dependencias de oráculos y precios que se pueden manipular.
- Errores clásicos: reentrancy, aritmética, control de acceso y validación de entradas.
- Diferencias entre lo que dice la documentación del proyecto y lo que hace el código desplegado.
Rug pulls y tokens trampa: lo que demuestra el contrato
El contrato suele dejar por escrito la intención: si el creador se reservó la forma de vaciarlo, consta en el código.
En un rug pull analizo qué funciones existían, quién las llamó y cuándo, y cómo salió la liquidez. En un token trampa (honeypot) demuestro que comprar era posible pero vender no, o solo para algunas direcciones. Todo con transacciones que cualquiera puede verificar en un explorador público.
Solidity y Cairo
Reviso contratos escritos en Solidity, el lenguaje de Ethereum y de sus L2, y en Cairo.
Tengo formación específica en seguridad de smart contracts (Cyfrin Updraft) y trabajo a diario con datos de la red Ethereum como ingeniero de datos blockchain en MigaLabs. Si el contrato no tiene el código fuente verificado, analizo el bytecode desplegado: es más laborioso, pero también permite saber qué hace.
Cuándo conviene un peritaje de smart contract
Cuando un contrato está en el centro de un conflicto y alguien tiene que explicar al juez qué hizo el código.
- Inversores que acusan al creador de un token de haber vaciado la liquidez.
- Un protocolo que discute con un proveedor si el fallo estaba en el código entregado.
- Una plataforma que quiere demostrar que su contrato funcionó como estaba documentado.
- Una revisión del peritaje que ha aportado la otra parte.
Qué entrego y sus límites
Entrego un informe con cada hallazgo, su gravedad, la línea de código o la transacción que lo prueba y lo que significa en lenguaje claro.
Una revisión no garantiza que un contrato sea seguro: reduce el riesgo y documenta lo encontrado. Y un peritaje no dice quién es culpable: explica los hechos técnicos para que el juez decida.
Preguntas frecuentes
Dudas habituales sobre este tipo de peritaje.
¿Una auditoría sirve como prueba pericial?
No por sí sola. Puede aportarse como documento, pero si se impugna hace falta un perito que la defienda o un peritaje propio, firmado bajo juramento y ratificado en sala.
¿Se puede analizar un contrato sin el código verificado?
Sí. Se analiza el bytecode desplegado y sus transacciones; lleva más trabajo, pero permite saber qué funciones tiene y qué hace.
¿Qué funciones delatan un posible rug pull?
Las que permiten al creador acuñar tokens sin límite, pausar las ventas, subir las comisiones o retirar la liquidez. Que existan no prueba la estafa, pero su uso queda registrado en la cadena.
¿Qué necesitas para presupuestar una revisión?
La dirección del contrato o el repositorio, la documentación del proyecto y la red en la que está o estará desplegado.
¿Puedes declarar sobre un rug pull en un juicio?
Sí. Explico en sala qué funciones tenía el contrato, quién las usó y cómo salió la liquidez, separando los hechos registrados de las conclusiones.
¿Revisas contratos en Cairo?
Sí. Además de Solidity, reviso contratos escritos en Cairo.
¿Cuánto cuesta?
Depende del tamaño y de la complejidad del código. La primera consulta de 30 minutos es gratuita y el presupuesto llega en 24 h laborables.
Artículos relacionados
Para entender mejor este tipo de caso.
También te puede interesar
Otros peritajes relacionados.
Cuéntame tu caso
Consulta gratuita de 30 minutos y presupuesto gratis en 24 h laborables.