Kurssisivu
Edistynyt transaktioturva1 / 14
Oppitunti 1.1

Proxy-osoite ei ole koko sopimus

UTXO ACADEMY / CONCEPT MODELPROXYRESOLVE IMPLEMENTATIONVISUAL AID · NOT A SECURITY VERDICT
Tekninen luku

Proxy-osoite ei ole koko sopimus

Syvä tekninen oppitunti
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.

proxy

Tekniset tarkastuspisteet

implementation

Tekniset tarkastuspisteet

admin

Tekniset tarkastuspisteet

storage

Tekniset tarkastuspisteet

upgrade path

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

  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 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
Proxy-osoite ei ole koko sopimus
LESSON VISUALProxy-osoite ei ole koko sopimusproxy upgradeability
Proxy-osoite ei ole koko sopimus
KÄYTÄNNÖN KONTEKSTI · PROXY- JA SUORITUSARKKITEHTUURIProxy-osoite ei ole koko sopimusKÄSITE → TODELLINEN YMPÄRISTÖ → OPERATIIVINEN PÄÄTÖS
VISUAL MODEL / STATE GRAPHproxy-upgradeability
N01N02N03N04N05N06STATE GRAPHProxy-osoite ei ole koko sopimus
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
Tekninen työkirja

Analyytikon tavoite

Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.

Mekaniikka
proxyuser-facing state address
implementationdelegated logic
adminupgrade authority
storageproxy state layout
upgrade pathlogic can change after review
Virhesignaalit
  1. 01

    proxy verified / implementation unknown

  2. 02

    admin untrusted

  3. 03

    recent implementation change

  4. 04

    initialization ambiguity

  5. 05

    upgradeable spender

Varmennusmenettely
  1. 01

    identify proxy pattern

  2. 02

    read implementation slot / resolver

  3. 03

    verify implementation code

  4. 04

    identify admin / timelock

  5. 05

    record upgradeability as ongoing trust

Päättelyketju
  1. 01

    faktat → olennainen evidenssi

  2. 02

    evidenssi → seuraus / valtuus

  3. 03

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

Vaadittu tuotosproxy trust-boundary map
Protokollin läpikäynti

Seuraa turvallisuuspäätöksen polkua

proxy / upgradeability
01Havaitse
  • 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-review
TAPAUS / proxy-upgradeability
proxyverified
implementation0xImplV7
implementation Verifiedyes
upgrade Adminsingle EOA
last Upgrade2 days ago
timelocknone
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ää?

upgrade Adminsingle EOA
03
Suoritus

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

proxyverified
implementation0xImplV7
implementation Verifiedyes
04
Konteksti

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

last Upgrade2 days ago
timelocknone
Kenttäharjoitus

Tuota analyytikkokelpoinen havainto

Vain paikallinen analyytikkotallenne

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

    Keskeinen riski: älä käsittele aihetta proxy-osoite ei ole koko sopimus merkityksettömänä yksityiskohtana.

  2. 02

    Toimi näin: varmista aiheen proxy-osoite ei ole koko sopimus 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.

Tämä moduuli syventää aihetta proxyt ja suoritusympäristö soveltavan teorian ja oman päätöslaboratorion avulla.

Sijainti kurssilla
1 / 14
Tämän jälkeen avautuu
Delegatecall suorittaa ulkoista koodia paikallisessa tilassa
Edistyminen
0/21 · 0%

Kurssin sisältö

Moduuli 01Proxyt ja suoritusympäristö
Moduuli 02Simulointi ja sen rajat
Moduuli 03Cross-chain-luottamus ja reititys
Moduuli 04Transaktiopolitiikat
ArviointiArviointi