Upgradeable proxy-ek state-a helbide batean mantendu eta alda daitekeen implementation batera delegatzen dute; ebatzi implementation eta upgrade authority.
Kontzeptu hau garrantzitsua da Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa.
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak. Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
Protokolo- eta exekuzio-mailan, aztertu behar da proxy eta implementation eta admin eta storage eta upgrade path. Protokolo-identifikatzaileak ez dira itzultzen payload teknikoaren parte direlako.
proxyIkuskapen teknikoaren puntuak
implementationIkuskapen teknikoaren puntuak
adminIkuskapen teknikoaren puntuak
storageIkuskapen teknikoaren puntuak
upgrade pathIkuskapen teknikoaren puntuak
Kontraesanak, gehiegizko autoritatea eta azaldu gabeko mendekotasunak hutsegite-seinale materialtzat hartu.
Ondorio praktikoa da Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik. Ezezaguna ez da segurua izatearen baliokidea.
Lotu seinale material bakoitza aktiboetan, autoritatean edo konfiantzan sor dezakeen ondorio zehatzarekin.
Ondorio praktikoa da Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik.
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
Aztertu autoritatea sortzen edo exekuzioa aldatzen duten protokolo-eremu zehatzak.
Konparatu eremu horiek erabiltzailearen adierazitako asmoarekin eta espero den segurtasun-mugarekin.
Egiaztatu eskaera ebidentzia independentearekin baimen atzeraezina eman aurretik.
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
Eskalatu ebidentzia kontraesankorra edo osatugabea denean, edo ondorioak ohiko politika gainditzen duenean.
Erregistratu gertakariak, hipotesiak, ezezagunak eta erabakia beste analista batek berrikuspena errepika dezan.
Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa. eta Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik.
Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa.
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
gertaerak → ebidentzia materiala
ebidentzia → ondorioa / autoritatea
ondorioa → erabaki esplizitua + hurrengo ekintza
proxy trust-boundary mapproxy / upgradeabilityverified0xImplV7yessingle EOA2 days agononeErantzun aurretik, identifikatu ematen den autoritatea, huts egin dezakeen konfiantza-muga eta itzulezin bihurtzen den ondorioa.
Bereizi identitatea, autoritatea, exekuzioa eta testuingurua segurtasun-erabakia hartu aurretik.
Nork edo zerk eskatzen, jasotzen edo ordezkatzen du autoritatea?
Zein gaitasun eman, mantendu edo erabil daiteke?
single EOAZer egingo du benetan payloadak, ibilbideak edo sistemak?
verified0xImplV7yesZein ingurune-faktorek alda dezakete erabakia?
2 days agononeEz erantzun memoriatik. Erabili kasua, protokolo-eremuak eta goiko egiaztapen-prozedura aurkikuntza erreproduzigarria idazteko.
Arrisku nagusia: ez hartu proxy helbidea ez da kontratu osoa xehetasun huts gisa.
Ekintza: egiaztatu proxy helbidea ez da kontratu osoa-ri buruzko ebidentzia teknikoa baimendu aurretik.
Idatzi zure arrazoibidea egiaztapenaren aurretik eta amaitu erabaki edo hurrengo ekintza esplizitu batekin. Oharrak gailu honetan geratzen dira.
Garatu hiru atalak osatu aurretik.
Modulu honek proxy-ak eta exekuzio-testuingurua lantzen du teoria aplikatuarekin eta erabaki-laborategi propio batekin.