EVMn calldata-k funtzioa eta parametroak kodetzen ditu. UIak 'swap' esan dezake payload-ak beste call bat egiten duen bitartean; deskodetu eta asmoarekin alderatu.
Kontzeptu hau garrantzitsua da Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak. Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
02
Benetan zer gertatzen den
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
Protokolo- eta exekuzio-mailan, aztertu behar da selector eta arguments eta target eta native value eta nested execution. Protokolo-identifikatzaileak ez dira itzultzen payload teknikoaren parte direlako.
selector
Ikuskapen teknikoaren puntuak
arguments
Ikuskapen teknikoaren puntuak
target
Ikuskapen teknikoaren puntuak
native value
Ikuskapen teknikoaren puntuak
nested execution
Ikuskapen teknikoaren puntuak
03
Hutsegite-azalera
Kontraesanak, gehiegizko autoritatea eta azaldu gabeko mendekotasunak hutsegite-seinale materialtzat hartu.
Ondorio praktikoa da Ekintza: egiaztatu botoia ez da transakzioa-ri buruzko ebidentzia teknikoa baimendu aurretik. Ezezaguna ez da segurua izatearen baliokidea.
Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.
Ekintza: egiaztatu botoia ez da transakzioa-ri buruzko ebidentzia teknikoa baimendu aurretik.
04
Erabaki-irizpidea
Lotu seinale material bakoitza aktiboetan, autoritatean edo konfiantzan sor dezakeen ondorio zehatzarekin.
Ondorio praktikoa da Ekintza: egiaztatu botoia ez da transakzioa-ri buruzko ebidentzia teknikoa baimendu aurretik.
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
05
Egiaztapen-prozedura
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
01
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
02
Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
03
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
04
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
05
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
06
Analistaren entregagarria
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa. eta Ekintza: egiaztatu botoia ez da transakzioa-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren entregagarriaBotoia ez da transakzioa · Erabaki-irizpidea
LESSON VISUALBotoia ez da transakzioacalldata intent
calldata / intent
BENETAKO TESTUINGURUA · SINADURA BERRIKUSPEN INGURUNEABotoia ez da transakzioaKONTZEPTUA → BENETAKO INGURUNEA → ERABAKI OPERATIBOA
VISUAL MODEL / REQUEST FLOWcalldata-intent
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
Workbook teknikoa
Analistaren helburua
Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.
Mekanika
selectorcalldata[0:4]
argumentsABI-decoded parameters
targettransaction.to
native valuetransaction.value
nested executionmulticall / router subcalls
Hutsegite-seinaleak
01
UI intent != decoded method
02
unknown selector
03
unexpected recipient
04
hidden native value
05
nested call changes authority
Egiaztapen-prozedura
01
capture exact payload
02
resolve selector / ABI
03
decode every material parameter
04
trace nested calls when present
05
compare decoded action with user intent
Arrazoibide-katea
01
gertaerak → ebidentzia materiala
02
ebidentzia → ondorioa / autoritatea
03
ondorioa → erabaki esplizitua + hurrengo ekintza
Beharrezko entregagarriadecoded-intent record + mismatch list
Protokoloaren ibilbidea
Jarraitu segurtasun-erabakiaren ibilbidea
calldata / intent
01Behatu
selector: calldata[0:4]
arguments: ABI-decoded parameters
02Trazatu
target: transaction.to
native value: transaction.value
nested execution: multicall / router subcalls
03Zalantzan jarri
UI intent != decoded method
unknown selector
unexpected recipient
04Egiaztatu
capture exact payload
resolve selector / ABI
decode every material parameter
05Emaitza
decoded-intent record + mismatch list
Aginte-azaleraselector · arguments · target
Hutsegite-baldintzaUI intent != decoded method
Kasu praktikoa
decode-calldata
KASUA / calldata-intent
ui ActionSwap 1 ETH
method Selector0x095ea7b3
decoded Methodapprove(address,uint256)
spender0xNew...
amountMAX_UINT256
native Value0
Analistaren zeregina
Erantzun aurretik, identifikatu ematen den autoritatea, huts egin dezakeen konfiantza-muga eta itzulezin bihurtzen den ondorioa.
Ebidentzia mapa
Antolatu erabaki aurretik
Bereizi identitatea, autoritatea, exekuzioa eta testuingurua segurtasun-erabakia hartu aurretik.
01
Identitatea
Nork edo zerk eskatzen, jasotzen edo ordezkatzen du autoritatea?
—
02
Autoritatea
Zein gaitasun eman, mantendu edo erabil daiteke?
spender0xNew...
03
Exekuzioa
Zer egingo du benetan payloadak, ibilbideak edo sistemak?
method Selector0x095ea7b3
decoded Methodapprove(address,uint256)
amountMAX_UINT256
native Value0
04
Testuingurua
Zein ingurune-faktorek alda dezakete erabakia?
ui ActionSwap 1 ETH
Eremu-ariketa
Sortu analistarako prest dagoen aurkikuntza
Tokiko analista-erregistroa soilik
Ez erantzun memoriatik. Erabili kasua, protokolo-eremuak eta goiko egiaztapen-prozedura aurkikuntza erreproduzigarria idazteko.
Fokuaselector · arguments · target
Hutsegite-seinaleaUI intent != decoded method
Lehenik egiaztatucapture exact payload
Entregagarriadecoded-intent record + mismatch list
Amaiera-irizpideak
Ebidentzia materiala aipatzen du, ez UI itxura.
Agintea, egoera-trantsizioa edo ondorioa izendatzen du.
Hurrengo ekintza edo erabaki erreproduzigarria ematen du.
Segurtasun-oharrak
01
Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.
02
Ekintza: egiaztatu botoia ez da transakzioa-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren koadernoa
Eraiki zure ebidentzia-memoa
Tokiko ikasketa-erregistroa
Idatzi zure arrazoibidea egiaztapenaren aurretik eta amaitu erabaki edo hurrengo ekintza esplizitu batekin. Oharrak gailu honetan geratzen dira.
LOCAL STORAGE
×
Eremu-ariketa
Garatu hiru atalak osatu aurretik.
Modulu honek transakzio-asmoa eta calldata lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.