Cursuspagina
Advanced Transaction Security1 van 14
Les 1.1

Het proxy-adres is niet het hele contract

UTXO ACADEMY / CONCEPT MODELPROXYRESOLVE IMPLEMENTATIONVISUAL AID · NOT A SECURITY VERDICT
Technisch hoofdstuk

Het proxy-adres is niet het hele contract

Diepgaande technische les
01
Mentaal model

Upgradeable proxies bewaren state op één adres en delegeren logica aan veranderbare implementation; resolve implementation en upgrade authority.

Dit concept is belangrijk omdat Kernrisico: behandel het proxy-adres is niet het hele contract niet als een onbelangrijk detail.

Inspecteer de exacte protocolvelden die authority creëren of execution veranderen. Vergelijk die velden met de verklaarde gebruikersintentie en de verwachte security boundary.

02
Wat er werkelijk gebeurt

Inspecteer de exacte protocolvelden die authority creëren of execution veranderen.

Op protocol- en uitvoeringsniveau moet je inspecteren proxy en implementation en admin en storage en upgrade path. Protocol-identifiers blijven onvertaald omdat ze onderdeel zijn van de technische payload.

proxy

Technische inspectiepunten

implementation

Technische inspectiepunten

admin

Technische inspectiepunten

storage

Technische inspectiepunten

upgrade path

Technische inspectiepunten

03
Faaloppervlak

Behandel tegenstrijdigheden, buitensporige authority en onverklaarde dependencies als materiële faalsignalen.

Het praktische gevolg is dat Actie: verifieer de technische evidence rond het proxy-adres is niet het hele contract vóór autorisatie. Onbekend is niet hetzelfde als veilig.

  • Kernrisico: behandel het proxy-adres is niet het hele contract niet als een onbelangrijk detail.
  • Actie: verifieer de technische evidence rond het proxy-adres is niet het hele contract vóór autorisatie.
04
Beslisstandaard

Vertaal elk materieel signaal naar de concrete consequentie voor assets, authority of trust.

Het praktische gevolg is dat Actie: verifieer de technische evidence rond het proxy-adres is niet het hele contract vóór autorisatie.

Escaleren wanneer bewijs tegenstrijdig of onvolledig is, of wanneer de consequentie routinebeleid overschrijdt.

05
Verificatieprocedure

Verifieer de request met onafhankelijk bewijs vóór onomkeerbare authorization.

  1. 01

    Inspecteer de exacte protocolvelden die authority creëren of execution veranderen.

  2. 02

    Vergelijk die velden met de verklaarde gebruikersintentie en de verwachte security boundary.

  3. 03

    Verifieer de request met onafhankelijk bewijs vóór onomkeerbare authorization.

  4. 04

    Leg feiten, aannames, unknowns en beslissing vast zodat een andere analist de review kan reproduceren.

  5. 05

    Escaleren wanneer bewijs tegenstrijdig of onvolledig is, of wanneer de consequentie routinebeleid overschrijdt.

06
Vereiste analistenoutput

Leg feiten, aannames, unknowns en beslissing vast zodat een andere analist de review kan reproduceren.

Kernrisico: behandel het proxy-adres is niet het hele contract niet als een onbelangrijk detail. en Actie: verifieer de technische evidence rond het proxy-adres is niet het hele contract vóór autorisatie.

Vereiste analistenoutputHet proxy-adres is niet het hele contract · Beslisstandaard
Het proxy-adres is niet het hele contract
LESSON VISUALHet proxy-adres is niet het hele contractproxy upgradeability
Het proxy-adres is niet het hele contract
PRAKTIJKCONTEXT · PROXY- EN EXECUTIEARCHITECTUURHet proxy-adres is niet het hele contractCONCEPT → PRAKTIJKOMGEVING → OPERATIONELE BESLISSING
VISUAL MODEL / STATE GRAPHproxy-upgradeability
N01N02N03N04N05N06STATE GRAPHHet proxy-adres is niet het hele contract
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
Technisch workbook

