Budżet: 300 EUR Termin: 3 dni
Witaj!
Jesteśmy gotowi przeprowadzić profesjonalny audyt trzech Twoich smart kontraktów w sieciach Solana, Tron i Ethereum, koncentrując się na bezpieczeństwie sald oraz poprawności logiki wypłaty środków.
W ramach audytu: szczegółowo przeanalizujemy model praw dostępu (inwestorzy, administrator, role serwisowe); sprawdzimy, aby żaden zewnętrzny adres nie mógł wypłacić środków z kontraktu ani bezpośrednimi wywołaniami, ani poprzez obejściowe scenariusze; upewnimy się, że wypłata jest możliwa wyłącznie zgodnie z przewidzianymi scenariuszami: inwestor — tylko swój wkład i należne mu odsetki; administrator — tylko poprzez ściśle określone funkcje, bez „ukrytych” możliwości; sprawdzimy kontrakty pod kątem typowych i nietrywialnych luk: reentrancy, niepoprawne sprawdzenia warunków, błędy w arytmetyce, zablokowanie środków, manipulacje stanem, niepoprawne działanie przy ekstremalnych wartościach itd.; porównamy realizację logiki między sieciami, aby nie było rozbieżności, które można by wykorzystać.
Na koniec otrzymasz usystematyzowany raport: lista znalezionych problemów z podziałem według krytyczności; szczegółowe komentarze, czym dokładnie grozi każda luka; konkretne rekomendacje dotyczące poprawek (aż po propozycje zmian w kodzie).
W razie potrzeby, po wprowadzeniu poprawek, możemy przeprowadzić ponowną weryfikację, aby potwierdzić, że wszystkie krytyczne punkty zostały usunięte.
