Создам финансовые смарт-контракты на языке Marlowe в блокчейне Cardano — предметном языке, разработанном именно под финансовые сделки. В отличие от обычного контрактного кода, Marlowe представляет собой небольшой, надёжный и полностью анализируемый DSL, а значит любой контракт поддаётся строгой проверке ещё до перевода первого ADA. Отсюда предсказуемость, отсутствие бесконечных циклов и гарантированное завершение каждой сделки.
Чем занимаюсь: эскроу с освобождением средств доверенной стороной или по данным оракула, атомарные обмены токенов, кредиты между участниками и с рассрочкой, схемы приёма депозитов и выплат, аукционы по времени, вестинг и графики платежей, а также любые многосторонние финансовые сценарии. Каждый контракт я собираю по шагам — вклады, выборы, оповещения и платежи — с чёткими таймаутами и переходами, чтобы ни один участник не завис в неопределённости.
Порядок работы: беру вашу финансовую логику и перевожу её в наглядную модель Marlowe, после чего запускаю статический анализ и доказываю, что нет веток с несостоявшимися платежами или зависшими деньгами. Прогоняю каждую ветвь в среде Marlowe Playground, подключаю оракулы там, где нужны курсы или внешние решения, и полностью проверяю всё в тестовой сети Cardano preview либо preprod до запуска в боевую сеть. На выходе — прокомментированный код Marlowe, отчёт о симуляции, руководство по развёртыванию и объяснение принятых решений.
Использую Marlowe Runtime и CLI, комплект marlowe-ts для связки с dApp, при необходимости подключаю контракт к веб-странице или криптокошельку. Требуется разовый эскроу или целый набор готовых шаблонов — сдаю проверяемые, обкатанные в тестнете финансовые контракты, которым можно доверить реальные средства. Опишите задачу, и я подготовлю структуру контракта и график.
Чем занимаюсь: эскроу с освобождением средств доверенной стороной или по данным оракула, атомарные обмены токенов, кредиты между участниками и с рассрочкой, схемы приёма депозитов и выплат, аукционы по времени, вестинг и графики платежей, а также любые многосторонние финансовые сценарии. Каждый контракт я собираю по шагам — вклады, выборы, оповещения и платежи — с чёткими таймаутами и переходами, чтобы ни один участник не завис в неопределённости.
Порядок работы: беру вашу финансовую логику и перевожу её в наглядную модель Marlowe, после чего запускаю статический анализ и доказываю, что нет веток с несостоявшимися платежами или зависшими деньгами. Прогоняю каждую ветвь в среде Marlowe Playground, подключаю оракулы там, где нужны курсы или внешние решения, и полностью проверяю всё в тестовой сети Cardano preview либо preprod до запуска в боевую сеть. На выходе — прокомментированный код Marlowe, отчёт о симуляции, руководство по развёртыванию и объяснение принятых решений.
Использую Marlowe Runtime и CLI, комплект marlowe-ts для связки с dApp, при необходимости подключаю контракт к веб-странице или криптокошельку. Требуется разовый эскроу или целый набор готовых шаблонов — сдаю проверяемые, обкатанные в тестнете финансовые контракты, которым можно доверить реальные средства. Опишите задачу, и я подготовлю структуру контракта и график.