Analistendoel

Kernrisico: behandel het proxy-adres is niet het hele contract niet als een onbelangrijk detail.

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

    proxy verified / implementation unknown

  2. 02

    admin untrusted

  3. 03

    recent implementation change

  4. 04

    initialization ambiguity

  5. 05

    upgradeable spender

Verificatieprocedure
  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

Redeneerketen
  1. 01

    feiten → materiële evidence

  2. 02

    evidence → gevolg / autoriteit

  3. 03

    gevolg → expliciete beslissing + volgende actie

Vereist resultaatproxy trust-boundary map
Protocol walkthrough

Volg het pad van de beveiligingsbeslissing

proxy / upgradeability
01Observeren
  • proxy: user-facing state address
  • implementation: delegated logic
02Traceren
  • admin: upgrade authority
  • storage: proxy state layout
  • upgrade path: logic can change after review
03Uitdagen
  • proxy verified / implementation unknown
  • admin untrusted
  • recent implementation change
04Verifiëren
  • identify proxy pattern
  • read implementation slot / resolver
  • verify implementation code
05Uitvoer
  • proxy trust-boundary map
Autorisatie-oppervlakproxy · implementation · admin
Faalconditieproxy verified / implementation unknown
Praktijkcase
proxy-review
CASE / proxy-upgradeability
proxyverified
implementation0xImplV7
implementation Verifiedyes
upgrade Adminsingle EOA
last Upgrade2 days ago
timelocknone
Analistentaak

Identificeer vóór het antwoord de verleende bevoegdheid, de trust boundary die kan falen en de onomkeerbare consequentie.

Evidence map

Orden vóór je beslist

Scheid identiteit, bevoegdheid, uitvoering en context vóór een beveiligingsbesluit.

01
Identiteit

Wie of wat vraagt, ontvangt of vertegenwoordigt bevoegdheid?

02
Bevoegdheid

Welke capaciteit kan worden verleend, behouden of gebruikt?

upgrade Adminsingle EOA
03
Uitvoering

Wat zal payload, route of systeem werkelijk doen?

proxyverified
implementation0xImplV7
implementation Verifiedyes
04
Context

Welke omgevingsfeiten kunnen de beslissing materieel veranderen?

last Upgrade2 days ago
timelocknone
Praktijkopdracht

Maak een analistenwaardige bevinding

Alleen lokaal analistenrecord

Antwoord niet uit het geheugen. Gebruik de case, protocolvelden en verificatieprocedure hierboven voor een reproduceerbare bevinding.

Focusproxy · implementation · admin
Faalindicatieproxy verified / implementation unknown
Eerst verifiërenidentify proxy pattern
Resultaatproxy trust-boundary map
Voltooiingscriteria
  • Verwijst naar materieel bewijs, niet naar UI-uiterlijk.
  • Benoemt bevoegdheid, toestandsovergang of gevolg.
  • Geeft een reproduceerbare volgende actie of beslissing.
Security-notities
  1. 01

    Kernrisico: behandel het proxy-adres is niet het hele contract niet als een onbelangrijk detail.

  2. 02

    Actie: verifieer de technische evidence rond het proxy-adres is niet het hele contract vóór autorisatie.

Analistennotitieboek

Bouw je evidence memo

Alleen lokaal leerrecord

Leg je redenering vast vóór de checkpoint en sluit af met een expliciete beslissing of vervolgstap. Notities blijven op dit apparaat.

LOCAL STORAGE
Praktijkopdracht

Werk alle drie secties uit voor voltooiing.

Deze module verdiept proxies & execution context met toegepaste theorie en een eigen beslislab.

Positie in de cursus
1 van 14
Afronden opent
Delegatecall voert externe code uit in lokale state
Voortgang
0/21 · 0%

Cursusinhoud

Module 01Proxies & execution context
Module 02Simulatie & grenzen
Module 03Cross-chain trust & routing
Module 04Transactiebeleid
ToetsingToetsing