基于 Algorand 区块链的分布式抗对抗工作流执行
软件工程
2022-11-17 v1
摘要
我们提供了从动态条件响应(DCR)过程建模语言到 Algorand 区块链所使用的交易执行批准语言(TEAL)的一种实用翻译。与早期在区块链(尤其是以太坊)上实现业务流程符号相比,本实现成本低四个数量级。该翻译具有以下直接意义:(1) 它允许在缺乏昂贵中介(律师、经纪人)或交易对手风险的情况下对 DCR 指定的业务流程进行去中心化执行。(2) 它为在 Algorand 上实现业务流程提供了一种可能有帮助的高级语言。(3) 它表明尽管 Algorand 智能合约有严格限制,其仍足够强大以编码现代过程符号的模型。
引用
@article{arxiv.2211.08695,
title = {Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain},
author = {Yibin Xu and Tijs Slaats and Boris Düdder and Søren Debois and Haiqin Wu},
journal= {arXiv preprint arXiv:2211.08695},
year = {2022}
}