Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

Research output: Working paperResearch


  • Fulltext

    Final published version, 687 KB, PDF document

We provide a practical translation from the Dynamic Condition Response (DCR) process modelling language to the Transaction Execution Approval Language (TEAL) used by the Algorand blockchain. Compared to earlier implementations of business process notations on blockchains, particularly Ethereum, the present implementation is four orders of magnitude cheaper. This translation has the following immediate ramifications: (1) It allows decentralised execution of DCR-specified business processes in the absence of expensive intermediaries (lawyers, brokers) or counterparty risk. (2) It provides a possibly helpful high-level language for implementing business processes on Algorand. (3) It demonstrates that despite the strict limitations on Algorand smart contracts, they are powerful enough to encode models of a modern process notation.
Original languageEnglish
Number of pages15
Publication statusPublished - 2022

Bibliographical note

6th Workshop on Trusted Smart Contracts, 2022

ID: 335421291