UTXOSUITE — home
← Takaisin Akatemiaan
TASO 3 · Ilmainen

Ymmärrä mitä Allekirjoitat

Opi approvals, calldata, EIP-712, Permit ja Permit2.

8 oppituntia · 8 Kenttäharjoitus · 8 Käytännön skenaariot · 20 kysymys · 80% läpimenoraja
Aloita opiskelu0% · 0/21

Mitä osaat tämän jälkeen

Tämä moduuli syventää aihetta transaktion tarkoitus ja calldata soveltavan teorian ja oman päätöslaboratorion avulla.

Tämä moduuli syventää aihetta hyväksynnät ja käyttövalta soveltavan teorian ja oman päätöslaboratorion avulla.

Tämä moduuli syventää aihetta eip-712, permit ja permit2 soveltavan teorian ja oman päätöslaboratorion avulla.

Tämä moduuli syventää aihetta tarkoituksen rekonstruointi ja päätös soveltavan teorian ja oman päätöslaboratorion avulla.

Opetussuunnitelma

1.1 · Painike ei ole transaktio22 min
1.2 · Kohde ja arvo ovat ensimmäiset invariantit16 min
Laboratorio · Dekoodaa spend authority

Tämä kurssi sisältää

  • 8 oppituntia · 16 ohjattua tuntia
  • 4 Laboratorio · Käytännön skenaariot
  • 8 Soveltavat tapaukset · 8 Tietotarkistukset
  • 52 Koepankki · 80% läpäisyraja
  • Suoritustodistus: UTXO Certified · Signing & Approval Literacy

Mitä tämä kurssi edellyttää

  • Muuta allekirjoitus oikeuksiksi, käyttövallaksi ja riskiksi.
  • Läpimenoraja: 80%
  • Lompakkoturva ja itsehallinta
Kurssibriefing

Koulutussopimus

Muuta allekirjoitus oikeuksiksi, käyttövallaksi ja riskiksi.

01 · TavoiteosaaminenMuuta allekirjoitus oikeuksiksi, käyttövallaksi ja riskiksi.
02 · Suositeltu esitietoLompakkoturva ja itsehallinta
Käytännön tuotokset
01

Transaktion tarkoitus ja calldata

Tämä moduuli syventää aihetta transaktion tarkoitus ja calldata soveltavan teorian ja oman päätöslaboratorion avulla.

Evidenssimuistio · APPROVAL
02

Hyväksynnät ja käyttövalta

Tämä moduuli syventää aihetta hyväksynnät ja käyttövalta soveltavan teorian ja oman päätöslaboratorion avulla.

Evidenssimuistio · APPROVAL
03

EIP-712, Permit ja Permit2

Tämä moduuli syventää aihetta eip-712, permit ja permit2 soveltavan teorian ja oman päätöslaboratorion avulla.

Evidenssimuistio · TYPED-DATA
04

Tarkoituksen rekonstruointi ja päätös

Tämä moduuli syventää aihetta tarkoituksen rekonstruointi ja päätös soveltavan teorian ja oman päätöslaboratorion avulla.

Evidenssimuistio · APPROVAL
Arviointisopimus
Oppituntitarkistukset8
Moduulilaboratoriot4
Loppukoe20
Hallinnan raja80%
Täydellinen opetussuunnitelma

Ymmärrä mitä Allekirjoitat

Tarkista koko opetussuunnitelma, osaamiset ja arviointipolku ennen aloittamista.

Ohjattu opiskelukuorma16h
moduulia4
oppituntia8
01

Transaktion tarkoitus ja calldata

Tämä moduuli syventää aihetta transaktion tarkoitus ja calldata soveltavan teorian ja oman päätöslaboratorion avulla.

1.1
Painike ei ole transaktio45 min · Syvä tekninen oppitunti
1.2
Kohde ja arvo ovat ensimmäiset invariantit45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioDekoodaa spend authority
02

Hyväksynnät ja käyttövalta

Tämä moduuli syventää aihetta hyväksynnät ja käyttövalta soveltavan teorian ja oman päätöslaboratorion avulla.

2.1
Approval delegoi tulevaa käyttövaltaa45 min · Syvä tekninen oppitunti
2.2
Unlimited approval kasvattaa vahinkosädettä45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioDekoodaa spend authority
03

