Пишу смарт-контракты и децентрализованные приложения для сети Cardano на платформе Plutus, построенной на функциональном языке Haskell. Возьмусь как за один валидатор, так и за приложение целиком — сдаю аккуратный, поддающийся аудиту и детерминированный код, поведение которого полностью соответствует техническому заданию.
Объём работ:
— Валидаторы 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 составляющие, предложу график и начну с проектирования валидатора. Возможны дальнейшая поддержка и аудит.
Объём работ:
— Валидаторы 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 составляющие, предложу график и начну с проектирования валидатора. Возможны дальнейшая поддержка и аудит.
