Su EVM la calldata codifica funzione e parametri. Un UI può mostrare 'swap' mentre il payload chiama altro; decodifica e confronta con l'intento.
Questo concetto è importante perché Rischio chiave: non trattare il pulsante non è la transazione come un dettaglio irrilevante.
Ispeziona i campi esatti del protocollo che creano autorità o modificano l'esecuzione. Confronta questi campi con l'intento dichiarato dall'utente e con il confine di sicurezza previsto.
Ispeziona i campi esatti del protocollo che creano autorità o modificano l'esecuzione.
A livello di protocollo ed esecuzione, occorre ispezionare selector e arguments e target e native value e nested execution. Gli identificatori di protocollo non vengono tradotti perché fanno parte del payload tecnico.
selectorPunti tecnici di ispezione
argumentsPunti tecnici di ispezione
targetPunti tecnici di ispezione
native valuePunti tecnici di ispezione
nested executionPunti tecnici di ispezione
Tratta contraddizioni, autorità eccessiva e dipendenze non spiegate come segnali materiali di errore.
La conseguenza pratica è che Azione: verifica le evidenze tecniche di il pulsante non è la transazione prima di autorizzare. Sconosciuto non equivale a sicuro.
Collega ogni segnale materiale alla conseguenza concreta su asset, autorità o fiducia.
La conseguenza pratica è che Azione: verifica le evidenze tecniche di il pulsante non è la transazione prima di autorizzare.
Escala quando le evidenze sono contraddittorie, incomplete o la conseguenza supera la policy ordinaria.
Verifica la richiesta mediante evidenze indipendenti prima di qualsiasi autorizzazione irreversibile.
Ispeziona i campi esatti del protocollo che creano autorità o modificano l'esecuzione.
Confronta questi campi con l'intento dichiarato dall'utente e con il confine di sicurezza previsto.
Verifica la richiesta mediante evidenze indipendenti prima di qualsiasi autorizzazione irreversibile.
Registra fatti, assunzioni, incognite e decisione affinché un altro analista possa riprodurre la review.
Escala quando le evidenze sono contraddittorie, incomplete o la conseguenza supera la policy ordinaria.
Registra fatti, assunzioni, incognite e decisione affinché un altro analista possa riprodurre la review.
Rischio chiave: non trattare il pulsante non è la transazione come un dettaglio irrilevante. e Azione: verifica le evidenze tecniche di il pulsante non è la transazione prima di autorizzare.
Rischio chiave: non trattare il pulsante non è la transazione come un dettaglio irrilevante.
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
fatti → evidenza materiale
evidenza → conseguenza / autorità
conseguenza → decisione esplicita + prossima azione
decoded-intent record + mismatch listcalldata / intentSwap 1 ETH0x095ea7b3approve(address,uint256)0xNew...MAX_UINT2560Prima di rispondere, identifica l'autorità concessa, il confine di fiducia che può fallire e la conseguenza irreversibile.
Separa identità, autorità, esecuzione e contesto prima della decisione di sicurezza.
Chi o cosa richiede, riceve o rappresenta autorità?
Quale capacità può essere concessa, mantenuta o esercitata?
0xNew...Cosa farà realmente il payload, la route o il sistema?
0x095ea7b3approve(address,uint256)MAX_UINT2560Quali fatti circostanti possono cambiare la decisione?
Swap 1 ETHNon rispondere a memoria. Usa il caso, i campi del protocollo e la procedura di verifica sopra per scrivere un risultato riproducibile.
Rischio chiave: non trattare il pulsante non è la transazione come un dettaglio irrilevante.
Azione: verifica le evidenze tecniche di il pulsante non è la transazione prima di autorizzare.
Registra il ragionamento prima della verifica e concludi con una decisione o prossima azione esplicita. Le note restano su questo dispositivo.
Sviluppa tutte e tre le sezioni prima di completare.
Questo modulo approfondisce intento transazionale e calldata con teoria applicata e un laboratorio dedicato.