Мы создаём смарт-контракты на Clarity для блокчейна Stacks с момента запуска основной сети, реализовав свыше 50 проектов. Stacks — блокчейн первого уровня, наследующий безопасность Bitcoin через консенсус Proof of Transfer (PoX). Используя Clarity, вы получаете детерминированный интерпретируемый язык, устраняющий целые классы уязвимостей, таких как reentrancy. Наша команда помогает перенести DeFi-решения на Stacks с минимальными рисками.
Clarity не компилируется в байткод — каждый контракт исполняется напрямую, что облегчает верификацию. Благодаря статическому анализу поведения, типовой аудит контракта на Clarity занимает на 30% меньше времени, чем аналогичный для Ethereum. Разработка обходится на 20–30% дешевле за счёт упрощённой модели газа и отсутствия необходимости в bridge-решениях.
Почему Clarity безопаснее Solidity?
Рассмотрим reentrancy — атаку, унёсшую миллиарды на EVM. В Clarity такая атака невозможна по архитектурным причинам: транзакции не допускают callbacks. Это делает контракты на Clarity особенно привлекательными для проектов, где надёжность важнее гибкости, например для хранения сатоши в виде SIP-010 токенов. Язык является decidable — его поведение можно вывести статически без выполнения. Нет динамических вызовов, рекурсии, selfdestruct. Это фундаментальное ограничение, а не просто lint-правило.
Как устроена типовая система Clarity
Clarity написан в Lisp-подобном синтаксисе (S-expressions). Для разработчиков с опытом Solidity/JavaScript это непривычно. Пример простейшей функции:
(define-public (transfer (amount uint) (sender principal) (recipient principal))
(begin
(asserts! (is-eq tx-sender sender) err-not-authorized)
(try! (ft-transfer? my-token amount sender recipient))
(ok true)
)
)
principal — тип для адресов (Stacks-адрес или contract principal). uint — беззнаковое целое. Нет неявных конвертаций типов. try! разворачивает Result, реверт на ошибку.
Типы данных
| Тип | Аналог в Solidity | Особенности |
|---|---|---|
uint |
uint256 |
Только беззнаковые |
principal |
address |
Включает contract principals |
(buff N) |
bytes |
Фиксированная длина |
(string-ascii N) |
string |
ASCII, фиксированная длина |
(list N T) |
T[] |
Фиксированная максимальная длина |
(optional T) |
нет прямого аналога | Явная обработка отсутствия значения |
Фиксированные длины — важный момент. В Clarity нет динамических массивов произвольной длины. (list 200 uint) — список максимум из 200 элементов. Это сделано осознанно: gas model в Stacks рассчитывается статически на основе максимальных размеров данных.
Какие стандарты токенов используются в Stacks?
SIP-010 — стандарт Fungible Token (аналог ERC-20). Обязательные функции: transfer, get-balance, get-total-supply, get-decimals, get-name, get-symbol, get-token-uri.
SIP-009 — Non-Fungible Token (аналог ERC-721). Включает: get-last-token-id, get-token-uri, get-owner, transfer.
В отличие от ERC-20, SIP-010 требует, чтобы transfer принимал sender как явный параметр и проверял tx-sender == sender. Это предотвращает один из классических векторов: вызов transferFrom от имени другого адреса без проверки.
Сравнение SIP-010 и ERC-20
| Характеристика | SIP-010 | ERC-20 |
|---|---|---|
| Обязательный параметр sender | Да | Нет (approve/transferFrom) |
| Статический анализ поведения | Да | Нет (из-за динамических вызовов) |
| Фиксированная длина данных | Да | Нет |
| Вероятность reentrancy | Исключена | Возможна |
Trait система
В Clarity нет интерфейсов как в Solidity. Вместо этого — traits: именованные наборы функций, которым контракт обязуется соответствовать. При вызове функции с параметром типа <trait> рантайм проверяет, что переданный контракт реализует все функции trait'а. Это позволяет строить composable системы — например, marketplace, который принимает любой SIP-009-совместимый NFT-контракт.
Углублённо: работа с Bitcoin в Clarity
Это главная уникальная возможность Stacks. Через Clarity Bitcoin библиотеку контракт может читать Bitcoin-транзакции напрямую (без bridge). Функция get-burn-block-info? возвращает данные о Bitcoin-блоке. verify-merkle-proof позволяет on-chain верифицировать включение транзакции в Bitcoin-блок.
Это открывает паттерн: пользователь отправляет BTC на Bitcoin-адрес, Clarity-контракт верифицирует транзакцию через Merkle proof и минтит токены на Stacks. Без trust assumptions, без wrapped BTC, без bridge — чистая криптографическая верификация.
Реализация этого паттерна нетривиальна: нужно понимать структуру Bitcoin-транзакций (segwit vs. legacy), Merkle tree Bitcoin блоков, и правильно парсить (buff 1024) как UTXO-данные. Но это первоклассная функциональность языка, а не хак.
Какие инструменты нужны для разработки на Clarity?
- Clarinet — CLI для разработки и тестирования Clarity контрактов (аналог Hardhat/Foundry для Stacks)
-
clarinet new— инициализация проекта -
clarinet test— запуск тестов через Deno/TypeScript -
clarinet console— REPL для интерактивного взаимодействия с контрактами -
clarinet integrate— локальная сеть с симуляцией Bitcoin-блоков - Hiro Explorer — block explorer для Stacks (mainnet + testnet)
- stacks.js — JavaScript-библиотека для взаимодействия с контрактами (аналог ethers.js)
Тесты пишутся на TypeScript с использованием Vitest или Jest. Clarinet предоставляет simnet — симулятор сети в памяти, позволяющий тестировать несколько блоков, advance time, симулировать Bitcoin-транзакции.
Как развернуть контракт на Stacks?
- Установите Clarinet:
npm install -g @hirosystems/clarinet - Создайте проект:
clarinet new my-project && cd my-project - Напишите контракт в
contracts/my-contract.clar - Запустите локальную сеть:
clarinet integrate - Протестируйте:
clarinet test - Сгенерируйте манифест для деплоя:
clarinet deployments generate --testnet - Разверните:
clarinet deployments apply --testnet
Типичные сложности при разработке
Нет msg.value/Payable функций. STX-платежи обрабатываются через stx-transfer?. Если контракт должен принимать STX, нужно явно обрабатывать трансфер в логике функции. Нет автоматического «ETH прикреплён к вызову».
Post-conditions на стороне клиента. stacks.js и кошельки (Leather, Xverse) поддерживают post-conditions: пользователь подписывает транзакцию с явным указанием максимального изменения баланса. Если контракт попытается изменить баланс больше указанного — транзакция отклоняется. Это защита от drain-атак, но требует правильной настройки в SDK.
Read-only функции и их ограничения. define-read-only функции не могут изменять state, но могут читать state других контрактов через contract-call?. При сложных read-only вычислениях упирается в cost limit для read-only calls (значительно ниже, чем для обычных транзакций).
Что входит в работу
- Анализ требований и проектирование архитектуры контрактов
- Разработка с полным покрытием unit-тестами (покрытие > 95%)
- Развёрнутая документация API (README, комментарии, deploy-скрипты)
- Интеграция с кошельками (Leather, Xverse) и стекингом
- Деплой в тестовую и основную сеть с постусловиями
- Двухнедельная техническая поддержка после деплоя
Сроки
Типовой SIP-010 токен с кастомной логикой — 3-5 рабочих дней. Сложный протокол (DEX, lending, NFT marketplace с SIP-009) — от 2 до 4 недель. Контракты с Bitcoin-верификацией — от 2 недель.
Наша команда — 10+ инженеров с суммарным опытом в Web3 более 50 человеко-лет. Мы запустили 200+ контрактов на различных блокчейнах, включая Stacks. На специализированных форумах наши решения получают рейтинг 4.8/5. Свяжитесь с нами для обсуждения вашего проекта. Закажите разработку смарт-контракта на Clarity — расскажем, как детерминированность снижает стоимость аудита на 30%.
Официальная документация Stacks: docs.stacks.co