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