About the service
I develop financial smart contracts on Marlowe in the Cardano network — a domain-specific language created specifically for financial agreements. Unlike universal contract code, Marlowe is a compact, secure and fully analyzable DSL, so each of your contracts can be rigorously verified before a single ADA is transferred. This means fewer surprises, no infinite loops and guaranteed completion of any agreement.
What I do: escrow with trusted or oracle-based fund release, atomic token swaps, loans between parties with installment plans, deposit and payment schemes, time-based auctions, vesting and payment schedules, as well as arbitrary multi-party financial scenarios. Each contract is modeled step-by-step — deposits, choices, notifications and payments — with explicit timeouts and continuations so no party gets stuck.
How I work: I take your financial logic and transform it into a clear Marlowe model, then run static analysis to prove the absence of paths with failed payments or lost funds. I simulate each branch in Marlowe Playground, connect oracles where needed for prices or external choices, and test everything in Cardano preview or preprod testnet before mainnet launch. You get commented Marlowe code, a simulation report, deployment instructions and a solution breakdown.
I work with Marlowe Runtime and CLI, marlowe-ts SDK for dApp integration, can connect the contract to a web interface or wallet. Whether you need a one-time escrow or a library of reusable templates — I deliver audited, testnet-verified financial contracts. Write me your scenario, and I'll outline the contract structure and timeline.
What I do: escrow with trusted or oracle-based fund release, atomic token swaps, loans between parties with installment plans, deposit and payment schemes, time-based auctions, vesting and payment schedules, as well as arbitrary multi-party financial scenarios. Each contract is modeled step-by-step — deposits, choices, notifications and payments — with explicit timeouts and continuations so no party gets stuck.
How I work: I take your financial logic and transform it into a clear Marlowe model, then run static analysis to prove the absence of paths with failed payments or lost funds. I simulate each branch in Marlowe Playground, connect oracles where needed for prices or external choices, and test everything in Cardano preview or preprod testnet before mainnet launch. You get commented Marlowe code, a simulation report, deployment instructions and a solution breakdown.
I work with Marlowe Runtime and CLI, marlowe-ts SDK for dApp integration, can connect the contract to a web interface or wallet. Whether you need a one-time escrow or a library of reusable templates — I deliver audited, testnet-verified financial contracts. Write me your scenario, and I'll outline the contract structure and timeline.
