Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows

Understand

Distributed ledger technologies, also known as blockchains for enterprises, promise to significantly reduce the high cost of automating multi-party business workflows.

• We argue that a programming language for writing such on-ledger logic should satisfy three desiderata: (1) Provide concepts to capture the legal rules that govern real-world business workflows.
• (2) Include simple means for specifying policies for access and authorization.
• (3) Support the composition of simple workflows into complex ones, even when the simple workflows have already been deployed.