Course page
Advanced Transaction Security1 of 14
Lesson 1.1

A proxy address is not the whole contract

UTXO ACADEMY / CONCEPT MODELPROXYRESOLVE IMPLEMENTATIONVISUAL AID · NOT A SECURITY VERDICT
Technical chapter

A proxy address is not the whole contract

Deep technical lesson
01
Mental model

Upgradeable proxy patterns store state at one address while delegating logic to an implementation that can change. Reviewing only the proxy's verified surface can miss the current implementation, upgrade authority or initialization risks.

This concept matters because Resolve the active implementation.

A proxy preserves address/state while executable logic can change behind it.

02
What actually happens

Resolve current implementation, verification state, upgrade admin and timelock.

At protocol and execution level, inspect proxy and implementation and admin and storage and upgrade path. Protocol identifiers remain untranslated because they are part of the technical payload.

proxy

user-facing state address

implementation

delegated logic

admin

upgrade authority

storage

proxy state layout

upgrade path

logic can change after review

03
Failure surface

A previously reviewed address can execute newly upgraded logic controlled by a single compromised admin.

The practical consequence is that Identify who can upgrade it. Unknown is not equivalent to safe.

  • proxy verified / implementation unknown
  • admin untrusted
  • recent implementation change
  • initialization ambiguity
  • upgradeable spender
04
Decision standard

Treat implementation and upgrade authority as first-class evidence for critical calls.

The practical consequence is that Identify who can upgrade it.

Escalate when evidence is contradictory, incomplete or the consequence exceeds routine policy.

05
Verification procedure

Verify the request through independent evidence before irreversible authorization.

  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

06
Required analyst output

Record the facts, assumptions, unknowns and decision so another analyst can reproduce the review.

Resolve the active implementation. and Treat upgradeability as an ongoing trust assumption.

Required analyst outputproxy trust-boundary map
A proxy address is not the whole contract
LESSON VISUALA proxy address is not the whole contractproxy upgradeability
A proxy address is not the whole contract
REAL-WORLD CONTEXT · PROXY & EXECUTION ARCHITECTUREA proxy address is not the whole contractCONCEPT → REAL ENVIRONMENT → OPERATIONAL DECISION
VISUAL MODEL / STATE GRAPHproxy-upgradeability
N01N02N03N04N05N06STATE GRAPHA proxy address is not the whole contract
CONCEPT → EVIDENCE → FAILURE MODE → VERIFICATION
Technical workbook

Analyst objective

Resolve the active implementation.

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

    proxy verified / implementation unknown

  2. 02

    admin untrusted

  3. 03

    recent implementation change

  4. 04

    initialization ambiguity

  5. 05

    upgradeable spender

Verification procedure
  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

Reasoning chain
  1. 01

    facts → material evidence

  2. 02

    evidence → consequence / authority

  3. 03

    consequence → explicit decision + next action

Required deliverableproxy trust-boundary map
Protocol walkthrough

Follow the security decision path

proxy / upgradeability
01Observe
  • proxy: user-facing state address
  • implementation: delegated logic
02Trace
  • admin: upgrade authority
  • storage: proxy state layout
  • upgrade path: logic can change after review
03Challenge
  • proxy verified / implementation unknown
  • admin untrusted
  • recent implementation change
04Verify
  • identify proxy pattern
  • read implementation slot / resolver
  • verify implementation code
05Output
  • proxy trust-boundary map
Authority surfaceproxy · implementation · admin
Failure conditionproxy verified / implementation unknown
Applied case file
proxy-review
CASE / proxy-upgradeability
proxyverified
implementation0xImplV7
implementation Verifiedyes
upgrade Adminsingle EOA
last Upgrade2 days ago
timelocknone
Analyst task

Before answering the checkpoint, identify the authority being granted, the trust boundary that can fail, and the consequence that becomes irreversible.

Evidence map

Organize before you decide

Separate identity, authority, execution and context before reaching a security decision.

01
Identity

Who or what is requesting, receiving or representing authority?

02
Authority

What capability can be granted, retained or exercised?

upgrade Adminsingle EOA
03
Execution

What will the payload, route or system actually do?

proxyverified
implementation0xImplV7
implementation Verifiedyes
04
Context

Which surrounding facts can materially change the decision?

last Upgrade2 days ago
timelocknone
Field exercise

Produce an analyst-ready finding

Local-only analyst record

Do not answer from memory. Use the case, protocol fields and verification procedure above to write a reproducible finding.

Focusproxy · implementation · admin
Failure signalproxy verified / implementation unknown
Verify firstidentify proxy pattern
Deliverableproxy trust-boundary map
Completion criteria
  • Cites material evidence, not UI appearance.
  • Names the authority, state transition or consequence.
  • Provides a reproducible next action or decision.
Security notes
  1. 01

    Resolve the active implementation.

  2. 02

    Identify who can upgrade it.

  3. 03

    Treat upgradeability as an ongoing trust assumption.

Analyst notebook

Build your evidence memo

Local-only learning record

Record your reasoning before the checkpoint. Finish with an explicit decision or next action. Notes stay on this device.

LOCAL STORAGE
Field exercise

Develop all three sections before completion.

Trace execution through upgradeable contracts and delegatecall instead of trusting the visible proxy address.

Position in the course
1 of 14
Finishing this opens
Delegatecall executes foreign code in local state
Progress
0/21 · 0%

Course content

Module 01Proxies & execution context
Module 02Simulation & its limits
Module 03Cross-chain trust & routing
Module 04Transaction policy controls
AssessmentAssessment