Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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
Title of host publicationFinancial Cryptography and Data Security. FC 2022 International Workshops
EditorsShin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala
Number of pages15
Place of PublicationCham
ISBN (Print)978-3-031-32415-4
Publication statusE-pub ahead of print - 2023

ID: 360266597