A EVM, calldata codifica funció i paràmetres. Una UI pot dir 'swap' mentre el payload crida una altra cosa; decodifica'l i compara'l amb la intenció.
Aquest concepte importa perquè Risc clau: no tractis el botó no és la transacció com un detall irrellevant.
Inspecciona els camps exactes del protocol que creen autoritat o modifiquen l'execució. Compara aquests camps amb la intenció declarada i amb el límit de seguretat esperat.
Inspecciona els camps exactes del protocol que creen autoritat o modifiquen l'execució.
A nivell de protocol i execució, cal inspeccionar selector i arguments i target i native value i nested execution. Els identificadors de protocol no es tradueixen perquè formen part del payload tècnic.
selectorPunts tècnics d'inspecció
argumentsPunts tècnics d'inspecció
targetPunts tècnics d'inspecció
native valuePunts tècnics d'inspecció
nested executionPunts tècnics d'inspecció
Tracta les contradiccions, l'autoritat excessiva i les dependències no explicades com a senyals materials de fallada.
La conseqüència pràctica és que Acció: verifica l'evidència tècnica de el botó no és la transacció abans d'autoritzar. Desconegut no equival a segur.
Converteix cada senyal material en la conseqüència concreta sobre actius, autoritat o confiança.
La conseqüència pràctica és que Acció: verifica l'evidència tècnica de el botó no és la transacció abans d'autoritzar.
Escala quan l'evidència sigui contradictòria, incompleta o la conseqüència superi la política rutinària.
Verifica la sol·licitud amb evidència independent abans d'una autorització irreversible.
Inspecciona els camps exactes del protocol que creen autoritat o modifiquen l'execució.
Compara aquests camps amb la intenció declarada i amb el límit de seguretat esperat.
Verifica la sol·licitud amb evidència independent abans d'una autorització irreversible.
Registra fets, supòsits, incògnites i decisió perquè una altra persona pugui reproduir la revisió.
Escala quan l'evidència sigui contradictòria, incompleta o la conseqüència superi la política rutinària.
Registra fets, supòsits, incògnites i decisió perquè una altra persona pugui reproduir la revisió.
Risc clau: no tractis el botó no és la transacció com un detall irrellevant. i Acció: verifica l'evidència tècnica de el botó no és la transacció abans d'autoritzar.
Risc clau: no tractis el botó no és la transacció com un detall irrellevant.
calldata[0:4]ABI-decoded parameterstransaction.totransaction.valuemulticall / router subcallsUI intent != decoded method
unknown selector
unexpected recipient
hidden native value
nested call changes authority
capture exact payload
resolve selector / ABI
decode every material parameter
trace nested calls when present
compare decoded action with user intent
fets → evidència material
evidència → conseqüència / autoritat
conseqüència → decisió explícita + acció següent
decoded-intent record + mismatch listcalldata / intentSwap 1 ETH0x095ea7b3approve(address,uint256)0xNew...MAX_UINT2560Abans de respondre, identifica l'autoritat concedida, el límit de confiança que pot fallar i la conseqüència irreversible.
Separa identitat, autoritat, execució i context abans de prendre una decisió de seguretat.
Qui o què sol·licita, rep o representa autoritat?
Quina capacitat es pot concedir, mantenir o exercir?
0xNew...Què farà realment el payload, la ruta o el sistema?
0x095ea7b3approve(address,uint256)MAX_UINT2560Quins fets de l'entorn poden canviar materialment la decisió?
Swap 1 ETHNo responguis de memòria. Utilitza el cas, els camps del protocol i el procediment de verificació anterior per escriure una troballa reproduïble.
Risc clau: no tractis el botó no és la transacció com un detall irrellevant.
Acció: verifica l'evidència tècnica de el botó no és la transacció abans d'autoritzar.
Registra el teu raonament abans del checkpoint i acaba amb una decisió o acció següent explícita. Les notes romanen en aquest dispositiu.
Desenvolupa les tres seccions abans de completar-lo.
Aquest mòdul aprofundeix intenció transaccional i calldata amb teoria aplicada i un laboratori propi.