Описание услуги
Разрабатываю промышленные смарт-контракты на Move — ресурсно-ориентированном языке, родившемся в Diem и сегодня движущем Aptos и Sui. В Move цифровые активы — это ресурсы первого класса: их нельзя скопировать или случайно уничтожить, что убирает целый класс ошибок, свойственных другим сетям. Эту модель безопасности я использую в вашу пользу.
Что вы получаете: чистые модульные пакеты Move с ясным разделением хранилища, логики и контроля доступа; права на основе capability вместо хрупких проверок адресов; исчерпывающие модульные и интеграционные тесты. Для ответственной логики я пишу формальные спецификации и запускаю Move Prover, поэтому ключевые инварианты — лимиты эмиссии, правила владения, сохранение баланса — доказаны математически, а не только протестированы.
Типичные задачи: стандарты токенов и NFT (модель Object в Aptos, объекты Sui), примитивы DeFi — обмены, стейкинг, хранилища и вестинг, ончейн-управление, маркетплейсы NFT и любые модули под ваш протокол. Также провожу аудит существующего кода Move: ищу пропущенные проверки доступа, переполнение арифметики, утечки ресурсов и небезопасные entry-функции, а затем выдаю письменный отчёт с уровнями критичности и конкретными правками.
В поставку входят документированный исходник, полный набор тестов, скрипты деплоя в testnet и mainnet и заметки по расходу газа. Работаю с Aptos CLI, Sui CLI, TypeScript SDK и инструментами Node, при необходимости связываю контракты с вашим фронтендом через Socket IO или REST. Напишите мне идею — я распишу этапы, сроки и фиксированную цену до старта.
Что вы получаете: чистые модульные пакеты Move с ясным разделением хранилища, логики и контроля доступа; права на основе capability вместо хрупких проверок адресов; исчерпывающие модульные и интеграционные тесты. Для ответственной логики я пишу формальные спецификации и запускаю Move Prover, поэтому ключевые инварианты — лимиты эмиссии, правила владения, сохранение баланса — доказаны математически, а не только протестированы.
Типичные задачи: стандарты токенов и NFT (модель Object в Aptos, объекты Sui), примитивы DeFi — обмены, стейкинг, хранилища и вестинг, ончейн-управление, маркетплейсы NFT и любые модули под ваш протокол. Также провожу аудит существующего кода Move: ищу пропущенные проверки доступа, переполнение арифметики, утечки ресурсов и небезопасные entry-функции, а затем выдаю письменный отчёт с уровнями критичности и конкретными правками.
В поставку входят документированный исходник, полный набор тестов, скрипты деплоя в testnet и mainnet и заметки по расходу газа. Работаю с Aptos CLI, Sui CLI, TypeScript SDK и инструментами Node, при необходимости связываю контракты с вашим фронтендом через Socket IO или REST. Напишите мне идею — я распишу этапы, сроки и фиксированную цену до старта.
