Беру на себя весь путь смарт-контракта в блокчейне Tezos — от постановки задачи до задеплоенного и проверенного кода. Michelson здесь базовый: это стековый язык, который напрямую крутит виртуальная машина Tezos, и он изначально заточен под формальную верификацию. Когда критичны газ, раскладка хранилища и точная работа со стеком, я пишу прямо на Michelson; когда нужнее скорость и читаемость, беру LIGO или SmartPy — они компилируются в тот же байткод. В любом случае я разбираю итоговый Michelson построчно, поэтому у вас не остаётся сюрпризов в том, что уходит в блокчейн.
В поставку входят: контракт с аккуратной схемой хранилища и точек входа; правильно собранные токен-стандарты FA2 и FA1.2; юнит- и property-тесты; разбор стоимости по газу и хранилищу; отчёт, где расписана каждая точка входа, каждая ветка отказа и каждая проверка прав. Всё сначала гоняю в песочнице и на тестовой сети Ghostnet и только потом — на боевую; шаги origination и обновления описываю, чтобы ваши люди дальше обходились без меня.
Отдельно делаю аудит уже написанных контрактов: рисую карту хранилища, прохожу каждую точку входа, ищу повторный вход, переполнение чисел, дырявые права доступа и опасные внешние вызовы, а на выходе даю список проблем по важности вместе с починкой. Скиньте ТЗ или текущий код — верну оценку, твёрдую цену и дату сдачи.
В поставку входят: контракт с аккуратной схемой хранилища и точек входа; правильно собранные токен-стандарты FA2 и FA1.2; юнит- и property-тесты; разбор стоимости по газу и хранилищу; отчёт, где расписана каждая точка входа, каждая ветка отказа и каждая проверка прав. Всё сначала гоняю в песочнице и на тестовой сети Ghostnet и только потом — на боевую; шаги origination и обновления описываю, чтобы ваши люди дальше обходились без меня.
Отдельно делаю аудит уже написанных контрактов: рисую карту хранилища, прохожу каждую точку входа, ищу повторный вход, переполнение чисел, дырявые права доступа и опасные внешние вызовы, а на выходе даю список проблем по важности вместе с починкой. Скиньте ТЗ или текущий код — верну оценку, твёрдую цену и дату сдачи.