EIP-712, Permit ja Permit2

Tämä moduuli syventää aihetta eip-712, permit ja permit2 soveltavan teorian ja oman päätöslaboratorion avulla.

3.1
Typed data on edelleen valtuutus45 min · Syvä tekninen oppitunti
3.2
Permit voi siirtää valtuuden off-chain-allekirjoitukseen45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioLue Permit2
04

Tarkoituksen rekonstruointi ja päätös

Tämä moduuli syventää aihetta tarkoituksen rekonstruointi ja päätös soveltavan teorian ja oman päätöslaboratorion avulla.

4.1
Rekonstruoi tarkoitus riippumattomista signaaleista45 min · Syvä tekninen oppitunti
4.2
Riskin pitää päätyä ymmärrettävään päätökseen45 min · Syvä tekninen oppitunti
Moduulin käytännön laboratorioDekoodaa spend authority
Osaamiset
  • Keskeinen riski: älä käsittele aihetta painike ei ole transaktio merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen painike ei ole transaktio tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta kohde ja arvo ovat ensimmäiset invariantit merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen kohde ja arvo ovat ensimmäiset invariantit tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta approval delegoi tulevaa käyttövaltaa merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen approval delegoi tulevaa käyttövaltaa tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta unlimited approval kasvattaa vahinkosädettä merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen unlimited approval kasvattaa vahinkosädettä tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta typed data on edelleen valtuutus merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen typed data on edelleen valtuutus tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta permit voi siirtää valtuuden off-chain-allekirjoitukseen merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen permit voi siirtää valtuuden off-chain-allekirjoitukseen tekninen evidence ennen valtuutusta.
Arviointipolku
  1. Kirjallinen kenttäharjoitus × 8
  2. Tietotarkistukset × 8
  3. Moduulin käytännön laboratorio × 4
  4. Ajastettu loppukoe · 20 · ≥ 80%
Ohjattu opiskelukuorma
  1. Syvä tekninen oppitunti · 360 min
  2. Kirjallinen kenttäharjoitus · 160 min
  3. Moduulin käytännön laboratorio · 140 min
  4. Specialist units · 105 min
  5. Ajastettu loppukoe · 35 min
KURSSIKÄSIKIRJA

Laajuus, oppimistulokset ja opiskelustandardi

16h
Kenelle

Opi approvals, calldata, EIP-712, Permit ja Permit2.

Esitiedot

Suositeltu aiempi opiskelu

  • Krypton ja lohkoketjun perusteet
  • Lompakkoturva ja itsehallinta
Oppimistulokset
  • Keskeinen riski: älä käsittele aihetta painike ei ole transaktio merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen painike ei ole transaktio tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta kohde ja arvo ovat ensimmäiset invariantit merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen kohde ja arvo ovat ensimmäiset invariantit tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta approval delegoi tulevaa käyttövaltaa merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen approval delegoi tulevaa käyttövaltaa tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta unlimited approval kasvattaa vahinkosädettä merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen unlimited approval kasvattaa vahinkosädettä tekninen evidence ennen valtuutusta.
  • Keskeinen riski: älä käsittele aihetta typed data on edelleen valtuutus merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen typed data on edelleen valtuutus tekninen evidence ennen valtuutusta.
Opiskelumenetelmä
  1. 01

    Lue kuusiosainen tekninen luku

  2. 02

    Tarkasta yksilöllinen visual ja protokollamalli

  3. 03

    Työstä tapaus ja evidenssikartta

  4. 04

    Palauta kirjallinen kenttäharjoitus

  5. 05

    Läpäise knowledge check ja moduulilab

  6. 06

    Suorita ajastettu loppuarviointi

Evidenssistandardi

Väitteet sidotaan havaittaviin kenttiin, protokollan käyttäytymiseen, ensisijaisiin lähteisiin tai selvästi ilmoitettuihin oletuksiin. Tuntemattomat pidetään näkyvinä.

Suorituskriteeri

Suoritus vaatii kirjallisen työn, knowledge checkit, kaikki labit ja vähintään 80% loppukokeesta. Ammattilaistaso vaatii myös capstonen.

