← Akademiara itzuli
MAILA 3 · Doakoa
Ulertu Zer Sinatzen Duzun
Ikasi approvals, calldata, EIP-712, Permit eta Permit2.
8 ikasgai · 8 Eremu-ariketa · 8 Eszenatoki praktikoak · 20 galdera · 80% gainditzeko nota
Hasi ikasten0% · 0/21
Zer egiten jakingo duzun
✓
Modulu honek transakzio-asmoa eta calldata lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek approval-ak eta gastu-ahalmena lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek eip-712, permit eta permit2 lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek asmoaren berreraikuntza eta erabakia lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Programa
▸1.1 · Botoia ez da transakzioa22 min
▸1.2 · Helmuga eta balioa lehen inbarianteak dira16 min
Laborategia · Deskodetu gastu-ahalmena
Ikastaro honek barne hartzen du
- ·8 ikasgai · 16 gidatutako ordu
- ·4 Laborategia · Eszenatoki praktikoak
- ·8 Kasu aplikatuak · 8 Ezagutza-egiaztapenak
- ·52 Azterketa-bankua · 80% gainditze-nota
- ·Amaiera-kredentziala: UTXO Certified · Signing & Approval Literacy
Ikastaro honek zer espero duen zugandik
- ·Sinadura bat baimen, gastu-ahalmen eta arrisku bihurtu.
- ·Gainditzeko nota: 80%
- ·Wallet Segurtasuna eta Autozaintza
Ikastaroaren briefinga
Prestakuntza-kontratua
Sinadura bat baimen, gastu-ahalmen eta arrisku bihurtu.
Entregagai praktikoak
Transakzio-asmoa eta calldata
Modulu honek transakzio-asmoa eta calldata lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · APPROVALApproval-ak eta gastu-ahalmena
Modulu honek approval-ak eta gastu-ahalmena lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · APPROVALEIP-712, Permit eta Permit2
Modulu honek eip-712, permit eta permit2 lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · TYPED-DATAAsmoaren berreraikuntza eta erabakia
Modulu honek asmoaren berreraikuntza eta erabakia lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · APPROVALEbaluazio-kontratua
Ikasgai-egiaztapenak8
Modulu-laborategiak4
Amaierako azterketa20
Menderatze-atalasea80%
Ikasketa-plan osoa
Ulertu Zer Sinatzen Duzun
Hasi aurretik berrikusi curriculum osoa, gaitasunak eta ebaluazio-bidea.
Ikasketa-karga gidatua16h
modulu4
ikasgai8
01
Transakzio-asmoa eta calldata
Modulu honek transakzio-asmoa eta calldata lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
1.1
Botoia ez da transakzioa45 min · Ikasgai tekniko sakona
1.2
Helmuga eta balioa lehen inbarianteak dira45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaDeskodetu gastu-ahalmena
02
Approval-ak eta gastu-ahalmena
Modulu honek approval-ak eta gastu-ahalmena lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
2.1
Approval batek etorkizuneko gastu-ahalmena delegatzen du45 min · Ikasgai tekniko sakona
2.2
Unlimited approval-ek kalte-eremua handitzen du45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaDeskodetu gastu-ahalmena
03
EIP-712, Permit eta Permit2
Modulu honek eip-712, permit eta permit2 lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
3.1
Typed data oraindik baimena da45 min · Ikasgai tekniko sakona
3.2
Permit-ek ahalmena off-chain sinadurara eraman dezake45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaIrakurri Permit2
04
Asmoaren berreraikuntza eta erabakia
Modulu honek asmoaren berreraikuntza eta erabakia lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
4.1
Berreraiki asmoa seinale independenteekin45 min · Ikasgai tekniko sakona
4.2
Arriskuak erabaki ulergarri batean amaitu behar du45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaDeskodetu gastu-ahalmena
- Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.
- Ekintza: egiaztatu botoia ez da transakzioa-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu helmuga eta balioa lehen inbarianteak dira xehetasun huts gisa.
- Ekintza: egiaztatu helmuga eta balioa lehen inbarianteak dira-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu approval batek etorkizuneko gastu-ahalmena delegatzen du xehetasun huts gisa.
- Ekintza: egiaztatu approval batek etorkizuneko gastu-ahalmena delegatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu unlimited approval-ek kalte-eremua handitzen du xehetasun huts gisa.
- Ekintza: egiaztatu unlimited approval-ek kalte-eremua handitzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu typed data oraindik baimena da xehetasun huts gisa.
- Ekintza: egiaztatu typed data oraindik baimena da-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu permit-ek ahalmena off-chain sinadurara eraman dezake xehetasun huts gisa.
- Ekintza: egiaztatu permit-ek ahalmena off-chain sinadurara eraman dezake-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Idatzizko landa-ariketa × 8
- Ezagutza-egiaztapenak × 8
- Moduluaren laborategi praktikoa × 4
- Azken azterketa kronometratua · 20 · ≥ 80%
- Ikasgai tekniko sakona · 360 min
- Idatzizko landa-ariketa · 160 min
- Moduluaren laborategi praktikoa · 140 min
- Specialist units · 105 min
- Azken azterketa kronometratua · 35 min
IKASTAROAREN ESKULIBURUA
16hEsparrua, emaitzak eta ikasketa-estandarra
Ikasi approvals, calldata, EIP-712, Permit eta Permit2.
Gomendatutako aurretiko ikasketa
- Kripto eta Blockchain Oinarriak
- Wallet Segurtasuna eta Autozaintza
- Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.
- Ekintza: egiaztatu botoia ez da transakzioa-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu helmuga eta balioa lehen inbarianteak dira xehetasun huts gisa.
- Ekintza: egiaztatu helmuga eta balioa lehen inbarianteak dira-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu approval batek etorkizuneko gastu-ahalmena delegatzen du xehetasun huts gisa.
- Ekintza: egiaztatu approval batek etorkizuneko gastu-ahalmena delegatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu unlimited approval-ek kalte-eremua handitzen du xehetasun huts gisa.
- Ekintza: egiaztatu unlimited approval-ek kalte-eremua handitzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu typed data oraindik baimena da xehetasun huts gisa.
- Ekintza: egiaztatu typed data oraindik baimena da-ri buruzko ebidentzia teknikoa baimendu aurretik.
- 01
Irakurri sei ataleko kapitulu teknikoa
- 02
Aztertu visual bakarra eta protokolo-eredua
- 03
Landu kasua eta ebidentzia-mapa
- 04
Bidali idatzizko landa-ariketa
- 05
Gainditu knowledge check eta modulu-laba
- 06
Osatu kronometratutako azken ebaluazioa
Baieztapenak eremu behagarriekin, protokoloaren portaerarekin, lehen mailako iturriekin edo argi adierazitako hipotesiekin lotu behar dira. Ezezagunak esplizitu mantendu behar dira.
Amaitzeko, idatzizko lana, knowledge check-ak, modulu-lab guztiak eta azken azterketan gutxienez %80 behar dira. Maila profesionalak capstone-a ere eskatzen du.
- Botoia ez da transakzioa
- EVMn calldata-k funtzioa eta parametroak kodetzen ditu. UIak 'swap' esan dezake payload-ak beste call bat egiten duen bitartean; deskodetu eta asmoarekin alderatu.
- Helmuga eta balioa lehen inbarianteak dira
- Azterketa aurreratuaren aurretik egiaztatu chain-a, native value hartzailea, deitutako kontratuak eta balioa; zero native value ez da zero arrisku.
- Approval batek etorkizuneko gastu-ahalmena delegatzen du
- ERC-20 approve-k spender bati etorkizunean token-ak mugitzeko ahalmen iraunkorra eman diezaioke, gaurko transakzioak ezer mugitu gabe ere.
- Unlimited approval-ek kalte-eremua handitzen du
- Allowance maximoek approval errepikatuak saihesten dituzte, baina tokenaren etorkizuneko saldo osoa esposatu dezakete baimena aktibo dagoen bitartean.
- Typed data oraindik baimena da
- EIP-712-k datuak egituratzen ditu, baina order, permit eta bestelako eskubideek on-chain ondorio garrantzitsuak izan ditzakete.
- Permit-ek ahalmena off-chain sinadurara eraman dezake
- Permit eta Permit2-k sinaduraren bidez gastua baimentzen dute; spender, token, amount, nonce, deadline eta verifying contract-ek benetako ahalmena zehazten dute.
- Berreraiki asmoa seinale independenteekin
- Pre-signature geruzak origin-a, chain-a, helmuga, metodoa, parametroak, approval-ak eta espero diren aldaketak erabiltzailearen asmoarekin alderatu behar ditu.
- Arriskuak erabaki ulergarri batean amaitu behar du
- Azalpenik gabeko score batek automation bias sortzen du. Erakutsi zer den ezohikoa, zer ahalmen ematen den, zer gal daitekeen eta zer ziurgabetasun geratzen den.
HEDAPEN ESPEZIALIZATUAK
Protokolo modernoak eta gai operatiboak
Hedapen hauek oinarrizko curriculuma gaur egungo estandarrekin eta profesional batek ezagutu behar dituen segurtasun-mugekin zabaltzen dute.
EXT / 01
Replay babesa, nonce-ak eta domain separation
Baimena chain, contract, account state eta epe jakin batera lotu behar da. EIP-155 eta EIP-712 mekanismoek replay arriskua modu desberdinetan murrizten dute.
Segurtasun-fokuanonce · chainId · domain separator · verifyingContract · replay window
Ikasketa-zereginaIrakurri lehen mailako materiala, identifikatu konfiantza-muga eta azaldu mekanismoak baimen- edo exekuzio-eredua nola aldatzen duen.
Beharrezko entregagarriaPrestatu analista-ohar laburra: hipotesiak, ebidentzia materiala, hutsegite-baldintzak eta justifikatutako segurtasun-erabakia.
EXT / 02
ERC-4337 UserOperations eta account abstraction
UserOperations-ek balidazioa smart-account logikara eramaten du eta bundler, EntryPoint, paymaster eta simulazio arauak gehitzen ditu. Azterketak pipeline osoa estali behar du.
Segurtasun-fokuaUserOperation · EntryPoint · bundler · paymaster · validation simulation
Ikasketa-zereginaIrakurri lehen mailako materiala, identifikatu konfiantza-muga eta azaldu mekanismoak baimen- edo exekuzio-eredua nola aldatzen duen.
Beharrezko entregagarriaPrestatu analista-ohar laburra: hipotesiak, ebidentzia materiala, hutsegite-baldintzak eta justifikatutako segurtasun-erabakia.
Lehen mailako erreferentziakERC-4337 ↗
EXT / 03
EIP-7702 bidezko EOA delegazioa
EIP-7702k EOA bati kodea modu iraunkorrean delegatzea ahalbidetzen dio sinatutako authorization tuple bidez. Chain binding, nonce, delegate code eta revocation aztertu.
Segurtasun-fokuaauthorization tuple · delegated code · persistent delegation · nonce · revocation
Ikasketa-zereginaIrakurri lehen mailako materiala, identifikatu konfiantza-muga eta azaldu mekanismoak baimen- edo exekuzio-eredua nola aldatzen duen.
Beharrezko entregagarriaPrestatu analista-ohar laburra: hipotesiak, ebidentzia materiala, hutsegite-baldintzak eta justifikatutako segurtasun-erabakia.
Lehen mailako erreferentziakEIP-7702 ↗
Modulua 01
Transakzio-asmoa eta calldata
Modulu honek transakzio-asmoa eta calldata lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ikasgaia 1.1
Botoia ez da transakzioa
Kapitulu teknikoa
Ikasgai tekniko sakonaBotoia ez da transakzioa
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.
selectorIkuskapen teknikoaren puntuak
argumentsIkuskapen teknikoaren puntuak
targetIkuskapen teknikoaren puntuak
native valueIkuskapen teknikoaren puntuak
nested executionIkuskapen 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
Workbook teknikoa
Analistaren helburua
Arrisku nagusia: ez hartu botoia ez da transakzioa xehetasun huts gisa.
Mekanika
selector
calldata[0:4]arguments
ABI-decoded parameterstarget
transaction.tonative value
transaction.valuenested execution
multicall / router subcallsHutsegite-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 entregagarria
decoded-intent record + mismatch listProtokoloaren ibilbidea
Jarraitu segurtasun-erabakiaren ibilbidea
calldata / intent01Behatu
- 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-calldataui Action
Swap 1 ETHmethod Selector
0x095ea7b3decoded Method
approve(address,uint256)spender
0xNew...amount
MAX_UINT256native Value
0Analistaren 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?
spender
0xNew...03
Exekuzioa
Zer egingo du benetan payloadak, ibilbideak edo sistemak?
method Selector
0x095ea7b3decoded Method
approve(address,uint256)amount
MAX_UINT256native Value
004
Testuingurua
Zein ingurune-faktorek alda dezakete erabakia?
ui Action
Swap 1 ETHEremu-ariketa
Tokiko analista-erregistroa soilikSortu analistarako prest dagoen aurkikuntza
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
Tokiko ikasketa-erregistroaEraiki zure ebidentzia-memoa
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.
Ikasgaia 1.2
Helmuga eta balioa lehen inbarianteak dira
Kapitulu teknikoa
Ikasgai tekniko sakonaHelmuga eta balioa lehen inbarianteak dira
01
Eredu mentala
Azterketa aurreratuaren aurretik egiaztatu chain-a, native value hartzailea, deitutako kontratuak eta balioa; zero native value ez da zero arrisku.
Kontzeptu hau garrantzitsua da Arrisku nagusia: ez hartu helmuga eta balioa lehen inbarianteak dira 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 chain eta recipient eta native value eta token movement eta intermediary. Protokolo-identifikatzaileak ez dira itzultzen payload teknikoaren parte direlako.
chainIkuskapen teknikoaren puntuak
recipientIkuskapen teknikoaren puntuak
native valueIkuskapen teknikoaren puntuak
token movementIkuskapen teknikoaren puntuak
intermediaryIkuskapen teknikoaren puntuak
03
Hutsegite-azalera
Kontraesanak, gehiegizko autoritatea eta azaldu gabeko mendekotasunak hutsegite-seinale materialtzat hartu.
Ondorio praktikoa da Ekintza: egiaztatu helmuga eta balioa lehen inbarianteak dira-ri buruzko ebidentzia teknikoa baimendu aurretik. Ezezaguna ez da segurua izatearen baliokidea.
- Arrisku nagusia: ez hartu helmuga eta balioa lehen inbarianteak dira xehetasun huts gisa.
- Ekintza: egiaztatu helmuga eta balioa lehen inbarianteak dira-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 helmuga eta balioa lehen inbarianteak dira-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 helmuga eta balioa lehen inbarianteak dira xehetasun huts gisa. eta Ekintza: egiaztatu helmuga eta balioa lehen inbarianteak dira-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren entregagarriaHelmuga eta balioa lehen inbarianteak dira · Erabaki-irizpidea
Workbook teknikoa
Analistaren helburua
Arrisku nagusia: ez hartu helmuga eta balioa lehen inbarianteak dira xehetasun huts gisa.
Mekanika
chain
chainId / network contextrecipient
to / resolved destinationnative value
msg.value / valuetoken movement
decoded transfer / transferFromintermediary
router / bridge / proxyHutsegite-seinaleak
- 01
chain switch
- 02
new destination
- 03
clipboard substitution
- 04
visible recipient != payload target
- 05
zero-value call grants authority
Egiaztapen-prozedura
- 01
confirm chainId
- 02
resolve full destination
- 03
inspect native value
- 04
decode token movements
- 05
verify intermediary purpose
Arrazoibide-katea
- 01
gertaerak → ebidentzia materiala
- 02
ebidentzia → ondorioa / autoritatea
- 03
ondorioa → erabaki esplizitua + hurrengo ekintza
Beharrezko entregagarria
destination-integrity recordProtokoloaren ibilbidea
Jarraitu segurtasun-erabakiaren ibilbidea
value / destination01Behatu
- chain: chainId / network context
- recipient: to / resolved destination
02Trazatu
- native value: msg.value / value
- token movement: decoded transfer / transferFrom
- intermediary: router / bridge / proxy
03Zalantzan jarri
- chain switch
- new destination
- clipboard substitution
04Egiaztatu
- confirm chainId
- resolve full destination
- inspect native value
05Emaitza
- destination-integrity record
Aginte-azalerachain · recipient · native value
Hutsegite-baldintzachain switch
Kasu praktikoa
first-invariantschain
Arbitrumui Chain
Ethereumnative Value
0.3 ETHtop Level To
0xRouter...final Recipient
unknowncontract Age
2 hoursAnalistaren 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?
final Recipient
unknown02
Autoritatea
Zein gaitasun eman, mantendu edo erabil daiteke?
—
03
Exekuzioa
Zer egingo du benetan payloadak, ibilbideak edo sistemak?
native Value
0.3 ETH04
Testuingurua
Zein ingurune-faktorek alda dezakete erabakia?
chain
Arbitrumui Chain
Ethereumtop Level To
0xRouter...contract Age
2 hoursEremu-ariketa
Tokiko analista-erregistroa soilikSortu analistarako prest dagoen aurkikuntza
Ez erantzun memoriatik. Erabili kasua, protokolo-eremuak eta goiko egiaztapen-prozedura aurkikuntza erreproduzigarria idazteko.
Fokuachain · recipient · native value
Hutsegite-seinaleachain switch
Lehenik egiaztatuconfirm chainId
Entregagarriadestination-integrity record
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 helmuga eta balioa lehen inbarianteak dira xehetasun huts gisa.
- 02
Ekintza: egiaztatu helmuga eta balioa lehen inbarianteak dira-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren koadernoa
Tokiko ikasketa-erregistroaEraiki zure ebidentzia-memoa
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.
Laborategia blokeatuta
Gainditu modulu honetako bi ezagutza-egiaztapenak laborategia egin aurretik.
Modulua 02
Approval-ak eta gastu-ahalmena
Modulu honek approval-ak eta gastu-ahalmena lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Modulua 03
EIP-712, Permit eta Permit2
Modulu honek eip-712, permit eta permit2 lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Modulua 04
Asmoaren berreraikuntza eta erabakia
Modulu honek asmoaren berreraikuntza eta erabakia lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Amaierako azterketa
Amaierako azterketa
Ebaluazio metatua da; saiakera bakoitzean kontzeptu eta kasu praktikoetatik berreraikitzen da.
Gutxienez %80 lortu behar da. Teoria osatzeak ez du berez kredentzialik sortzen.
Gainditzeko nota80%
Puntuazio onena0%
Bankua52
Saiakera20
Saiakerak0
Denbora-muga35 min
BLOKEATUTAAmaitu teoria-checkpoint eta laborategi guztiak amaierako azterketa desblokeatzeko.