Smart kontrakty Michelson dla Tezos

Rozwijam i weryfikuję smart kontrakty dla blockchaina Tezos na wszystkich poziomach stosu. Michelson to język niskiego poziomu, który rzeczywiście wykonuje maszyna wirtualna Tezos, i jest zaprojektowany tak, aby umożliwić formalną weryfikację. Piszę kontrakty bezpośrednio w Michelsonie, gdy potrzebna jest precyzyjna kontrola nad gazem, pamięcią i operacjami stosu, a używam wyższych języków LIGO i SmartPy, gdy szybsza i bardziej czytelna ścieżka do tego samego kodu bajtowego ma większe znaczenie. Niezależnie od tego, od którego końca zaczynamy, czytam i analizuję skompilowany Michelson, abyś dokładnie wiedział, co trafia do sieci.

Co otrzymujesz: działający kontrakt z przemyślanym schematem pamięci i punktami wejścia; poprawnie zaimplementowane standardy tokenów FA2 i FA1.2; testy modułowe i właściwości; przegląd kosztów gazu i pamięci; raport z podziałem na każdy punkt wejścia, gałąź błędu i sprawdzenie uprawnień. Testuję w piaskownicy i na Ghostnet przed uruchomieniem mainnetu oraz dokumentuję kroki pochodzenia i aktualizacji, aby Twój zespół mógł wdrożyć ponownie bez mojej pomocy.

Audytuję również gotowe kontrakty: tworzę mapę pamięci, śledzę każdy punkt wejścia, szukam reentrancy, przepełnienia całkowitego, uszkodzonej kontroli dostępu i niebezpiecznych wywołań zewnętrznych, a także dostarczam priorytetową listę ustaleń z poprawkami. Wyślij mi specyfikację lub aktualny kod — odpowiem zakresem pracy, stałą ceną i harmonogramem.