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