English
Related papers

Related papers: Formal Verification of Blockchain Nonforking in DA…

200 papers

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.…

Cryptography and Security · Computer Science 2019-09-05 Quan Nguyen , Andre Cronje , Michael Kong , Alex Kampa , George Samman

Blockchains use consensus protocols to reach agreement, e.g., on the ordering of transactions. DAG-based consensus protocols are increasingly adopted by blockchain companies to reduce energy consumption and enhance security. These protocols…

Logic in Computer Science · Computer Science 2025-03-19 Nathalie Bertrand , Pranav Ghorpade , Sasha Rubin , Bernhard Scholz , Pavle Subotic

To implement a blockchain, the trend is now to integrate a non-trivial Byzantine fault tolerant consensus algorithm instead of the seminal idea of waiting to receive blocks to decide upon the longest branch. After a decade of existence,…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-10-16 Pierre Tholoniat , Vincent Gramoli

Trustless systems, such as those blockchain enpowered, provide trust in the system regardless of the trust of its participants, who may be honest or malicious. Proof-of-stake (PoS) protocols and DAG-based approaches have emerged as a better…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-09 Quan Nguyen , Andre Cronje , Michael Kong , Alex Kampa , George Samman

With the advancement of blockchain systems, many recent research works have proposed distributed ledger technology~(DLT) that employs Byzantine fault-tolerant~(BFT) consensus protocols to decide which block to append next to the ledger.…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-03-21 Christian Berger , Signe Schwarz-Rüsch , Arne Vogel , Kai Bleeke , Leander Jehl , Hans P. Reiser , Rüdiger Kapitza

Bitcoin is a decentralised digital currency that serves as an alternative to existing transaction systems based on an external central authority for security. Although Bitcoin has many desirable properties, one of its fundamental…

Cryptography and Security · Computer Science 2019-10-07 Georgios Birmpas , Elias Koutsoupias , Philip Lazos , Francisco J. Marmolejo-Cossío

Blockmania is a byzantine consensus protocol. Nodes emit blocks forming a directed acyclic graph (block DAG) that is subsequently interpreted by each node separately to ensure consensus with safety, liveness and finality. The resulting…

Cryptography and Security · Computer Science 2018-09-26 George Danezis , David Hrycyszyn

We propose a novel consensus protocol based on a hybrid approach, that combines a directed acyclic graph (DAG) and a classical chain of blocks. This architecture allows us to enforce collective block construction, minimising the…

Cryptography and Security · Computer Science 2020-06-11 Marcin Abram , David Galindo , Daniel Honerkamp , Jonathan Ward , Jin-Mann Wong

This paper introduces a novel architecture for a distributed ledger, commonly referred to as a "blockchain", which is organized in the form of directed acyclic graph (DAG) with UTXO transactions as vertices, rather than as a chain of…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-14 Evaldas Drasutis

This paper consolidates the core technologies and key concepts of our novel Lachesis consensus protocol and Fantom Opera platform, which is permissionless, leaderless and EVM compatible. We introduce our new protocol, so-called Lachesis,…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-05 Quan Nguyen , Andre Cronje , Michael Kong , Egor Lysenko , Alex Guzev

Blockchain is maintained as a global log between a network of nodes and uses cryptographic distributed protocols to synchronize the updates. As adopted by Bitcoin and Ethereum these update operations to the ledger are serialized, and…

Cryptography and Security · Computer Science 2019-10-25 Himanshu Gupta , Dharanipragada Janakiram

This paper introduces Slipstream, a Byzantine Fault Tolerance (BFT) protocol where nodes concurrently propose blocks to be added to a Directed Acyclic Graph (DAG) and aim to agree on block ordering. Slipstream offers two types of block…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-23 Nikita Polyanskii , Sebastian Muller , Mayank Raikwar

We present Bullshark, the first directed acyclic graph (DAG) based asynchronous Byzantine Atomic Broadcast protocol that is optimized for the common synchronous case. Like previous DAG-based BFT protocols, Bullshark requires no extra…

Cryptography and Security · Computer Science 2022-09-08 Alexander Spiegelman , Neil Giridharan , Alberto Sonnino , Lefteris Kokoris-Kogias

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

Distributed ledgers are common in the industry. Some of them can use blockchains as their underlying infrastructure. A blockchain requires participants to agree on its contents. This can be achieved via a consensus protocol, and several BFT…

Performance · Computer Science 2024-11-13 J. D. Chan , Y. C. Tay , Brian R. Z. Yen

We present a general consensus framework that allows to easily introduce a customizable Byzantine fault tolerant consensus algorithm to an existing (Delegated) Proof-of-Stake blockchain. We prove the safety of the protocol under the…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-06 Jan Hackfeld

Today's practical partially synchronous Byzantine Fault Tolerant (BFT) consensus protocols trade off low latency and high throughput. On the one end, traditional BFT protocols such as PBFT and its derivatives optimize for latency. They…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-06 Balaji Arun , Zekun Li , Florian Suri-Payer , Sourav Das , Alexander Spiegelman

Blockchain plays an important role in cryptocurrency markets and technology services. However, limitations on high latency and low scalability retard their adoptions and applications in classic designs. Reconstructed blockchain systems have…

Cryptography and Security · Computer Science 2022-11-01 Qin Wang , Jiangshan Yu , Shiping Chen , Yang Xiang

Blockchain has recently attracted the attention of the industry due, in part, to its ability to automate asset transfers. It requires distributed participants to reach a consensus on a block despite the presence of malicious (a.k.a.…

Cryptography and Security · Computer Science 2022-06-10 Nathalie Bertrand , Vincent Gramoli , Igor Konnov , Marijana Lazić , Pierre Tholoniat , Josef Widder

Since the inception of blockchain and Bitcoin (Nakamoto (2008)), a decentralized-distributed ledger system and its associated cryptocurrency, respectively, the world has witnessed a slew of newer adaptations and applications. Although the…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-15 Jinwook Lee , Paul Moon Sub Choi
‹ Prev 1 2 3 10 Next ›