Keskeinen sanasto
Painike ei ole transaktio
EVM:ssä calldata määrittää function ja parametrit. UI voi sanoa 'swap', vaikka payload tekee muuta; dekoodaa ja vertaa tarkoitukseen.
Kohde ja arvo ovat ensimmäiset invariantit
Varmista ensin chain, native-value-kohde, kutsutut contractit ja value; zero native value ei tarkoita zero risk.
Approval delegoi tulevaa käyttövaltaa
ERC-20 approve voi antaa spenderille pysyvän oikeuden siirtää tokeneita myöhemmin, vaikka approval ei nyt siirrä mitään.
Unlimited approval kasvattaa vahinkosädettä
Maksimi-allowance vähentää toistuvia approvaleja, mutta voi altistaa koko tulevan token-saldon luvan voimassaolon ajan.
Typed data on edelleen valtuutus
EIP-712 jäsentää dataa, mutta orders, permits ja muut oikeudet voivat edelleen aiheuttaa merkittäviä on-chain-vaikutuksia.
Permit voi siirtää valtuuden off-chain-allekirjoitukseen
Permit ja Permit2 antavat spend authorityn signaturella; spender, token, amount, nonce, deadline ja verifying contract määrittävät todellisen laajuuden.
Rekonstruoi tarkoitus riippumattomista signaaleista
Pre-signature-kerros vertaa originia, chainia, destinationia, methodia, parametreja, approvaleja ja odotettuja asset changes -tietoja käyttäjän tarkoitukseen.
Riskin pitää päätyä ymmärrettävään päätökseen
Pelkkä score aiheuttaa automation biasia. Näytä mikä on poikkeavaa, mitä valtaa annetaan, mitä voidaan menettää ja mitä epävarmuutta jää.
ERIKOISTUMISLAAJENNUKSET

Nykyaikaiset protokollat ja operatiiviset aiheet

Nämä laajennukset täydentävät ydinkurssia nykyisillä standardeilla ja turvarajoilla, jotka ammattilaisen tulee tunnistaa.

Replay-suojaus, noncet ja domain separation
Erikoistunut opiskeluyksikkö01
EXT / 01

Replay-suojaus, noncet ja domain separation

Authorization pitää sitoa chainiin, contractiin, account stateen ja voimassaoloon. EIP-155 ja EIP-712 pienentävät replay-riskiä eri mekanismeilla.

Turvallisuusfokusnonce · chainId · domain separator · verifyingContract · replay window
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ähteetEIP-155 ↗EIP-712 ↗
ERC-4337 UserOperations ja account abstraction
Erikoistunut opiskeluyksikkö02
EXT / 02

ERC-4337 UserOperations ja account abstraction

UserOperations siirtää validoinnin smart account -logiikkaan ja tuo bundlerit, EntryPointin, paymasterit ja simulation-säännöt. Review kattaa koko pipelineen.

TurvallisuusfokusUserOperation · EntryPoint · bundler · paymaster · validation simulation
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-4337 ↗
EIP-7702 delegated EOAs
Erikoistunut opiskeluyksikkö03
EXT / 03

EIP-7702 delegated EOAs

EIP-7702 mahdollistaa persistent code delegationin signed authorization tuples -rakenteilla. Tarkista chain binding, nonce, delegate implementation, initialization ja revocation.

Turvallisuusfokusauthorization tuple · delegated code · persistent delegation · nonce · revocation
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ähteetEIP-7702 ↗
Moduuli 01

Transaktion tarkoitus ja calldata

Tämä moduuli syventää aihetta transaktion tarkoitus ja calldata soveltavan teorian ja oman päätöslaboratorion avulla.

Tähän kurssimoduuliin liittyvä tekninen ympäristö
Oppitunti 1.1

Painike ei ole transaktio

22 min
UTXO ACADEMY / CONCEPT MODELCALLDATADECODE INTENTVISUAL AID · NOT A SECURITY VERDICT
Tekninen luku

Painike ei ole transaktio

Syvä tekninen oppitunti
01
Mentaalinen malli

EVM:ssä calldata määrittää function ja parametrit. UI voi sanoa 'swap', vaikka payload tekee muuta; dekoodaa ja vertaa tarkoitukseen.

