English
Related papers

Related papers: Holistic Verification of Blockchain Consensus

200 papers

This paper describes a simple and efficient asynchronous Binary Byzantine faulty tolerant consensus algorithm. In the algorithm, non-faulty nodes perform an initial broadcast followed by a executing a series of rounds each consisting of a…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-12 Tyler Crain

Blockchain is an essentially distributed database recording all transactions or digital events among participating parties. Each transaction in the records is approved and verified by consensus of the participants in the system that…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-07 Jie You

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…

Cryptography and Security · Computer Science 2024-01-22 Joachim Neu , Ertem Nusret Tas , David Tse

Vote-based blockchains construct a state machine replication (SMR) system among participating nodes, using Byzantine Fault Tolerance (BFT) consensus protocols to transition from one state to another. Currently, they rely on either…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-25 Yibin Xu , Jianhua Shao , Tijs Slaats , Boris Düdder , Yongluan Zhou

Smart contracts are widely utilized in cross-chain interactions, where their results are transmitted from one blockchain (the producer blockchain) to another (the consumer blockchain). Unfortunately, the consumer blockchain often accepts…

Cryptography and Security · Computer Science 2024-08-20 Hong Su

Blockchain, the technology behind the popular Bitcoin, is considered a "security by design" system as it is meant to create security among a group of distrustful parties yet without a central trusted authority. The security of blockchain…

Cryptography and Security · Computer Science 2020-09-02 Yang Xiao , Ning Zhang , Wenjing Lou , Y. Thomas Hou

Research in the field of blockchain technology and applications is increasing at a fast pace. Although the Bitcoin whitepaper by Nakamoto is already ten years old, the field can still be seen as immature and at an early stage. Current…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-23 Christopher Ehmke , Florian Blum , Volker Gruhn

The paper proposes a Blockchain (BC) system to prevent counterfeiting in health insurance sector. The results show the system strength in terms of achieving data integrity and privacy of data. Moreover, the results show that the consensus…

Cryptography and Security · Computer Science 2023-03-30 Baker Alhasn , Mohammad Qatawneh , Wesam Alkmobaideen

Currently there exist many blockchains with weak trust guarantees, limiting applications and participation. Existing solutions to boost the trust using a stronger blockchain, e.g., via checkpointing, requires the weaker blockchain to give…

Cryptography and Security · Computer Science 2023-09-22 Peiyao Sheng , Xuechao Wang , Sreeram Kannan , Kartik Nayak , Pramod Viswanath

One of the most celebrated problems of fault-tolerant distributed computing is the consensus problem. It was shown to abstract a myriad of problems in which processes have to agree on a single value. Consensus applications include…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-13 Romaric Duvignau , Michel Raynal , Elad Michael Schiller

Byzantine fault-tolerant consensus protocols have provable safety and liveness properties for static validator sets. In practice, however, the validator set changes over time, potentially eroding the protocol's security guarantees. For…

Theoretical Economics · Economics 2024-06-12 Michael Neuder , Mallesh Pai , Max Resnick

This master thesis deals with Blockchain Technology in mobile turn based peer to peer games. First, it investigates the capabilities of Blockchain Technology to be used for gaming applications. In this regard, among others,…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-04-18 Dominik Braun

Blockchain technology has emerged as one of the most transformative digital innovations of the 21st century. This paper presents a comprehensive review of blockchain's fundamental architecture, tracing its development from Bitcoin's initial…

Cryptography and Security · Computer Science 2025-05-14 Aditya Pratap Singh

As blockchains continue to seek to scale to a larger number of nodes, the communication complexity of protocols has become a significant priority as the network can quickly become overburdened. Several schemes have attempted to address…

Information Theory · Computer Science 2023-05-11 Ilan Tennenhouse , Netanel Raviv

Blockchain technology has become a trusted method for establishing secure and transparent transactions through a distributed, encrypted network. The operation of blockchain is governed by consensus algorithms, among which Proof of Stake…

Cryptography and Security · Computer Science 2024-06-03 Bruno Ramos-Cruz , Javier Andreu-Pérez , Francisco J. Quesada , Luis Martínez

Decentralized Ledger Technology, popularized by the Bitcoin network, aims to keep track of a ledger of valid transactions between agents of a virtual economy without a central institution for coordination. In order to keep track of a…

Systems and Control · Computer Science 2018-07-04 Michael Zargham , Zixuan Zhang , Victor Preciado

Blockchain consensus mechanisms have relied on algorithms such as Proof-of-Work (PoW) and Proof-of-Stake (PoS) to ensure network functionality and integrity. However, these approaches struggle with adaptability for decision-making where the…

Multiagent Systems · Computer Science 2026-02-10 Apurba Pokharel , Ram Dantu , Shakila Zaman , Vinh Quach , Sirisha Talapuru

Blockchain technologies are facing a scalability challenge, which must be overcome to guarantee a wider adoption of the technology. This scalability issue is mostly caused by the use of consensus algorithms to guarantee the total order of…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-24 Margarita Capretto , Martín Ceresa , Antonio Fernández Anta , Antonio Russo , César Sánchez

Blockchain, as a distributed ledger technology, becomes more and more popular in both industry and academia. Each peer in blockchain system maintains a copy of ledger and makes sure of data consistency through consensus protocol. Blockchain…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-25 Song Hua , Shenbin Zhang , Bingfeng Pi , Jun Sun , Kazuhiro Yamashita , Yoshihide Nomura

Blockchain eliminates the need for trusted third-party intermediaries in business by enabling decentralised architecture design in software applications. However, the vulnerabilities in on-chain autonomous decision-makings and cumbersome…

Software Engineering · Computer Science 2022-06-03 Yue Liu , Qinghua Lu , Guangsheng Yu , Hye-Young Paik , Liming Zhu
‹ Prev 1 4 5 6 7 8 10 Next ›