Marlowe

Marlowe是基于Cardano区块链构建的专用智能合约语言，专为金融合约场景设计。它采用函数式编程范式，支持以高可读性方式描述条件支付、时间锁、多方协作等金融逻辑。其核心特点是形式化验证能力，开发者可通过工具验证合约在各种状态下的行为正确性，降低逻辑错误风险。