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

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

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

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