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
Publication date2023
ISBN (Print)978-3-031-32415-4
Publication statusPublished - 2023
EventFC 2022 International Workshops, Financial Cryptography and Data Security: (CoDecFin, DeFi, Voting, WTSC) - Grenada
Duration: 6 May 2022 → …


ConferenceFC 2022 International Workshops, Financial Cryptography and Data Security
Periode06/05/2022 → …
SeriesLecture Notes in Computer Science

ID: 360266597