2 papers
cs.DC2024
Validated Strong Consensus Protocol for Asynchronous Vote-based Blockchains
Yibin Xu, Jianhua Shao, Tijs Slaats +2
Vote-based blockchains construct a state machine replication (SMR) system among participating nodes, using Byzantine Fault Tolerance (BFT) consensus protocols to transition from on…
cs.SE2022
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain
Yibin Xu, Tijs Slaats, Boris Düdder +2
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 b…