En EVM, calldata codifica función y parámetros. Una UI puede decir swap mientras el payload llama a otro contrato o concede otra autoridad; hay que reconstruir la acción desde el payload.
Este concepto importa porque Decodifica selector y parámetros antes de confiar en la etiqueta visual.
Inspecciona los campos exactos del protocolo que crean autoridad o modifican la ejecución. Compara esos campos con la intención declarada por el usuario y con el límite de seguridad esperado.
02
Qué ocurre realmente
Inspecciona los campos exactos del protocolo que crean autoridad o modifican la ejecución.
A nivel de protocolo y ejecución, debes inspeccionar selector y arguments y target y native value y nested execution. Los identificadores del protocolo no se traducen porque forman parte del payload técnico.
selector
Puntos técnicos de inspección
arguments
Puntos técnicos de inspección
target
Puntos técnicos de inspección
native value
Puntos técnicos de inspección
nested execution
Puntos técnicos de inspección
03
Superficie de fallo
Trata las contradicciones, la autoridad excesiva y las dependencias sin explicar como señales materiales de fallo.
La consecuencia práctica es que Compara siempre acción decodificada con intención declarada. Desconocido no equivale a seguro.
Decodifica selector y parámetros antes de confiar en la etiqueta visual.
Compara siempre acción decodificada con intención declarada.
04
Criterio de decisión
Convierte cada señal material en la consecuencia concreta que puede producir sobre activos, autoridad o confianza.
La consecuencia práctica es que Compara siempre acción decodificada con intención declarada.
Escala cuando la evidencia sea contradictoria, incompleta o la consecuencia supere la política rutinaria.
05
Procedimiento de verificación
Verifica la solicitud mediante evidencia independiente antes de cualquier autorización irreversible.
01
Inspecciona los campos exactos del protocolo que crean autoridad o modifican la ejecución.
02
Compara esos campos con la intención declarada por el usuario y con el límite de seguridad esperado.
03
Verifica la solicitud mediante evidencia independiente antes de cualquier autorización irreversible.
04
Registra hechos, supuestos, incógnitas y decisión para que otro analista pueda reproducir la revisión.
05
Escala cuando la evidencia sea contradictoria, incompleta o la consecuencia supere la política rutinaria.
06
Entregable del analista
Registra hechos, supuestos, incógnitas y decisión para que otro analista pueda reproducir la revisión.
Decodifica selector y parámetros antes de confiar en la etiqueta visual. y Compara siempre acción decodificada con intención declarada.
Entregable del analistaEl botón no es la transacción · Criterio de decisión
LESSON VISUALEl botón no es la transaccióncalldata intent
calldata / intent
CONTEXTO REAL · ENTORNO DE REVISIÓN DE FIRMASEl botón no es la transacciónCONCEPTO → ENTORNO REAL → DECISIÓN OPERATIVA
VISUAL MODEL / REQUEST FLOWcalldata-intent
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
Workbook técnico
Objetivo del analista
Decodifica selector y parámetros antes de confiar en la etiqueta visual.