Смарт-контракти Michelson для Tezos

Розробляю та перевіряю смарт-контракти для блокчейну Tezos на всіх рівнях стека. Michelson — це низькорівневий стековий мова, яку реально виконує віртуальна машина Tezos, і він спроектований так, щоб піддаватися формальній верифікації. Я пишу контракти безпосередньо на Michelson, коли потрібен точний контроль над газом, сховищем та операціями зі стеком, і використовую більш високорівневі мови LIGO та SmartPy, коли важливіше швидкий та читабельний шлях до того ж байткоду. З якого б кінця ми не почали, я читаю та розбираю скомпільований Michelson, щоб ви точно знали, що саме йде в мережу.

Що ви отримуєте: робочий контракт з продуманою схемою сховища та точок входу; коректно реалізовані стандартиTokens FA2 та FA1.2; модульні та property-тести; ревю витрат на газ та сховище; звіт з розбором кожної точки входу, гілки відмови та перевірки прав. Тестую в пісочниці та на Ghostnet до виходу на mainnet та документую кроки origination та оновлення, щоб ваша команда могла передеплоїти без мене.

Також проводжу аудит готових контрактів: будую карту сховища, трасую кожну точку входу, шукаю reentrancy, переповнення цілих, зламаний контроль доступу та небезпечні зовнішні виклики, видаю пріоритизований список знахідок з виправленнями. Пришліть специфікацію або поточний код — відповім обсягом робіт, фіксованою ціною та терміном.