Ikechi Saviour Igboanusi, Chigozie Athanasius Nnadiekwe, Joseph Uche Ogbede, Dong‐Seong Kim · 5 authors
This work proposes a Blockchain-enabled Organ Matching System (BOMS) designed to manage the process of matching, storing, and sharing information. Biological factors are incorporated into matching and the cross-matching process is implemented into the smart contracts. Privacy is guaranteed by using patient-associated blockchain addresses, without transmitting or using patient personal records in the matching process. The matching algorithm implemented as a smart contract is verifiable by any party. Clinical records, process updates, and matching results are also stored on the blockchain, providing tamper-resistance of recipient's records and the recipients' waiting queue. The system also is capable of handling cases in which there is a donor without an immediate compatible recipient. The system is implemented on the Ethereum blockchain and several scenarios were tested. The performance of the proposed system is compared to other existing organ donation systems, and ours outperformed any existing organ matching system built on blockchain. BOMS is tested to ascertain its compatibility with public, private, and consortium blockchain networks, checks for security vulnerabilities and cross-matching efficiency. The implementation codes are available online.
Purpose: The primary aim of this study was to discuss the possible treatment of cryptocurrencies in the context of accounting and taxation. Design/method/approach: The study followed a qualitative approach and used paper analysis to achieve the primary objective. The paper analysis included a systematic review of papers. The study focused on the paper analysis of existing data to refine a conceptual framework. Findings: It was found that because of the volatility of cryptocurrencies, the existing measurement models which are the cost model and fair value model, do not cater to cryptocurrencies. Practical implications: This study addressed the gap between financial information and regulations. These fintech advances do not merely challenge the monetary system but also the regulation system. Thus, the importance of acknowledging the application and the implication of technology on the current regulatory system is imperative and significant. Originality/value: This study will serve as a basis for international accounting standard boards and tax authorities when modifying or developing standards and tax provisions that specifically address the treatment of cryptocurrency.
Motivated by proof-of-stake (PoS) blockchains such as Ethereum, two key desiderata have recently been studied for Byzantine-fault tolerant (BFT) state-machine replication (SMR) consensus protocols: Finality means that the protocol retains consistency, as long as less than a certain fraction of validators are malicious, even in partially-synchronous environments that allow for temporary violations of assumed network delay bounds. Accountable safety means that in any case of inconsistency, a certain fraction of validators can be identified to have provably violated the protocol. Earlier works have developed impossibility results and protocol constructions for these properties separately. We show that accountable safety implies finality, thereby unifying earlier results.
Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov · 7 authors
In Tendermint blockchains, the proof-of-stake mechanism and the underlying consensus algorithm entail a dynamic fault model that implies that the active validators (nodes that sign blocks) may change over time, and a quorum of these validators is assumed to be correct only for a limited period of time (called trusting period). The changes of the validator set are under control of the blockchain application, and are committed in every block. In order to check what is the state of the blockchain application at some height h, one needs to know the validator set at that height so that one can verify the corresponding digital signatures and hashes. A naive way of determining the validator set for height h requires one to: (i) download all blocks before h, (ii) verify blocks by checking digital signatures and hashes and (iii) execute the corresponding transactions so the changes in the validator sets are reproduced. This can potentially be very slow and computationally and data intensive. In this paper we formalize the dynamic fault model imposed by Tendermint, and describe a light client protocol that allows to check the state of the blockchain application that, in realistic settings, reduces significantly the amount of data needed to be downloaded, and the number of required computationally expensive signature verification operations. In addition to mathematical proofs, we have formalized the light client protocol in TLA+, and checked safety and liveness with the APALACHE model checker.
Quan Nguyen, André Cronje, Michael Kong, Alex Kampa · 5 authors
This paper introduces a new consensus protocol, so-called \emph{\stair}, for fast consensus in DAG-based trustless system. In \stair, we propose a new approach to creating local block DAG, namely \emph{x-DAG} (cross-DAG), on each node. \emph{\stair} protocol is based on our Proof-of-Stake StakeDag framework \cite{stakedag} that distinguishes participants into users and validators by their stake. Both users and validators can create and validate event blocks. Unlike StakeDag's DAG, x-DAG ensures that each new block has to have parent blocks from both Users and Validators to achieve more safety and liveness. Our protocol leverages a pool of validators to expose more validating power to new blocks for faster consensus in a leaderless asynchronous system. Further, our framework allows participants to join as observers / monitors, who can retrieve DAG for post-validation, but do not participate in onchain validation.
Blockchain is an emerging technology that gained a lot of attention in the last years. Many different consensus protocols have been proposed to improve both the scalability and the resilience of existing blockchain. However, all these solutions have been defined for rather static settings. We propose a modular approach for analysing and comparing different consensus protocols used in blockchain under churn.
<ns4:p>Trust in scientific research is diminished by evidence that data are being manipulated. Outcome switching, data dredging and selective publication are some of the problems that undermine the integrity of published research. Methods for using blockchain to provide proof of pre-specified endpoints in clinical trial protocols were first reported by Carlisle. We wished to empirically test such an approach using a clinical trial protocol where outcome switching has previously been reported. Here we confirm the use of blockchain as a low cost, independently verifiable method to audit and confirm the reliability of scientific studies.</ns4:p>