Data · dataset · 2026
Finality in asynchronous blockchain and applications
Listed in ZivaHub and Deakin Research Online and DMU Figshare — shown once because both records carry DOI 10.17034/32826356.v1
Blockchain is a chain-based distributed ledger technology that supports decision systems requiring traceability, automated execution, and cross-organisation coordination with immutability guaranteed through transaction finality.
Description
However, in distributed environments characterised by network delays and the absence of global time assumptions, achieving timely and reliable finality remains a fundamental challenge for smart contracts and higher-level decision systems.<br><br>This thesis investigates finality that extends beyond consensus protocols to affect application correctness and interoperability.
Focusing on asynchronous blockchain environments, the research examines the impact of blockchain finality for real-world decision systems. <br><br>The first technical contribution addresses unbounded finality delays in asynchronous blockchain protocols. A delay-aware framework, combined with transaction queue management, is introduced for smart contract execution. This approach improves throughput with smart contract execution under variable network conditions. <br><br>The second contribution focuses on verifying ledger state consistency when external systems query different nodes in an asynchronous blockchain.
Read the rest (3 more)
Inspired by ensemble learning concepts, a timing-aware state verification framework combining timed automata, byzantine fault-tolerant coordination, and zero-knowledge proofs is proposed to detect and manage state divergence across nodes. <br><br>The third contribution addresses cross-chain interaction between asynchronous and partially synchronous protocols. This research focuses on sidechain communication that allows token transfer between chains without changing ownership.
A scheduling framework is developed to determine when consensus from one system is sufficiently stable to be transferred across to the other chain. <br><br>The results of this thesis demonstrate that achieving finality in asynchronous blockchain systems requires coordination across multiple layers. By introducing frameworks to regulate execution timing, verify ledger state consistency, and manage cross-chain interactions.
This research provides practical methods to improve the reliability of blockchain-based decision systems operating under uncertain network conditions.<br><br><i>Thesis is embargoed until 31 July 2028.</i>
Links
Where it is published
- DOI doi.org/10.17034/32826356.v1 ↗
DOI / persistent id · from zivahub uct ac za
Catalogue records · 1
- OAI-PMH record api.figshare.com/v2/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Af… ↗
metadata API · from zivahub uct ac za
Topics
Provenance · 3 source records, 8 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| ZivaHub | oai:figshare.com:article/32826356 | 12 d ago | JSON v1 |
| Deakin Research Online | oai:figshare.com:article/32826356 | 12 d ago | JSON v1 |
| DMU Figshare | oai:figshare.com:article/32826356 | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · figshare dmu ac uk | connector:figshare_dmu_ac_uk@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · dro deakin edu au | connector:dro_deakin_edu_au@1.0.0 | |
| description | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/description |
| license_text | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| publication_date | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | |
| title | source · zivahub uct ac za | connector:zivahub_uct_ac_za@1.0.0 | /metadata/dc/title |