Описание услуги
Напишу безопасные смарт-контракты на Clarity для экосистемы Stacks (Bitcoin) — от одного служебного контракта до целого протокола. Clarity выбран в Stacks осознанно: язык интерпретируемый, а не компилируемый, разрешимый и не полный по Тьюрингу, поэтому в нём нет бесконечных циклов и внезапной стоимости исполнения. Вы можете точно прочитать, что сделает контракт, ещё до запуска, а каждое изменение состояния в итоге фиксируется на Bitcoin. Эта предсказуемость и есть элемент безопасности, и я строю решения вокруг неё.
Что вы получаете: чистый документированный код на Clarity; токены SIP-010, NFT по SIP-009, хранилища, эскроу, вестинг, голосование DAO или индивидуальную бизнес-логику; явные post-conditions и контроль доступа; аккуратную обработку каждой ветки ошибок. Тестирую через Clarinet, пишу модульные и интеграционные тесты, прогоняю деплой на devnet и testnet до выхода на mainnet.
В поставку входят файлы контракта, набор тестов, планы деплоя и короткий разбор допущений о доверии и известных ограничений. Также проведу ревью или рефакторинг готового кода на Clarity и укажу на рискованные места. Опишите стандарт токена, участников и движение средств — и я превращу это в проверяемый контракт, который можно разобрать построчно.
Что вы получаете: чистый документированный код на Clarity; токены SIP-010, NFT по SIP-009, хранилища, эскроу, вестинг, голосование DAO или индивидуальную бизнес-логику; явные post-conditions и контроль доступа; аккуратную обработку каждой ветки ошибок. Тестирую через Clarinet, пишу модульные и интеграционные тесты, прогоняю деплой на devnet и testnet до выхода на mainnet.
В поставку входят файлы контракта, набор тестов, планы деплоя и короткий разбор допущений о доверии и известных ограничений. Также проведу ревью или рефакторинг готового кода на Clarity и укажу на рискованные места. Опишите стандарт токена, участников и движение средств — и я превращу это в проверяемый контракт, который можно разобрать построчно.
