关于服务
翻译我在Cardano网络的Marlowe上开发金融智能合约——一种专门为金融协议创建的领域特定语言。与通用合约代码不同，Marlowe是一个紧凑、安全且完全可分析的DSL，因此在转移任何ADA之前，您的每个合约都可以严格验证。这意味着更少的意外，没有无限循环，并且保证任何协议的完成。
我所做的：与受信任或基于预言机的资金释放的托管、原子代币交换、各方之间的分期贷款、存款和支付方案、基于时间的拍卖、归属和支付计划，以及任意多方金融场景。每个合约都是逐步建模的——存款、选择、通知和支付——具有明确的超时和延续，以确保没有一方被卡住。
我的工作方式：我将您的金融逻辑转化为清晰的Marlowe模型，然后进行静态分析以证明不存在失败支付或资金丢失的路径。我在Marlowe Playground中模拟每个分支，根据需要连接预言机以获取价格或外部选择，并在主网启动之前在Cardano预览或预生产测试网中测试所有内容。您将获得带注释的Marlowe代码、模拟报告、部署说明和解决方案细分。
我使用Marlowe Runtime和CLI，marlowe-ts SDK进行dApp集成，可以将合约连接到Web界面或钱包。无论您需要一次性托管还是可重用模板的库——我提供经过审计、测试网验证的金融合约。给我写下您的场景，我将概述合约结构和时间表。
我所做的：与受信任或基于预言机的资金释放的托管、原子代币交换、各方之间的分期贷款、存款和支付方案、基于时间的拍卖、归属和支付计划，以及任意多方金融场景。每个合约都是逐步建模的——存款、选择、通知和支付——具有明确的超时和延续，以确保没有一方被卡住。
我的工作方式：我将您的金融逻辑转化为清晰的Marlowe模型，然后进行静态分析以证明不存在失败支付或资金丢失的路径。我在Marlowe Playground中模拟每个分支，根据需要连接预言机以获取价格或外部选择，并在主网启动之前在Cardano预览或预生产测试网中测试所有内容。您将获得带注释的Marlowe代码、模拟报告、部署说明和解决方案细分。
我使用Marlowe Runtime和CLI，marlowe-ts SDK进行dApp集成，可以将合约连接到Web界面或钱包。无论您需要一次性托管还是可重用模板的库——我提供经过审计、测试网验证的金融合约。给我写下您的场景，我将概述合约结构和时间表。
