Ikastaroaren orria
Ulertu Zer Sinatzen Duzun1 / 14
Ikasgaia 1.1

Botoia ez da transakzioa

UTXO ACADEMY / CONCEPT MODELCALLDATADECODE INTENTVISUAL AID · NOT A SECURITY VERDICT
Kapitulu teknikoa

Botoia ez da transakzioa

Ikasgai tekniko sakona
01
Eredu mentala

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.

  1. 01

    Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.

  2. 02

    Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.

  3. 03

    Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.

  4. 04

    Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.

  5. 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
Botoia ez da transakzioa
LESSON VISUALBotoia ez da transakzioacalldata intent
Botoia ez da transakzioa
BENETAKO TESTUINGURUA · SINADURA BERRIKUSPEN INGURUNEABotoia ez da transakzioaKONTZEPTUA → BENETAKO INGURUNEA → ERABAKI OPERATIBOA
VISUAL MODEL / REQUEST FLOWcalldata-intent
N01N02N03N04N05N06REQUEST FLOWBotoia ez da transakzioa
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
  1. 01

    UI intent != decoded method

  2. 02

    unknown selector

  3. 03

    unexpected recipient

  4. 04

    hidden native value

  5. 05

    nested call changes authority

Egiaztapen-prozedura
  1. 01

    capture exact payload

  2. 02

    resolve selector / ABI

  3. 03

    decode every material parameter

  4. 04

    trace nested calls when present

  5. 05

    compare decoded action with user intent

Arrazoibide-katea
  1. 01

    gertaerak → ebidentzia materiala

  2. 02

    ebidentzia → ondorioa / autoritatea

  3. 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
  1. 01

    Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.

  2. 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.

Kokapena ikastaroan
1 / 14
Amaitzean irekitzen da
Helmuga eta balioa lehen inbarianteak dira
Aurrerapena
0/21 · 0%

Ikastaroaren edukia

Modulua 01Transakzio-asmoa eta calldata
Modulua 02Approval-ak eta gastu-ahalmena
Modulua 03EIP-712, Permit eta Permit2
Modulua 04Asmoaren berreraikuntza eta erabakia
EbaluazioaEbaluazioa