Tämä käsite on tärkeä, koska Keskeinen riski: älä käsittele aihetta painike ei ole transaktio 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 selector ja arguments ja target ja native value ja nested execution. Protokollatunnisteita ei käännetä, koska ne ovat osa teknistä payloadia.

selector

Tekniset tarkastuspisteet

arguments

Tekniset tarkastuspisteet

target

Tekniset tarkastuspisteet

native value

Tekniset tarkastuspisteet

nested execution

Tekniset 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 painike ei ole transaktio tekninen evidence ennen valtuutusta. Tuntematon ei tarkoita turvallista.

  • Keskeinen riski: älä käsittele aihetta painike ei ole transaktio merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen painike ei ole transaktio 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 painike ei ole transaktio tekninen evidence ennen valtuutusta.

Eskaloidaan, kun evidenssi on ristiriitaista tai puutteellista tai seuraus ylittää rutiinipolitiikan.

05
Varmennusmenettely

Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.

  1. 01

    Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta.

  2. 02

    Vertaa kenttiä käyttäjän ilmoittamaan tarkoitukseen ja odotettuun turvarajaan.

  3. 03

    Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.

  4. 04

    Kirjaa faktat, oletukset, tuntemattomat ja päätös, jotta toinen analyytikko voi toistaa tarkastuksen.

  5. 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 painike ei ole transaktio merkityksettömänä yksityiskohtana. ja Toimi näin: varmista aiheen painike ei ole transaktio tekninen evidence ennen valtuutusta.

Analyytikon vaadittu tuotosPainike ei ole transaktio · Päätöskriteeri
Painike ei ole transaktio
LESSON VISUALPainike ei ole transaktiocalldata intent
Painike ei ole transaktio
KÄYTÄNNÖN KONTEKSTI · ALLEKIRJOITUKSEN TARKASTUSYMPÄRISTÖPainike ei ole transaktioKÄSITE → TODELLINEN YMPÄRISTÖ → OPERATIIVINEN PÄÄTÖS
VISUAL MODEL / REQUEST FLOWcalldata-intent
N01N02N03N04N05N06REQUEST FLOWPainike ei ole transaktio
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
Tekninen työkirja

Analyytikon tavoite

Keskeinen riski: älä käsittele aihetta painike ei ole transaktio merkityksettömänä yksityiskohtana.

Mekaniikka
selectorcalldata[0:4]
argumentsABI-decoded parameters
targettransaction.to
native valuetransaction.value
nested executionmulticall / router subcalls
Virhesignaalit
  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

Varmennusmenettely
  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

Päättelyketju
  1. 01

    faktat → olennainen evidenssi

  2. 02

    evidenssi → seuraus / valtuus

  3. 03

    seuraus → selkeä päätös + seuraava toimi

Vaadittu tuotosdecoded-intent record + mismatch list
Protokollin läpikäynti

Seuraa turvallisuuspäätöksen polkua

calldata / intent
01Havaitse
  • selector: calldata[0:4]
  • arguments: ABI-decoded parameters
02Jäljitä
  • target: transaction.to
  • native value: transaction.value
  • nested execution: multicall / router subcalls
03Kyseenalaista
  • UI intent != decoded method
  • unknown selector
  • unexpected recipient
04Varmenna
  • capture exact payload
  • resolve selector / ABI
  • decode every material parameter
05Tulos
  • decoded-intent record + mismatch list
Valtuuspintaselector · arguments · target
VikatilanneUI intent != decoded method
Soveltava tapaus
decode-calldata
TAPAUS / calldata-intent
ui ActionSwap 1 ETH
method Selector0x095ea7b3
decoded Methodapprove(address,uint256)
spender0xNew...
amountMAX_UINT256
native Value0
Analyytikon 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ää?

spender0xNew...
03
Suoritus

Mitä payload, reitti tai järjestelmä todella tekee?

method Selector0x095ea7b3
decoded Methodapprove(address,uint256)
amountMAX_UINT256
native Value0
04
Konteksti

Mitkä ympäristöfaktat voivat olennaisesti muuttaa päätöstä?

ui ActionSwap 1 ETH
Kenttäharjoitus

Tuota analyytikkokelpoinen havainto

