Programista Solidity kontraktów inteligentnych dla Ethereum i sieci EVM

Jestem programistą Solidity specjalizującym się w bezpiecznych kontraktach inteligentnych dla Ethereum i innych sieci kompatybilnych z EVM. W ciągu ostatnich lat dostarczałem tokeny, systemy stakingowe, harmonogramy vestingowe, rynki i moduły zarządzania DAO, a każdą linię kontraktu traktuję jak pieniądze zamknięte w nim. Zaczynam każdą pracę od modelu zagrożeń: analizuję, kto może wywołać co, gdzie przepływają fundusze i jak atakujący może zmienić kolejność, ponownie wejść lub zastąpić. Dopiero po tym piszę kod i staram się, aby był czytelny, aby audytorzy i twój zespół rozumieli logikę bez zgadywania.

Poza pisaniem kontraktów wzmacniam i audytuję istniejące. Przeprowadzam analizę statyczną, piszę kompleksowe testy w Hardhat lub Foundry, oceniam koszty gazu i sprawdzam klasyczne luki: ponowne wejście, problemy z przepełnieniem, niezweryfikowane wywołania zewnętrzne, luki w kontroli dostępu i niebezpieczne schematy aktualizacji. Polegam na sprawdzonych standardach tokenów i zaufanych bibliotekach, zamiast wymyślać ryzykowne rozwiązania, i wyraźnie dokumentuję wszystkie założenia, aby nic cię nie zaskoczyło po wdrożeniu.

Łączę również kontrakty z rzeczywistymi aplikacjami: buduję warstwę web3, przez którą frontend bezpiecznie odczytuje stan sieci i wysyła transakcje, ustawiam indeksowanie zdarzeń i przygotowuję skrypty wdrożeniowe dla testnetów i mainnetu. Jeśli masz pomysł, niedokończony protokół lub kontrakt, który potrzebuje pary uważnych oczu przed uruchomieniem, pomogę to poprawić.

— Bezpieczne kontrakty inteligentne w Solidity dla Ethereum i sieci EVM
— Standardy tokenów, staking, vesting, escrow
— Zarządzanie DAO, modele multisig i kontroli dostępu
— Audyt bezpieczeństwa, analiza statyczna i optymalizacja gazu
— Testowanie w Hardhat i Foundry oraz skrypty wdrożeniowe
— Integracja web3 z frontendem i indeksowanie zdarzeń sieciowych