马洛是什么？

Marlowe 是一种金融合约编程语言，旨在让非程序员轻松编写金融合约，例如衍生品、贷款和其他协议。它还使程序员更容易正式验证这些合约是否正确。

该项目由卡尔达诺背后的区块链研发公司Input-Output Hong Kong（IOHK）发起。

Marlowe 是 IOHK 将形式化方法引入智能合约编程的一部分，但它与以前的方法不同，它是专门为金融应用程序而设计的。为了实现这一目标，其设计者研究了金融理论，特别是诺贝尔经济学奖获得者肯尼思·阿罗 (Kenneth Arrow) 的著作，他开创了现代金融背后的许多数学思维。这产生了一组基于现实世界金融概念（例如时间和金钱）的内置抽象，而不是其他编程语言中的更通用的概念（例如列表、函数和变量）。

马洛基于已在伊莎贝尔定理证明中形式化的金融契约理论。这赋予了它一些其他合约语言所没有的独特功能：

• 推理合同预期价值的能力。

• 正式验证合同属性的能力。

此外，马洛合约可以在卡尔达诺区块链上执行。用户可以在 Playground 上实时试用，它允许用户在不了解区块链技术或智能合约的情况下建模和执行合约。

Marlowe 被设计为一个简单而强大的金融建模工具。它的语法尽可能简单，以便程序员和非程序员都可以使用它。

Marlowe 可用于多种用途，但它特别适合以下用途：

• 构建交互式金融合约

• 定义决策过程的游戏和协议

• 模拟业务流程，例如涉及金融或保险的业务流程

• 金融市场建模

• 探索博弈论中的思想

它在沙盒环境中运行，允许各类开发人员在卡尔达诺上编写智能合约。

目前，Marlowe 将在卡尔达诺上运行，但它不仅仅与卡尔达诺绑定。未来，它也可以用于在其他区块链上编写智能合约。