Vain paikallinen analyytikkotallenne

Älä vastaa muistista. Käytä tapausta, protokollakenttiä ja yllä olevaa varmennusmenettelyä toistettavan havainnon kirjoittamiseen.

Painopisteselector · arguments · target
VirhesignaaliUI intent != decoded method
Varmenna ensincapture exact payload
Tuotosdecoded-intent record + mismatch list
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
  1. 01

    Keskeinen riski: älä käsittele aihetta painike ei ole transaktio merkityksettömänä yksityiskohtana.

  2. 02

    Toimi näin: varmista aiheen painike ei ole transaktio tekninen evidence ennen valtuutusta.

Analyytikon muistikirja

Rakenna evidenssimuistiosi

Vain paikallinen oppimismerkintä

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

Kohde ja arvo ovat ensimmäiset invariantit

16 min
UTXO ACADEMY / CONCEPT MODELVALUE / DESTINATIONFIRST INVARIANTSVISUAL AID · NOT A SECURITY VERDICT
Tekninen luku

Kohde ja arvo ovat ensimmäiset invariantit

Syvä tekninen oppitunti
01
Mentaalinen malli

Varmista ensin chain, native-value-kohde, kutsutut contractit ja value; zero native value ei tarkoita zero risk.

Tämä käsite on tärkeä, koska Keskeinen riski: älä käsittele aihetta kohde ja arvo ovat ensimmäiset invariantit 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 chain ja recipient ja native value ja token movement ja intermediary. Protokollatunnisteita ei käännetä, koska ne ovat osa teknistä payloadia.

chain

Tekniset tarkastuspisteet

recipient

Tekniset tarkastuspisteet

native value

Tekniset tarkastuspisteet

token movement

Tekniset tarkastuspisteet

intermediary

Tekniset 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 kohde ja arvo ovat ensimmäiset invariantit tekninen evidence ennen valtuutusta. Tuntematon ei tarkoita turvallista.

  • Keskeinen riski: älä käsittele aihetta kohde ja arvo ovat ensimmäiset invariantit merkityksettömänä yksityiskohtana.
  • Toimi näin: varmista aiheen kohde ja arvo ovat ensimmäiset invariantit 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 kohde ja arvo ovat ensimmäiset invariantit tekninen evidence ennen valtuutusta.

Eskaloidaan, kun evidenssi on ristiriitaista tai puutteellista tai seuraus ylittää rutiinipolitiikan.

05
Varmennusmenettely

Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.

  1. 01

    Tarkasta täsmälliset protokollakentät, jotka luovat valtuutta tai muuttavat suoritusta.

  2. 02

    Vertaa kenttiä käyttäjän ilmoittamaan tarkoitukseen ja odotettuun turvarajaan.

  3. 03

    Varmenna pyyntö riippumattomalla evidenssillä ennen peruuttamatonta valtuutusta.

  4. 04

    Kirjaa faktat, oletukset, tuntemattomat ja päätös, jotta toinen analyytikko voi toistaa tarkastuksen.

  5. 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 kohde ja arvo ovat ensimmäiset invariantit merkityksettömänä yksityiskohtana. ja Toimi näin: varmista aiheen kohde ja arvo ovat ensimmäiset invariantit tekninen evidence ennen valtuutusta.

Analyytikon vaadittu tuotosKohde ja arvo ovat ensimmäiset invariantit · Päätöskriteeri
Kohde ja arvo ovat ensimmäiset invariantit
LESSON VISUALKohde ja arvo ovat ensimmäiset invariantitvalue destination
Kohde ja arvo ovat ensimmäiset invariantit
KÄYTÄNNÖN KONTEKSTI · ALLEKIRJOITUKSEN TARKASTUSYMPÄRISTÖKohde ja arvo ovat ensimmäiset invariantitKÄSITE → TODELLINEN YMPÄRISTÖ → OPERATIIVINEN PÄÄTÖS
VISUAL MODEL / INCIDENT TIMELINEvalue-destination
N01N02N03N04N05N06INCIDENT TIMELINEKohde ja arvo ovat ensimmäiset invariantit
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
Tekninen työkirja

Analyytikon tavoite

Keskeinen riski: älä käsittele aihetta kohde ja arvo ovat ensimmäiset invariantit merkityksettömänä yksityiskohtana.

