Описание услуги
Разрабатываю смарт-контракты и децентрализованные приложения на Cardano с помощью Plutus — функциональной платформы на базе Haskell, лежащей в основе сети. Нужен ли вам отдельный валидатор или целое приложение, я поставляю чистый, проверяемый и предсказуемый код, который работает строго по спецификации.
Что вы получаете:
— On-chain валидаторы Plutus Core и политики минтинга на Haskell (PlutusTx) с вниманием к размеру скрипта и бюджету исполнения.
— Off-chain часть: сборку транзакций, интеграцию с кошельками и связку вашего интерфейса с блокчейном (Lucid, Mesh, cardano-serialization-lib или Plutus Application Backend).
— Нативные токены и NFT-коллекции с индивидуальной логикой выпуска, роялти и стандартами метаданных.
— Компоненты DeFi: эскроу, вестинг, стейкинг, обмены, оракулы и мультиподписные казначейства.
— Проектирование datum и redeemer, защищающее контракт от атак двойного удовлетворения, кражи стоимости и неограниченной стоимости.
Как я работаю:
Сначала описываю требования и составляю конкретную спецификацию потока eUTXO, и только потом пишу код. Каждый валидатор идёт с набором property-тестов и трассировками эмулятора, чтобы был виден каждый сценарий. Я документирую схему datum/redeemer, ограничения транзакций и допущения скрипта, чтобы аудитор или ваша команда легко в них разобрались.
Почему важен Plutus, сделанный правильно: на Cardano ошибка — это деньги. Детерминированная функциональная модель позволяет точно рассуждать о том, что транзакция может и чего не может, и я использую это, чтобы закрыть поверхность атаки до выката на тестнет и мейннет.
Опишите вашу задачу, и я оценю on-chain и off-chain части, предложу сроки и начну с проектирования валидатора. Доступны сопровождение и аудит.
Что вы получаете:
— On-chain валидаторы Plutus Core и политики минтинга на Haskell (PlutusTx) с вниманием к размеру скрипта и бюджету исполнения.
— Off-chain часть: сборку транзакций, интеграцию с кошельками и связку вашего интерфейса с блокчейном (Lucid, Mesh, cardano-serialization-lib или Plutus Application Backend).
— Нативные токены и NFT-коллекции с индивидуальной логикой выпуска, роялти и стандартами метаданных.
— Компоненты DeFi: эскроу, вестинг, стейкинг, обмены, оракулы и мультиподписные казначейства.
— Проектирование datum и redeemer, защищающее контракт от атак двойного удовлетворения, кражи стоимости и неограниченной стоимости.
Как я работаю:
Сначала описываю требования и составляю конкретную спецификацию потока eUTXO, и только потом пишу код. Каждый валидатор идёт с набором property-тестов и трассировками эмулятора, чтобы был виден каждый сценарий. Я документирую схему datum/redeemer, ограничения транзакций и допущения скрипта, чтобы аудитор или ваша команда легко в них разобрались.
Почему важен Plutus, сделанный правильно: на Cardano ошибка — это деньги. Детерминированная функциональная модель позволяет точно рассуждать о том, что транзакция может и чего не может, и я использую это, чтобы закрыть поверхность атаки до выката на тестнет и мейннет.
Опишите вашу задачу, и я оценю on-chain и off-chain части, предложу сроки и начну с проектирования валидатора. Доступны сопровождение и аудит.
