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