Mekaniikka
chainchainId / network context
recipientto / resolved destination
native valuemsg.value / value
token movementdecoded transfer / transferFrom
intermediaryrouter / bridge / proxy
Virhesignaalit
  1. 01

    chain switch

  2. 02

    new destination

  3. 03

    clipboard substitution

  4. 04

    visible recipient != payload target

  5. 05

    zero-value call grants authority

Varmennusmenettely
  1. 01

    confirm chainId

  2. 02

    resolve full destination

  3. 03

    inspect native value

  4. 04

    decode token movements

  5. 05

    verify intermediary purpose

Päättelyketju
  1. 01

    faktat → olennainen evidenssi

  2. 02

    evidenssi → seuraus / valtuus

  3. 03

    seuraus → selkeä päätös + seuraava toimi

Vaadittu tuotosdestination-integrity record
Protokollin läpikäynti

Seuraa turvallisuuspäätöksen polkua

value / destination
01Havaitse
  • chain: chainId / network context
  • recipient: to / resolved destination
02Jäljitä
  • native value: msg.value / value
  • token movement: decoded transfer / transferFrom
  • intermediary: router / bridge / proxy
03Kyseenalaista
  • chain switch
  • new destination
  • clipboard substitution
04Varmenna
  • confirm chainId
  • resolve full destination
  • inspect native value
05Tulos
  • destination-integrity record
Valtuuspintachain · recipient · native value
Vikatilannechain switch
Soveltava tapaus
first-invariants
TAPAUS / value-destination
chainArbitrum
ui ChainEthereum
native Value0.3 ETH
top Level To0xRouter...
final Recipientunknown
contract Age2 hours
Analyytikon 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?

final Recipientunknown
02
Valtuus

Mikä kyky voidaan myöntää, säilyttää tai käyttää?

—
03
Suoritus

Mitä payload, reitti tai järjestelmä todella tekee?

native Value0.3 ETH
04
Konteksti

Mitkä ympäristöfaktat voivat olennaisesti muuttaa päätöstä?

chainArbitrum
ui ChainEthereum
top Level To0xRouter...
contract Age2 hours
Kenttäharjoitus

Tuota analyytikkokelpoinen havainto

Vain paikallinen analyytikkotallenne

Älä vastaa muistista. Käytä tapausta, protokollakenttiä ja yllä olevaa varmennusmenettelyä toistettavan havainnon kirjoittamiseen.

Painopistechain · recipient · native value
Virhesignaalichain switch
Varmenna ensinconfirm chainId
Tuotosdestination-integrity record
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
  1. 01

    Keskeinen riski: älä käsittele aihetta kohde ja arvo ovat ensimmäiset invariantit merkityksettömänä yksityiskohtana.

  2. 02

    Toimi näin: varmista aiheen kohde ja arvo ovat ensimmäiset invariantit tekninen evidence ennen valtuutusta.

Analyytikon muistikirja

Rakenna evidenssimuistiosi

Vain paikallinen oppimismerkintä

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

Hyväksynnät ja käyttövalta

Tämä moduuli syventää aihetta hyväksynnät ja käyttövalta soveltavan teorian ja oman päätöslaboratorion avulla.

Moduuli lukittu

Suorita edellinen moduuli ja sen käytännön laboratorio ennen jatkamista.

Moduuli 03

EIP-712, Permit ja Permit2

Tämä moduuli syventää aihetta eip-712, permit ja permit2 soveltavan teorian ja oman päätöslaboratorion avulla.

Tähän kurssimoduuliin liittyvä operatiivinen turvallisuusympäristö
Moduuli lukittu

Suorita edellinen moduuli ja sen käytännön laboratorio ennen jatkamista.

Moduuli 04

Tarkoituksen rekonstruointi ja päätös

Tämä moduuli syventää aihetta tarkoituksen rekonstruointi ja päätös 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
Aikaraja35 min
Loppukoe
UTXO ACADEMY / LOPPUKOE · understand-signingLoppukoe
LUKITTUSuorita kaikki oppituntien tarkistukset ja käytännön laboratoriot ennen loppukokeen avaamista.
Edistyminen · 0%
Jatka