[UUPS] proxy → implementacja → kontrola aktualizacji [PoC] zmiana implementacji + sprawdzenie skutku [ZAKRES] kontrolowany benchmark, bez operacji na mainnecie
Na podstawie naszych prac nad weryfikacją smart kontraktów: jak sprawdziliśmy niechroniony upgrade UUPS, dlaczego brak revertu nie wystarcza i jak odróżniamy uprawnienia administratora od ścieżki dostępnej dla osoby postronnej.