Daml：用于安全自动化现实世界多方业务工作流的智能合约语言
摘要：分布式账本技术，也被称为企业区块链，承诺大幅降低自动化多方业务流程的高成本。我们认为，用于编写这种账本逻辑的编程语言应满足三个期望：（1）提供概念以捕捉管理现实世界业务流程的法规；（2）包括简单的方式来指定访问和授权策略；（3）支持将简单的工作流程组合成复杂的工作流程，即使这些简单的工作流程已经部署。 我们基于Haskell的开源智能合约语言Daml满足了这些期望。通过提供用于在账本上表示、访问和修改数据的新颖基元，Daml模仿了今天法律系统的基元。强大的访问和授权策略作为这些基元的一部分进行指定，并且Daml的内置授权规则实现了关键的委托功能，用于工作流程组合性。这些特性使得Daml非常适合在多个本来异构的参与方之间协调业务流程。 Daml合约可运行于（1）由数据库支持的集中式账本上，（2）通过拜占庭容错共识在分布式部署上，以及（3）作为第二层通过原子提交协议在传统区块链之上。
作者：Alexander Bernauer and Sofia Faro and R''emy H"ammerle and Martin Huschenbett and Moritz Kiefer and Andreas Lochbihler and Jussi M"aki and Francesco Mazzoli and Simon Meier and Neil Mitchell and Ratko G. Veprek
论文ID：2303.03749
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-03-08