Upgradeable proxies håller state på en adress och delegerar logik till en implementation som kan ändras; resolve implementation och upgrade authority.
Detta koncept är viktigt eftersom Kärnrisk: behandla inte proxy-adressen är inte hela kontraktet som en oviktig detalj.
Inspektera de exakta protokollfälten som skapar behörighet eller ändrar exekveringen. Jämför fälten med användarens deklarerade avsikt och den förväntade säkerhetsgränsen.
Inspektera de exakta protokollfälten som skapar behörighet eller ändrar exekveringen.
På protokoll- och exekveringsnivå ska du inspektera proxy och implementation och admin och storage och upgrade path. Protokollidentifierare översätts inte eftersom de ingår i den tekniska payloaden.
proxyTekniska inspektionspunkter
implementationTekniska inspektionspunkter
adminTekniska inspektionspunkter
storageTekniska inspektionspunkter
upgrade pathTekniska inspektionspunkter
Behandla motsägelser, överdriven behörighet och oförklarade beroenden som materiella felsignaler.
Den praktiska konsekvensen är att Åtgärd: verifiera teknisk evidence kring proxy-adressen är inte hela kontraktet före auktorisering. Okänt är inte samma sak som säkert.
Koppla varje materiell signal till dess konkreta konsekvens för tillgångar, behörighet eller förtroende.
Den praktiska konsekvensen är att Åtgärd: verifiera teknisk evidence kring proxy-adressen är inte hela kontraktet före auktorisering.
Eskalera när evidensen är motsägelsefull eller ofullständig eller när konsekvensen överstiger rutinpolicy.
Verifiera begäran med oberoende evidens före irreversibel auktorisering.
Inspektera de exakta protokollfälten som skapar behörighet eller ändrar exekveringen.
Jämför fälten med användarens deklarerade avsikt och den förväntade säkerhetsgränsen.
Verifiera begäran med oberoende evidens före irreversibel auktorisering.
Dokumentera fakta, antaganden, okända faktorer och beslut så att en annan analytiker kan reproducera granskningen.
Eskalera när evidensen är motsägelsefull eller ofullständig eller när konsekvensen överstiger rutinpolicy.
Dokumentera fakta, antaganden, okända faktorer och beslut så att en annan analytiker kan reproducera granskningen.
Kärnrisk: behandla inte proxy-adressen är inte hela kontraktet som en oviktig detalj. och Åtgärd: verifiera teknisk evidence kring proxy-adressen är inte hela kontraktet före auktorisering.
Kärnrisk: behandla inte proxy-adressen är inte hela kontraktet som en oviktig detalj.
user-facing state addressdelegated logicupgrade authorityproxy state layoutlogic can change after reviewproxy verified / implementation unknown
admin untrusted
recent implementation change
initialization ambiguity
upgradeable spender
identify proxy pattern
read implementation slot / resolver
verify implementation code
identify admin / timelock
record upgradeability as ongoing trust
fakta → materiell evidens
evidens → konsekvens / behörighet
konsekvens → tydligt beslut + nästa åtgärd
proxy trust-boundary mapproxy / upgradeabilityverified0xImplV7yessingle EOA2 days agononeIdentifiera före svaret vilken befogenhet som ges, vilken trust boundary som kan fallera och vilken konsekvens som blir oåterkallelig.
Separera identitet, auktoritet, exekvering och kontext före säkerhetsbeslutet.
Vem eller vad begär, tar emot eller representerar auktoritet?
Vilken förmåga kan ges, behållas eller utövas?
single EOAVad kommer payload, route eller system faktiskt att göra?
verified0xImplV7yesVilka omgivande fakta kan materiellt ändra beslutet?
2 days agononeSvara inte ur minnet. Använd fallet, protokollfälten och verifieringsproceduren ovan för att skriva ett reproducerbart fynd.
Kärnrisk: behandla inte proxy-adressen är inte hela kontraktet som en oviktig detalj.
Åtgärd: verifiera teknisk evidence kring proxy-adressen är inte hela kontraktet före auktorisering.
Skriv ned ditt resonemang före kontrollen och avsluta med ett tydligt beslut eller nästa åtgärd. Anteckningarna stannar på den här enheten.
Utveckla alla tre avsnitten innan slutförande.
Modulen fördjupar proxies och exekveringskontext med tillämpad teori och ett eget besluts-labb.