← Akademiara itzuli
MAILA 4 · Profesionala
Transakzio Segurtasun Aurreratua
Aztertu proxy-ak, simulazio-mugak, bridge-ak eta politikak.
8 ikasgai · 8 Eremu-ariketa · 8 Eszenatoki praktikoak · 20 galdera · 80% gainditzeko nota
Hasi ikasten0% · 0/21
Ibilbide profesionala. Curriculuma ikusgai dago; sarbide komertziala UTXO fakturazioarekin konekta daiteke.
Zer egiten jakingo duzun
✓
Modulu honek proxy-ak eta exekuzio-testuingurua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek simulazioa eta mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek cross-chain konfiantza eta routing-a lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
✓
Modulu honek transakzio-politikak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Programa
▸1.1 · Proxy helbidea ez da kontratu osoa26 min
▸1.2 · Delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du24 min
Laborategia · Ebatzi proxy-a
Ikastaro honek barne hartzen du
- ·8 ikasgai · 20 gidatutako ordu
- ·4 Laborategia · Eszenatoki praktikoak
- ·8 Kasu aplikatuak · 8 Ezagutza-egiaztapenak
- ·52 Azterketa-bankua · 80% gainditze-nota
- ·Amaiera-kredentziala: UTXO Certified · Advanced Transaction Security
Ikastaro honek zer espero duen zugandik
- ·Exekuzio konplexua seinale bakarrean fidatu gabe berrikusi.
- ·Gainditzeko nota: 80%
- ·Ulertu Zer Sinatzen Duzun
Ikastaroaren briefinga
Prestakuntza-kontratua
Exekuzio konplexua seinale bakarrean fidatu gabe berrikusi.
Entregagai praktikoak
Proxy-ak eta exekuzio-testuingurua
Modulu honek proxy-ak eta exekuzio-testuingurua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · PROXYSimulazioa eta mugak
Modulu honek simulazioa eta mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · SIMULATIONCross-chain konfiantza eta routing-a
Modulu honek cross-chain konfiantza eta routing-a lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · BRIDGETransakzio-politikak
Modulu honek transakzio-politikak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ebidentzia-memoa · POLICYEbaluazio-kontratua
Ikasgai-egiaztapenak8
Modulu-laborategiak4
Amaierako azterketa20
Menderatze-atalasea80%
Ikasketa-plan osoa
Transakzio Segurtasun Aurreratua
Hasi aurretik berrikusi curriculum osoa, gaitasunak eta ebaluazio-bidea.
Ikasketa-karga gidatua20h
modulu4
ikasgai8
01
Proxy-ak eta exekuzio-testuingurua
Modulu honek proxy-ak eta exekuzio-testuingurua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
1.1
Proxy helbidea ez da kontratu osoa45 min · Ikasgai tekniko sakona
1.2
Delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaEbatzi proxy-a
02
Simulazioa eta mugak
Modulu honek simulazioa eta mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
2.1
Simulazioak exekuzio posible bat modelatzen du45 min · Ikasgai tekniko sakona
2.2
Benetako exekuzioa simulaziotik desbideratu daiteke45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaZalantzan jarri simulazioa
03
Cross-chain konfiantza eta routing-a
Modulu honek cross-chain konfiantza eta routing-a lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
3.1
Bridge batek beste segurtasun-sistema bat gehitzen du45 min · Ikasgai tekniko sakona
3.2
Hop bakoitzak hutsegite-modu independenteak gehitzen ditu45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaBerrikusi cross-chain route-a
04
Transakzio-politikak
Modulu honek transakzio-politikak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
4.1
Politikek printzipioak baldintza exekutagarri bihurtzen dituzte45 min · Ikasgai tekniko sakona
4.2
Baimenak ondorioarekin bat etorri behar du45 min · Ikasgai tekniko sakona
Moduluaren laborategi praktikoaAplikatu diruzaintza-policy-a
- Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa.
- Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du xehetasun huts gisa.
- Ekintza: egiaztatu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu simulazioak exekuzio posible bat modelatzen du xehetasun huts gisa.
- Ekintza: egiaztatu simulazioak exekuzio posible bat modelatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu benetako exekuzioa simulaziotik desbideratu daiteke xehetasun huts gisa.
- Ekintza: egiaztatu benetako exekuzioa simulaziotik desbideratu daiteke-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu bridge batek beste segurtasun-sistema bat gehitzen du xehetasun huts gisa.
- Ekintza: egiaztatu bridge batek beste segurtasun-sistema bat gehitzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu hop bakoitzak hutsegite-modu independenteak gehitzen ditu xehetasun huts gisa.
- Ekintza: egiaztatu hop bakoitzak hutsegite-modu independenteak gehitzen ditu-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 · 40 min
IKASTAROAREN ESKULIBURUA
20hEsparrua, emaitzak eta ikasketa-estandarra
Aztertu proxy-ak, simulazio-mugak, bridge-ak eta politikak.
Gomendatutako aurretiko ikasketa
- Wallet Segurtasuna eta Autozaintza
- Ulertu Zer Sinatzen Duzun
- Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa.
- Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du xehetasun huts gisa.
- Ekintza: egiaztatu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu simulazioak exekuzio posible bat modelatzen du xehetasun huts gisa.
- Ekintza: egiaztatu simulazioak exekuzio posible bat modelatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu benetako exekuzioa simulaziotik desbideratu daiteke xehetasun huts gisa.
- Ekintza: egiaztatu benetako exekuzioa simulaziotik desbideratu daiteke-ri buruzko ebidentzia teknikoa baimendu aurretik.
- Arrisku nagusia: ez hartu bridge batek beste segurtasun-sistema bat gehitzen du xehetasun huts gisa.
- Ekintza: egiaztatu bridge batek beste segurtasun-sistema bat gehitzen du-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.
- Proxy helbidea ez da kontratu osoa
- Upgradeable proxy-ek state-a helbide batean mantendu eta alda daitekeen implementation batera delegatzen dute; ebatzi implementation eta upgrade authority.
- Delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du
- delegatecall-ek beste kontratu baten kodea exekutatzen du caller-aren storage eta testuingurua mantenduz; helbide ikusgaiak ez du beti benetako exekuzioa adierazten.
- Simulazioak exekuzio posible bat modelatzen du
- Simulation-ek payload bat snapshot eta ingurune jakin batean exekutatzen du. Ebidentzia erabilgarria da, baina block state, RPC eta kanpoko call-en menpe dago.
- Benetako exekuzioa simulaziotik desbideratu daiteke
- Storage mutagarria, timestamp-a, block value-ak eta kanpoko egoera aldatu daitezke simulation eta inklusioaren artean; kode erasokorrak diferentzia hori ustia dezake.
- Bridge batek beste segurtasun-sistema bat gehitzen du
- Cross-chain-ek validator, relayer, light client, LP edo wrapped asset-ak gehitzen ditu eta, beraz, bi chain-ez gain beste trust model bat sortzen du.
- Hop bakoitzak hutsegite-modu independenteak gehitzen ditu
- Route batek aggregator, DEX, bridge eta helmuga-kontratuak zeharka ditzake; konposizioak approval, slippage, erabilgarritasun eta konfiantza arriskuak gehitzen ditu.
- Politikek printzipioak baldintza exekutagarri bihurtzen dituzte
- Policy batek helmuga berriak eskalatu, zenbatekoak mugatu, unlimited approval-ak debekatu edo bigarren approver bat eskatu dezake. Arauak deterministak eta ulergarriak izan behar dira.
- Baimenak ondorioarekin bat etorri behar du
- Ohiko eragiketek eta sei zifrako diruzaintza-transferentziek ez dute baimen-bide bera izan behar; balioa, helmuga berria eta permission scope-a kontuan hartu.
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
Wallet execution permissions eta ERC-7715
Permission request batek beste account edo session bati arau jakinen pean jarduteko ahalmena eman diezaioke. Scope, expiry eta allowance argi ulertu behar dira.
Segurtasun-fokuapermission type · rules · expiry · allowance · session authority
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-7715 ↗
EXT / 02
MEV, ordering eta transakzio-esposizioa
Transakzio baliozko baten emaitza ordering pipeline-ak aldatu dezake. Frontrunning, sandwich risk eta private orderflow aztertzen dira.
Segurtasun-fokuamempool · ordering · frontrunning · sandwiching · private submission
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 erreferentziakEthereum MEV docs ↗
EXT / 03
L2 sequencer-ak, data availability eta finality
Rollup-ek sequencing, data publication eta settlement egoerak gehitzen dituzte. Unsafe, safe eta finalized egoerak eta sequencer/DA assumptions bereizi.
Segurtasun-fokuasequencer · unsafe/safe/finalized · DA · forced inclusion · L1 settlement
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.
Modulua 01
Proxy-ak eta exekuzio-testuingurua
Modulu honek proxy-ak eta exekuzio-testuingurua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Ikasgaia 1.1
Proxy helbidea ez da kontratu osoa
Kapitulu teknikoa
Ikasgai tekniko sakonaProxy helbidea ez da kontratu osoa
01
Eredu mentala
Upgradeable proxy-ek state-a helbide batean mantendu eta alda daitekeen implementation batera delegatzen dute; ebatzi implementation eta upgrade authority.
Kontzeptu hau garrantzitsua da Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa 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 proxy eta implementation eta admin eta storage eta upgrade path. Protokolo-identifikatzaileak ez dira itzultzen payload teknikoaren parte direlako.
proxyIkuskapen teknikoaren puntuak
implementationIkuskapen teknikoaren puntuak
adminIkuskapen teknikoaren puntuak
storageIkuskapen teknikoaren puntuak
upgrade pathIkuskapen teknikoaren puntuak
03
Hutsegite-azalera
Kontraesanak, gehiegizko autoritatea eta azaldu gabeko mendekotasunak hutsegite-seinale materialtzat hartu.
Ondorio praktikoa da Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik. Ezezaguna ez da segurua izatearen baliokidea.
- Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa.
- Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-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 proxy helbidea ez da kontratu osoa-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 proxy helbidea ez da kontratu osoa xehetasun huts gisa. eta Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren entregagarriaProxy helbidea ez da kontratu osoa · Erabaki-irizpidea
Workbook teknikoa
Analistaren helburua
Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa.
Mekanika
proxy
user-facing state addressimplementation
delegated logicadmin
upgrade authoritystorage
proxy state layoutupgrade path
logic can change after reviewHutsegite-seinaleak
- 01
proxy verified / implementation unknown
- 02
admin untrusted
- 03
recent implementation change
- 04
initialization ambiguity
- 05
upgradeable spender
Egiaztapen-prozedura
- 01
identify proxy pattern
- 02
read implementation slot / resolver
- 03
verify implementation code
- 04
identify admin / timelock
- 05
record upgradeability as ongoing trust
Arrazoibide-katea
- 01
gertaerak → ebidentzia materiala
- 02
ebidentzia → ondorioa / autoritatea
- 03
ondorioa → erabaki esplizitua + hurrengo ekintza
Beharrezko entregagarria
proxy trust-boundary mapProtokoloaren ibilbidea
Jarraitu segurtasun-erabakiaren ibilbidea
proxy / upgradeability01Behatu
- proxy: user-facing state address
- implementation: delegated logic
02Trazatu
- admin: upgrade authority
- storage: proxy state layout
- upgrade path: logic can change after review
03Zalantzan jarri
- proxy verified / implementation unknown
- admin untrusted
- recent implementation change
04Egiaztatu
- identify proxy pattern
- read implementation slot / resolver
- verify implementation code
05Emaitza
- proxy trust-boundary map
Aginte-azaleraproxy · implementation · admin
Hutsegite-baldintzaproxy verified / implementation unknown
Kasu praktikoa
proxy-reviewproxy
verifiedimplementation
0xImplV7implementation Verified
yesupgrade Admin
single EOAlast Upgrade
2 days agotimelock
noneAnalistaren 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?
upgrade Admin
single EOA03
Exekuzioa
Zer egingo du benetan payloadak, ibilbideak edo sistemak?
proxy
verifiedimplementation
0xImplV7implementation Verified
yes04
Testuingurua
Zein ingurune-faktorek alda dezakete erabakia?
last Upgrade
2 days agotimelock
noneEremu-ariketa
Tokiko analista-erregistroa soilikSortu analistarako prest dagoen aurkikuntza
Ez erantzun memoriatik. Erabili kasua, protokolo-eremuak eta goiko egiaztapen-prozedura aurkikuntza erreproduzigarria idazteko.
Fokuaproxy · implementation · admin
Hutsegite-seinaleaproxy verified / implementation unknown
Lehenik egiaztatuidentify proxy pattern
Entregagarriaproxy trust-boundary map
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 proxy helbidea ez da kontratu osoa xehetasun huts gisa.
- 02
Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-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
Delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du
Kapitulu teknikoa
Ikasgai tekniko sakonaDelegatecall-ek kanpoko kodea egoera lokalean exekutatzen du
01
Eredu mentala
delegatecall-ek beste kontratu baten kodea exekutatzen du caller-aren storage eta testuingurua mantenduz; helbide ikusgaiak ez du beti benetako exekuzioa adierazten.
Kontzeptu hau garrantzitsua da Arrisku nagusia: ez hartu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du 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 opcode eta code source eta storage context eta msg.sender / value eta risk. Protokolo-identifikatzaileak ez dira itzultzen payload teknikoaren parte direlako.
opcodeIkuskapen teknikoaren puntuak
code sourceIkuskapen teknikoaren puntuak
storage contextIkuskapen teknikoaren puntuak
msg.sender / valueIkuskapen teknikoaren puntuak
riskIkuskapen teknikoaren puntuak
03
Hutsegite-azalera
Kontraesanak, gehiegizko autoritatea eta azaldu gabeko mendekotasunak hutsegite-seinale materialtzat hartu.
Ondorio praktikoa da Ekintza: egiaztatu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik. Ezezaguna ez da segurua izatearen baliokidea.
- Arrisku nagusia: ez hartu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du xehetasun huts gisa.
- Ekintza: egiaztatu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du-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 delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du-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 delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du xehetasun huts gisa. eta Ekintza: egiaztatu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du-ri buruzko ebidentzia teknikoa baimendu aurretik.
Analistaren entregagarriaDelegatecall-ek kanpoko kodea egoera lokalean exekutatzen du · Erabaki-irizpidea
Workbook teknikoa
Analistaren helburua
Arrisku nagusia: ez hartu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du xehetasun huts gisa.
Mekanika
opcode
DELEGATECALLcode source
callee implementationstorage context
caller storagemsg.sender / value
preserved call contextrisk
foreign code mutates local stateHutsegite-seinaleak
- 01
unexpected delegatecall
- 02
implementation not verified
- 03
storage collision risk
- 04
privileged method reachable
- 05
dynamic implementation selection
Egiaztapen-prozedura
- 01
identify delegatecall edge
- 02
resolve callee code
- 03
map caller storage context
- 04
trace privileged effects
- 05
compare reachable authority to intent
Arrazoibide-katea
- 01
gertaerak → ebidentzia materiala
- 02
ebidentzia → ondorioa / autoritatea
- 03
ondorioa → erabaki esplizitua + hurrengo ekintza
Beharrezko entregagarria
delegatecall execution traceProtokoloaren ibilbidea
Jarraitu segurtasun-erabakiaren ibilbidea
delegatecall / context01Behatu
- opcode: DELEGATECALL
- code source: callee implementation
02Trazatu
- storage context: caller storage
- msg.sender / value: preserved call context
- risk: foreign code mutates local state
03Zalantzan jarri
- unexpected delegatecall
- implementation not verified
- storage collision risk
04Egiaztatu
- identify delegatecall edge
- resolve callee code
- map caller storage context
05Emaitza
- delegatecall execution trace
Aginte-azaleraopcode · code source · storage context
Hutsegite-baldintzaunexpected delegatecall
Kasu praktikoa
delegate-pathentry
proxymethod
execute(bytes)delegatecall
facet 0xF...storage
proxycaller
user walletfacet Verified
novalue
0 ETHAnalistaren 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?
—
03
Exekuzioa
Zer egingo du benetan payloadak, ibilbideak edo sistemak?
method
execute(bytes)delegatecall
facet 0xF...storage
proxycaller
user walletvalue
0 ETH04
Testuingurua
Zein ingurune-faktorek alda dezakete erabakia?
entry
proxyfacet Verified
noEremu-ariketa
Tokiko analista-erregistroa soilikSortu analistarako prest dagoen aurkikuntza
Ez erantzun memoriatik. Erabili kasua, protokolo-eremuak eta goiko egiaztapen-prozedura aurkikuntza erreproduzigarria idazteko.
Fokuaopcode · code source · storage context
Hutsegite-seinaleaunexpected delegatecall
Lehenik egiaztatuidentify delegatecall edge
Entregagarriadelegatecall execution trace
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 delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du xehetasun huts gisa.
- 02
Ekintza: egiaztatu delegatecall-ek kanpoko kodea egoera lokalean exekutatzen du-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
Simulazioa eta mugak
Modulu honek simulazioa eta mugak lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Modulua 03
Cross-chain konfiantza eta routing-a
Modulu honek cross-chain konfiantza eta routing-a lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.
Modulua blokeatuta
Jarraitu aurretik osatu aurreko modulua eta haren laborategi praktikoa.
Modulua 04
Transakzio-politikak
Modulu honek transakzio-politikak 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-muga40 min
BLOKEATUTAAmaitu teoria-checkpoint eta laborategi guztiak amaierako azterketa desblokeatzeko.