Els proxies upgradeable mantenen state en una adreça i deleguen lògica a una implementation que pot canviar; resol implementation i upgrade authority.
Aquest concepte importa perquè Risc clau: no tractis l'adreça proxy no és tot el contracte com un detall irrellevant.
Inspecciona els camps exactes del protocol que creen autoritat o modifiquen l'execució. Compara aquests camps amb la intenció declarada i amb el límit de seguretat esperat.
Inspecciona els camps exactes del protocol que creen autoritat o modifiquen l'execució.
A nivell de protocol i execució, cal inspeccionar proxy i implementation i admin i storage i upgrade path. Els identificadors de protocol no es tradueixen perquè formen part del payload tècnic.
proxyPunts tècnics d'inspecció
implementationPunts tècnics d'inspecció
adminPunts tècnics d'inspecció
storagePunts tècnics d'inspecció
upgrade pathPunts tècnics d'inspecció
Tracta les contradiccions, l'autoritat excessiva i les dependències no explicades com a senyals materials de fallada.
La conseqüència pràctica és que Acció: verifica l'evidència tècnica de l'adreça proxy no és tot el contracte abans d'autoritzar. Desconegut no equival a segur.
Converteix cada senyal material en la conseqüència concreta sobre actius, autoritat o confiança.
La conseqüència pràctica és que Acció: verifica l'evidència tècnica de l'adreça proxy no és tot el contracte abans d'autoritzar.
Escala quan l'evidència sigui contradictòria, incompleta o la conseqüència superi la política rutinària.
Verifica la sol·licitud amb evidència independent abans d'una autorització irreversible.
Inspecciona els camps exactes del protocol que creen autoritat o modifiquen l'execució.
Compara aquests camps amb la intenció declarada i amb el límit de seguretat esperat.
Verifica la sol·licitud amb evidència independent abans d'una autorització irreversible.
Registra fets, supòsits, incògnites i decisió perquè una altra persona pugui reproduir la revisió.
Escala quan l'evidència sigui contradictòria, incompleta o la conseqüència superi la política rutinària.
Registra fets, supòsits, incògnites i decisió perquè una altra persona pugui reproduir la revisió.
Risc clau: no tractis l'adreça proxy no és tot el contracte com un detall irrellevant. i Acció: verifica l'evidència tècnica de l'adreça proxy no és tot el contracte abans d'autoritzar.
Risc clau: no tractis l'adreça proxy no és tot el contracte com un detall irrellevant.
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
fets → evidència material
evidència → conseqüència / autoritat
conseqüència → decisió explícita + acció següent
proxy trust-boundary mapproxy / upgradeabilityverified0xImplV7yessingle EOA2 days agononeAbans de respondre, identifica l'autoritat concedida, el límit de confiança que pot fallar i la conseqüència irreversible.
Separa identitat, autoritat, execució i context abans de prendre una decisió de seguretat.
Qui o què sol·licita, rep o representa autoritat?
Quina capacitat es pot concedir, mantenir o exercir?
single EOAQuè farà realment el payload, la ruta o el sistema?
verified0xImplV7yesQuins fets de l'entorn poden canviar materialment la decisió?
2 days agononeNo responguis de memòria. Utilitza el cas, els camps del protocol i el procediment de verificació anterior per escriure una troballa reproduïble.
Risc clau: no tractis l'adreça proxy no és tot el contracte com un detall irrellevant.
Acció: verifica l'evidència tècnica de l'adreça proxy no és tot el contracte abans d'autoritzar.
Registra el teu raonament abans del checkpoint i acaba amb una decisió o acció següent explícita. Les notes romanen en aquest dispositiu.
Desenvolupa les tres seccions abans de completar-lo.
Aquest mòdul aprofundeix proxies i context d'execució amb teoria aplicada i un laboratori propi.