← Takaisin Akatemiaan
TASO 4 · Ammattilainen
Edistynyt transaktioturva
Tutki proxyja, simulaation rajoja, bridgejä ja politiikkakontrolleja.
8 oppituntia · 8 Kenttäharjoitus · 8 Käytännön skenaariot · 20 kysymys · 80% läpimenoraja
Aloita opiskelu0% · 0/21
Ammattilaispolku. Opetussuunnitelma on nähtävissä; kaupallinen pääsynhallinta voidaan liittää UTXO-laskutukseen.
Mitä osaat tämän jälkeen
✓
Tämä moduuli syventää aihetta proxyt ja suoritusympäristö soveltavan teorian ja oman päätöslaboratorion avulla.
✓
Tämä moduuli syventää aihetta simulointi ja sen rajat soveltavan teorian ja oman päätöslaboratorion avulla.
✓
Tämä moduuli syventää aihetta cross-chain-luottamus ja reititys soveltavan teorian ja oman päätöslaboratorion avulla.
✓
Tämä moduuli syventää aihetta transaktiopolitiikat soveltavan teorian ja oman päätöslaboratorion avulla.
Opetussuunnitelma
▸1.1 · Proxy-osoite ei ole koko sopimus26 min
▸1.2 · Delegatecall suorittaa ulkoista koodia paikallisessa tilassa24 min
Laboratorio · Selvitä proxy
Tämä kurssi sisältää
- ·8 oppituntia · 20 ohjattua tuntia
- ·4 Laboratorio · Käytännön skenaariot
- ·8 Soveltavat tapaukset · 8 Tietotarkistukset
- ·52 Koepankki · 80% läpäisyraja
- ·Suoritustodistus: UTXO Certified · Advanced Transaction Security
Mitä tämä kurssi edellyttää
- ·Arvioi monimutkainen suoritus luottamatta yhteen signaaliin.
- ·Läpimenoraja: 80%
- ·Ymmärrä mitä Allekirjoitat
Kurssibriefing
Koulutussopimus
Arvioi monimutkainen suoritus luottamatta yhteen signaaliin.
Käytännön tuotokset
Proxyt ja suoritusympäristö
Tämä moduuli syventää aihetta proxyt ja suoritusympäristö soveltavan teorian ja oman päätöslaboratorion avulla.
Evidenssimuistio · PROXYSimulointi ja sen rajat
Tämä moduuli syventää aihetta simulointi ja sen rajat soveltavan teorian ja oman päätöslaboratorion avulla.
Evidenssimuistio · SIMULATIONCross-chain-luottamus ja reititys
Tämä moduuli syventää aihetta cross-chain-luottamus ja reititys soveltavan teorian ja oman päätöslaboratorion avulla.
Evidenssimuistio · BRIDGETransaktiopolitiikat
Tämä moduuli syventää aihetta transaktiopolitiikat soveltavan teorian ja oman päätöslaboratorion avulla.
Evidenssimuistio · POLICYArviointisopimus
Oppituntitarkistukset8
Moduulilaboratoriot4
Loppukoe20
Hallinnan raja80%
Täydellinen opetussuunnitelma
Edistynyt transaktioturva
Tarkista koko opetussuunnitelma, osaamiset ja arviointipolku ennen aloittamista.
Ohjattu opiskelukuorma20h
moduulia4
oppituntia8
01
Proxyt ja suoritusympäristö
Tämä moduuli syventää aihetta proxyt ja suoritusympäristö soveltavan teorian ja oman päätöslaboratorion avulla.
1.1
Proxy-osoite ei ole koko sopimus45 min · Syvä tekninen oppitunti
1.2
Delegatecall suorittaa ulkoista koodia paikallisessa tilassa45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioSelvitä proxy
02
Simulointi ja sen rajat
Tämä moduuli syventää aihetta simulointi ja sen rajat soveltavan teorian ja oman päätöslaboratorion avulla.
2.1
Simulointi mallintaa yhden mahdollisen suorituksen45 min · Syvä tekninen oppitunti
2.2
Todellinen suoritus voi poiketa simuloinnista45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioHaasta simulointi
03
Cross-chain-luottamus ja reititys
Tämä moduuli syventää aihetta cross-chain-luottamus ja reititys soveltavan teorian ja oman päätöslaboratorion avulla.
3.1
Bridge lisää uuden turvajärjestelmän45 min · Syvä tekninen oppitunti
3.2
Jokainen hop lisää itsenäisiä vikamuotoja45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioTarkista cross-chain route
04
Transaktiopolitiikat
Tämä moduuli syventää aihetta transaktiopolitiikat soveltavan teorian ja oman päätöslaboratorion avulla.
4.1
Politiikat muuttavat periaatteet toimeenpantaviksi45 min · Syvä tekninen oppitunti
4.2
Valtuutuksen pitää vastata seurauksia45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioSovella treasury policy
- Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta delegatecall suorittaa ulkoista koodia paikallisessa tilassa merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen delegatecall suorittaa ulkoista koodia paikallisessa tilassa tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta simulointi mallintaa yhden mahdollisen suorituksen merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen simulointi mallintaa yhden mahdollisen suorituksen tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta todellinen suoritus voi poiketa simuloinnista merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen todellinen suoritus voi poiketa simuloinnista tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta bridge lisää uuden turvajärjestelmän merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen bridge lisää uuden turvajärjestelmän tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta jokainen hop lisää itsenäisiä vikamuotoja merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen jokainen hop lisää itsenäisiä vikamuotoja tekninen evidence ennen valtuutusta.
- Kirjallinen kenttäharjoitus × 8
- Tietotarkistukset × 8
- Moduulin käytännön laboratorio × 4
- Ajastettu loppukoe · 20 · ≥ 80%
- Syvä tekninen oppitunti · 360 min
- Kirjallinen kenttäharjoitus · 160 min
- Moduulin käytännön laboratorio · 140 min
- Specialist units · 105 min
- Ajastettu loppukoe · 40 min
KURSSIKÄSIKIRJA
20hLaajuus, oppimistulokset ja opiskelustandardi
Tutki proxyja, simulaation rajoja, bridgejä ja politiikkakontrolleja.
Suositeltu aiempi opiskelu
- Lompakkoturva ja itsehallinta
- Ymmärrä mitä Allekirjoitat
- Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta delegatecall suorittaa ulkoista koodia paikallisessa tilassa merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen delegatecall suorittaa ulkoista koodia paikallisessa tilassa tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta simulointi mallintaa yhden mahdollisen suorituksen merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen simulointi mallintaa yhden mahdollisen suorituksen tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta todellinen suoritus voi poiketa simuloinnista merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen todellinen suoritus voi poiketa simuloinnista tekninen evidence ennen valtuutusta.
- Keskeinen riski: älä käsittele aihetta bridge lisää uuden turvajärjestelmän merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen bridge lisää uuden turvajärjestelmän tekninen evidence ennen valtuutusta.
- 01
Lue kuusiosainen tekninen luku
- 02
Tarkasta yksilöllinen visual ja protokollamalli
- 03
Työstä tapaus ja evidenssikartta
- 04
Palauta kirjallinen kenttäharjoitus
- 05
Läpäise knowledge check ja moduulilab
- 06
Suorita ajastettu loppuarviointi
Väitteet sidotaan havaittaviin kenttiin, protokollan käyttäytymiseen, ensisijaisiin lähteisiin tai selvästi ilmoitettuihin oletuksiin. Tuntemattomat pidetään näkyvinä.
Suoritus vaatii kirjallisen työn, knowledge checkit, kaikki labit ja vähintään 80% loppukokeesta. Ammattilaistaso vaatii myös capstonen.
- Proxy-osoite ei ole koko sopimus
- Upgradeable proxyt pitävät statea yhdessä osoitteessa ja delegoivat logiikan muuttuvaan implementationiin; selvitä implementation ja upgrade authority.
- Delegatecall suorittaa ulkoista koodia paikallisessa tilassa
- delegatecall suorittaa toisen contractin koodia callerin storagella ja kontekstilla, joten näkyvä osoite ei välttämättä kuvaa todellista suorituspolkua.
- Simulointi mallintaa yhden mahdollisen suorituksen
- Simulation ajaa payloadin tietyssä snapshotissa ja ympäristössä. Se on hyödyllistä evidenssiä mutta riippuu block statesta, RPC:stä ja external calleista.
- Todellinen suoritus voi poiketa simuloinnista
- Mutable storage, timestamp, block values ja ulkoinen state voivat muuttua simulationin ja inclusionin välillä; adversarial code voi hyödyntää eroa.
- Bridge lisää uuden turvajärjestelmän
- Cross-chain lisää validators, relayers, light clients, LP:t tai wrapped assets ja siten uuden trust modelin kahden chainin lisäksi.
- Jokainen hop lisää itsenäisiä vikamuotoja
- Route voi kulkea aggregatorin, DEXin, bridgen ja destination-contractien läpi; koostumus lisää approval-, slippage-, availability- ja trust-riskejä.
- Politiikat muuttavat periaatteet toimeenpantaviksi
- Policy voi eskaloida uusia destinationeja, rajata amounts, estää unlimited approvalit tai vaatia second approverin. Sääntöjen on oltava deterministisiä ja selitettäviä.
- Valtuutuksen pitää vastata seurauksia
- Rutiinitoiminnon ja kuusinumeroisen treasury-transferin ei pitäisi käyttää samaa approval pathia; amount, novelty ja permission scope määräävät kontrollit.
ERIKOISTUMISLAAJENNUKSET
Nykyaikaiset protokollat ja operatiiviset aiheet
Nämä laajennukset täydentävät ydinkurssia nykyisillä standardeilla ja turvarajoilla, jotka ammattilaisen tulee tunnistaa.
EXT / 01
Wallet execution permissions ja ERC-7715
Permission request voi antaa toiselle accountille tai sessionille rajattua valtaa. Allowance, expiry, target ja allowed behavior pitää ymmärtää ennen consentia.
Turvallisuusfokuspermission type · rules · expiry · allowance · session authority
OpiskelutehtäväLue ensisijainen aineisto, tunnista luottamusraja ja selitä, miten mekanismi muuttaa valtuutus- tai suoritusmallia.
Vaadittu tuotosTuota tiivis analyytikon muistio, jossa ovat oletukset, olennainen evidenssi, vikatilanteet ja perusteltu turvallisuuspäätös.
Ensisijaiset lähteetERC-7715 ↗
EXT / 02
MEV, ordering ja transaktion altistuminen
Turvallisuus riippuu myös siitä, missä ja milloin operaatio saapuu ordering pipelineen. Tarkastele frontrunningia, sandwich-riskiä ja private orderflow'ta.
Turvallisuusfokusmempool · ordering · frontrunning · sandwiching · private submission
OpiskelutehtäväLue ensisijainen aineisto, tunnista luottamusraja ja selitä, miten mekanismi muuttaa valtuutus- tai suoritusmallia.
Vaadittu tuotosTuota tiivis analyytikon muistio, jossa ovat oletukset, olennainen evidenssi, vikatilanteet ja perusteltu turvallisuuspäätös.
Ensisijaiset lähteetEthereum MEV docs ↗
EXT / 03
L2-sequencerit, data availability ja finality
Rollupit lisäävät sequencing-, data publication- ja settlement-vaiheita. Erottele unsafe, safe ja finalized sekä sequencer outage/censorship ja DA-layer.
Turvallisuusfokussequencer · unsafe/safe/finalized · DA · forced inclusion · L1 settlement
OpiskelutehtäväLue ensisijainen aineisto, tunnista luottamusraja ja selitä, miten mekanismi muuttaa valtuutus- tai suoritusmallia.
Vaadittu tuotosTuota tiivis analyytikon muistio, jossa ovat oletukset, olennainen evidenssi, vikatilanteet ja perusteltu turvallisuuspäätös.
Moduuli 01
Proxyt ja suoritusympäristö
Tämä moduuli syventää aihetta proxyt ja suoritusympäristö soveltavan teorian ja oman päätöslaboratorion avulla.
Oppitunti 1.1
Proxy-osoite ei ole koko sopimus
Tekninen luku
Syvä tekninen oppituntiProxy-osoite ei ole koko sopimus
01
Mentaalinen malli
Upgradeable proxyt pitävät statea yhdessä osoitteessa ja delegoivat logiikan muuttuvaan implementationiin; selvitä implementation ja upgrade authority.
Tämä käsite on tärkeä, koska Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.
Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta. Vertaa kenttiä käyttäjän ilmoittamaan tarkoitukseen ja odotettuun turvarajaan.
02
Mitä todella tapahtuu
Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta.
Protokolla- ja suoritustasolla on tarkastettava proxy ja implementation ja admin ja storage ja upgrade path. Protokollatunnisteita ei käännetä, koska ne ovat osa teknistä payloadia.
proxyTekniset tarkastuspisteet
implementationTekniset tarkastuspisteet
adminTekniset tarkastuspisteet
storageTekniset tarkastuspisteet
upgrade pathTekniset tarkastuspisteet
03
Vikapinta
Käsittele ristiriitoja, liiallista valtuutta ja selittämättömiä riippuvuuksia olennaisina vikamerkkeinä.
Käytännön seuraus on, että Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus tekninen evidence ennen valtuutusta. Tuntematon ei tarkoita turvallista.
- Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus tekninen evidence ennen valtuutusta.
04
Päätöskriteeri
Yhdistä jokainen olennainen signaali sen konkreettiseen vaikutukseen varoihin, valtuuteen tai luottamukseen.
Käytännön seuraus on, että Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus tekninen evidence ennen valtuutusta.
Eskaloidaan, kun evidenssi on ristiriitaista tai puutteellista tai seuraus ylittää rutiinipolitiikan.
05
Varmennusmenettely
Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.
- 01
Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta.
- 02
Vertaa kenttiä käyttäjän ilmoittamaan tarkoitukseen ja odotettuun turvarajaan.
- 03
Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.
- 04
Kirjaa faktat, oletukset, tuntemattomat ja päätös, jotta toinen analyytikko voi toistaa tarkastuksen.
- 05
Eskaloidaan, kun evidenssi on ristiriitaista tai puutteellista tai seuraus ylittää rutiinipolitiikan.
06
Analyytikon vaadittu tuotos
Kirjaa faktat, oletukset, tuntemattomat ja päätös, jotta toinen analyytikko voi toistaa tarkastuksen.
Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana. ja Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus tekninen evidence ennen valtuutusta.
Analyytikon vaadittu tuotosProxy-osoite ei ole koko sopimus · Päätöskriteeri
Tekninen työkirja
Analyytikon tavoite
Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.
Mekaniikka
proxy
user-facing state addressimplementation
delegated logicadmin
upgrade authoritystorage
proxy state layoutupgrade path
logic can change after reviewVirhesignaalit
- 01
proxy verified / implementation unknown
- 02
admin untrusted
- 03
recent implementation change
- 04
initialization ambiguity
- 05
upgradeable spender
Varmennusmenettely
- 01
identify proxy pattern
- 02
read implementation slot / resolver
- 03
verify implementation code
- 04
identify admin / timelock
- 05
record upgradeability as ongoing trust
Päättelyketju
- 01
faktat → olennainen evidenssi
- 02
evidenssi → seuraus / valtuus
- 03
seuraus → selkeä päätös + seuraava toimi
Vaadittu tuotos
proxy trust-boundary mapProtokollin läpikäynti
Seuraa turvallisuuspäätöksen polkua
proxy / upgradeability01Havaitse
- proxy: user-facing state address
- implementation: delegated logic
02Jäljitä
- admin: upgrade authority
- storage: proxy state layout
- upgrade path: logic can change after review
03Kyseenalaista
- proxy verified / implementation unknown
- admin untrusted
- recent implementation change
04Varmenna
- identify proxy pattern
- read implementation slot / resolver
- verify implementation code
05Tulos
- proxy trust-boundary map
Valtuuspintaproxy · implementation · admin
Vikatilanneproxy verified / implementation unknown
Soveltava tapaus
proxy-reviewproxy
verifiedimplementation
0xImplV7implementation Verified
yesupgrade Admin
single EOAlast Upgrade
2 days agotimelock
noneAnalyytikon tehtävä
Tunnista ennen vastausta myönnettävä valtuus, pettävä luottamusraja ja peruuttamaton seuraus.
Evidenssikartta
Järjestä ennen päätöstä
Erottele identiteetti, valtuus, suoritus ja konteksti ennen turvallisuuspäätöstä.
01
Identiteetti
Kuka tai mikä pyytää, vastaanottaa tai edustaa valtuutta?
—
02
Valtuus
Mikä kyky voidaan myöntää, säilyttää tai käyttää?
upgrade Admin
single EOA03
Suoritus
Mitä payload, reitti tai järjestelmä todella tekee?
proxy
verifiedimplementation
0xImplV7implementation Verified
yes04
Konteksti
Mitkä ympäristöfaktat voivat olennaisesti muuttaa päätöstä?
last Upgrade
2 days agotimelock
noneKenttäharjoitus
Vain paikallinen analyytikkotallenneTuota analyytikkokelpoinen havainto
Älä vastaa muistista. Käytä tapausta, protokollakenttiä ja yllä olevaa varmennusmenettelyä toistettavan havainnon kirjoittamiseen.
Painopisteproxy · implementation · admin
Virhesignaaliproxy verified / implementation unknown
Varmenna ensinidentify proxy pattern
Tuotosproxy trust-boundary map
Valmistumiskriteerit
- Viittaa olennaiseen evidenssiin, ei käyttöliittymän ulkoasuun.
- Nimeää valtuuden, tilasiirtymän tai seurauksen.
- Antaa toistettavan seuraavan toimenpiteen tai päätöksen.
Turvallisuushuomiot
- 01
Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.
- 02
Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus tekninen evidence ennen valtuutusta.
Analyytikon muistikirja
Vain paikallinen oppimismerkintäRakenna evidenssimuistiosi
Kirjaa päättelysi ennen tarkistusta ja päätä se selkeään päätökseen tai seuraavaan toimenpiteeseen. Muistiinpanot pysyvät tällä laitteella.
LOCAL STORAGE
Kenttäharjoitus
Kehitä kaikki kolme osiota ennen suorittamista.
Oppitunti 1.2
Delegatecall suorittaa ulkoista koodia paikallisessa tilassa
Tekninen luku
Syvä tekninen oppituntiDelegatecall suorittaa ulkoista koodia paikallisessa tilassa
01
Mentaalinen malli
delegatecall suorittaa toisen contractin koodia callerin storagella ja kontekstilla, joten näkyvä osoite ei välttämättä kuvaa todellista suorituspolkua.
Tämä käsite on tärkeä, koska Keskeinen riski: älä käsittele aihetta delegatecall suorittaa ulkoista koodia paikallisessa tilassa merkityksettömänä yksityiskohtana.
Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta. Vertaa kenttiä käyttäjän ilmoittamaan tarkoitukseen ja odotettuun turvarajaan.
02
Mitä todella tapahtuu
Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta.
Protokolla- ja suoritustasolla on tarkastettava opcode ja code source ja storage context ja msg.sender / value ja risk. Protokollatunnisteita ei käännetä, koska ne ovat osa teknistä payloadia.
opcodeTekniset tarkastuspisteet
code sourceTekniset tarkastuspisteet
storage contextTekniset tarkastuspisteet
msg.sender / valueTekniset tarkastuspisteet
riskTekniset tarkastuspisteet
03
Vikapinta
Käsittele ristiriitoja, liiallista valtuutta ja selittämättömiä riippuvuuksia olennaisina vikamerkkeinä.
Käytännön seuraus on, että Toimi näin: varmista aiheen delegatecall suorittaa ulkoista koodia paikallisessa tilassa tekninen evidence ennen valtuutusta. Tuntematon ei tarkoita turvallista.
- Keskeinen riski: älä käsittele aihetta delegatecall suorittaa ulkoista koodia paikallisessa tilassa merkityksettömänä yksityiskohtana.
- Toimi näin: varmista aiheen delegatecall suorittaa ulkoista koodia paikallisessa tilassa tekninen evidence ennen valtuutusta.
04
Päätöskriteeri
Yhdistä jokainen olennainen signaali sen konkreettiseen vaikutukseen varoihin, valtuuteen tai luottamukseen.
Käytännön seuraus on, että Toimi näin: varmista aiheen delegatecall suorittaa ulkoista koodia paikallisessa tilassa tekninen evidence ennen valtuutusta.
Eskaloidaan, kun evidenssi on ristiriitaista tai puutteellista tai seuraus ylittää rutiinipolitiikan.
05
Varmennusmenettely
Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.
- 01
Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta.
- 02
Vertaa kenttiä käyttäjän ilmoittamaan tarkoitukseen ja odotettuun turvarajaan.
- 03
Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.
- 04
Kirjaa faktat, oletukset, tuntemattomat ja päätös, jotta toinen analyytikko voi toistaa tarkastuksen.
- 05
Eskaloidaan, kun evidenssi on ristiriitaista tai puutteellista tai seuraus ylittää rutiinipolitiikan.
06
Analyytikon vaadittu tuotos
Kirjaa faktat, oletukset, tuntemattomat ja päätös, jotta toinen analyytikko voi toistaa tarkastuksen.
Keskeinen riski: älä käsittele aihetta delegatecall suorittaa ulkoista koodia paikallisessa tilassa merkityksettömänä yksityiskohtana. ja Toimi näin: varmista aiheen delegatecall suorittaa ulkoista koodia paikallisessa tilassa tekninen evidence ennen valtuutusta.
Analyytikon vaadittu tuotosDelegatecall suorittaa ulkoista koodia paikallisessa tilassa · Päätöskriteeri
Tekninen työkirja
Analyytikon tavoite
Keskeinen riski: älä käsittele aihetta delegatecall suorittaa ulkoista koodia paikallisessa tilassa merkityksettömänä yksityiskohtana.
Mekaniikka
opcode
DELEGATECALLcode source
callee implementationstorage context
caller storagemsg.sender / value
preserved call contextrisk
foreign code mutates local stateVirhesignaalit
- 01
unexpected delegatecall
- 02
implementation not verified
- 03
storage collision risk
- 04
privileged method reachable
- 05
dynamic implementation selection
Varmennusmenettely
- 01
identify delegatecall edge
- 02
resolve callee code
- 03
map caller storage context
- 04
trace privileged effects
- 05
compare reachable authority to intent
Päättelyketju
- 01
faktat → olennainen evidenssi
- 02
evidenssi → seuraus / valtuus
- 03
seuraus → selkeä päätös + seuraava toimi
Vaadittu tuotos
delegatecall execution traceProtokollin läpikäynti
Seuraa turvallisuuspäätöksen polkua
delegatecall / context01Havaitse
- opcode: DELEGATECALL
- code source: callee implementation
02Jäljitä
- storage context: caller storage
- msg.sender / value: preserved call context
- risk: foreign code mutates local state
03Kyseenalaista
- unexpected delegatecall
- implementation not verified
- storage collision risk
04Varmenna
- identify delegatecall edge
- resolve callee code
- map caller storage context
05Tulos
- delegatecall execution trace
Valtuuspintaopcode · code source · storage context
Vikatilanneunexpected delegatecall
Soveltava tapaus
delegate-pathentry
proxymethod
execute(bytes)delegatecall
facet 0xF...storage
proxycaller
user walletfacet Verified
novalue
0 ETHAnalyytikon tehtävä
Tunnista ennen vastausta myönnettävä valtuus, pettävä luottamusraja ja peruuttamaton seuraus.
Evidenssikartta
Järjestä ennen päätöstä
Erottele identiteetti, valtuus, suoritus ja konteksti ennen turvallisuuspäätöstä.
01
Identiteetti
Kuka tai mikä pyytää, vastaanottaa tai edustaa valtuutta?
—
02
Valtuus
Mikä kyky voidaan myöntää, säilyttää tai käyttää?
—
03
Suoritus
Mitä payload, reitti tai järjestelmä todella tekee?
method
execute(bytes)delegatecall
facet 0xF...storage
proxycaller
user walletvalue
0 ETH04
Konteksti
Mitkä ympäristöfaktat voivat olennaisesti muuttaa päätöstä?
entry
proxyfacet Verified
noKenttäharjoitus
Vain paikallinen analyytikkotallenneTuota analyytikkokelpoinen havainto
Älä vastaa muistista. Käytä tapausta, protokollakenttiä ja yllä olevaa varmennusmenettelyä toistettavan havainnon kirjoittamiseen.
Painopisteopcode · code source · storage context
Virhesignaaliunexpected delegatecall
Varmenna ensinidentify delegatecall edge
Tuotosdelegatecall execution trace
Valmistumiskriteerit
- Viittaa olennaiseen evidenssiin, ei käyttöliittymän ulkoasuun.
- Nimeää valtuuden, tilasiirtymän tai seurauksen.
- Antaa toistettavan seuraavan toimenpiteen tai päätöksen.
Turvallisuushuomiot
- 01
Keskeinen riski: älä käsittele aihetta delegatecall suorittaa ulkoista koodia paikallisessa tilassa merkityksettömänä yksityiskohtana.
- 02
Toimi näin: varmista aiheen delegatecall suorittaa ulkoista koodia paikallisessa tilassa tekninen evidence ennen valtuutusta.
Analyytikon muistikirja
Vain paikallinen oppimismerkintäRakenna evidenssimuistiosi
Kirjaa päättelysi ennen tarkistusta ja päätä se selkeään päätökseen tai seuraavaan toimenpiteeseen. Muistiinpanot pysyvät tällä laitteella.
LOCAL STORAGE
Kenttäharjoitus
Kehitä kaikki kolme osiota ennen suorittamista.
Käytännön laboratorio lukittu
Läpäise moduulin molemmat tietotarkistukset ennen laboratoriota.
Moduuli 02
Simulointi ja sen rajat
Tämä moduuli syventää aihetta simulointi ja sen rajat soveltavan teorian ja oman päätöslaboratorion avulla.
Moduuli lukittu
Suorita edellinen moduuli ja sen käytännön laboratorio ennen jatkamista.
Moduuli 03
Cross-chain-luottamus ja reititys
Tämä moduuli syventää aihetta cross-chain-luottamus ja reititys soveltavan teorian ja oman päätöslaboratorion avulla.
Moduuli lukittu
Suorita edellinen moduuli ja sen käytännön laboratorio ennen jatkamista.
Moduuli 04
Transaktiopolitiikat
Tämä moduuli syventää aihetta transaktiopolitiikat soveltavan teorian ja oman päätöslaboratorion avulla.
Moduuli lukittu
Suorita edellinen moduuli ja sen käytännön laboratorio ennen jatkamista.
Loppukoe
Loppukoe
Kumulatiivinen koe rakennetaan jokaisella yrityksellä uudelleen kurssin käsitteistä ja käytännön tapauksista.
Vähintään 80 % vaaditaan. Pelkkä teoria ei tuota suoritustodistusta.
Läpimenoraja80%
Paras tulos0%
Pankki52
Yritys20
Yritykset0
Aikaraja40 min
LUKITTUSuorita kaikki oppituntien tarkistukset ja käytännön laboratoriot ennen loppukokeen avaamista.