English
Related papers

Related papers: Frosty for partial synchrony

200 papers

Modern blockchains increasingly consist of multiple clients that implement a single blockchain protocol. If there is a semantic mismatch between the protocol implementations, the blockchain can permanently split and introduce new attack…

Cryptography and Security · Computer Science 2025-01-22 Filip Drobnjakovic , Amir Kashapov , Matija Kupresanin , Bernhard Scholz , Pavle Subotic

Partially synchronous Byzantine consensus protocols typically structure their execution into a sequence of views, each with a designated leader process. The key to guaranteeing liveness in these protocols is to ensure that all correct…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-11 Manuel Bravo , Gregory Chockler , Alexey Gotsman

Blockchain is a decentralized system that allows transaction transmission and storage according to the roles of the Consensus algorithm and Smart contracts. Non-fungible tokens (NFTs) consolidate the best characteristics of blockchain…

Cryptography and Security · Computer Science 2022-09-07 Subhash Shankar Pandey , Tadasha Dash , Prasanta K. Panigrahi , Ahmed Farouk

This document is a specialized technical description of one of the potential implementations of a second layer protocol over Gravity, a blockchain-/token-agnostic decentralized oracle protocol. The SuSy protocol prescribes an implementation…

Cryptography and Security · Computer Science 2020-09-03 Aleksei Pupyshev , Elshan Dzhafarov , Ilya Sapranidi , Inal Kardanov , Shamil Khalilov , Sten Laureyssens

In the high-stakes race to develop more scalable blockchains, some platforms (Binance, Cosmos, EOS, TRON, etc.) have adopted committee-based consensus (CBC) protocols, whereby the blockchain's record-keeping rights are entrusted to a…

Cryptography and Security · Computer Science 2022-12-02 Alon Benhaim , Brett Hemenway Falk , Gerry Tsoukalas

Bitcoin is the most successful cryptocurrency so far. This is mainly due to its novel consensus algorithm, which is based on proof-of-work combined with a cryptographically-protected data structure and a rewarding scheme that incentivizes…

Cryptography and Security · Computer Science 2019-05-24 Pawel Szalachowski , Daniel Reijsbergen , Ivan Homoliak , Siwei Sun

The blockchain paradigm provides a mechanism for content dissemination and distributed consensus on Peer-to-Peer (P2P) networks. While this paradigm has been widely adopted in industry, it has not been carefully analyzed in terms of its…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-22 Aditya Gopalan , Abishek Sankararaman , Anwar Walid , Sriram Vishwanath

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

Classic Byzantine fault-tolerant consensus protocols forfeit liveness in the face of asynchrony in order to preserve safety, whereas most deployed blockchain protocols forfeit safety in order to remain live. In this work, we achieve the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-07-06 Alistair Stewart , Eleftherios Kokoris-Kogia

Blockchains lie at the heart of Bitcoin and other cryptocurrencies that have shown great promise to revolutionize finance and commerce. Although they are gaining increasing popularity, they face technical challenges when it comes to scaling…

Cryptography and Security · Computer Science 2022-09-22 Anurag Jain , Sujit Gujar , Kannan Srinathan

Blockchain is a novel technology that is rising a lot of interest in the industrial and re- search sectors because its properties of decentralisation, immutability and data integrity. Initially, the underlying consensus mechanism has been…

Cryptography and Security · Computer Science 2018-05-10 Stefano De Angelis

SURFACE, standing for Secure, Use-case adaptive, and Relatively Fork-free Approach of Chain Extension, is a consensus algorithm that is designed for real-world networks and enjoys the benefits from both the Nakamoto consensus and Byzantine…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-08-17 Zhijie Ren , Ziheng Zhou

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

Truxen is a Trusted Computing enhanced blockchain that uses Proof of Integrity protocol as the consensus. Proof of Integrity protocol is derived from Trusted Computing and associated Remote Attestations, that can be used to vouch a node's…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-18 Chao Zhang

We present "Gasper," a proof-of-stake-based consensus protocol, which is an idealized version of the proposed Ethereum 2.0 beacon chain. The protocol combines Casper FFG, a finality tool, with LMD GHOST, a fork-choice rule. We prove safety,…

Cryptography and Security · Computer Science 2020-05-13 Vitalik Buterin , Diego Hernandez , Thor Kamphefner , Khiem Pham , Zhi Qiao , Danny Ryan , Juhyeok Sin , Ying Wang , Yan X Zhang

This paper intends to propose the architecture of a blockchain-agnostic protocol designed for communication of blockchains amongst each other (i.e. cross-chain), and for blockchains with the outside world (i.e. data oracles). The expansive…

In blockchain applications, transaction confirmation is often treated as usability friction to be minimized or removed. However, confirmation also marks the boundary between deliberation and irreversible commitment, suggesting it may play a…

Human-Computer Interaction · Computer Science 2026-02-24 Eason Chen , Xinyi Tang , George Digkas , Dionysios Lougaris , John E. Naulty , Kostas Chalkias

Permissionless blockchain technology offers numerous potential benefits for decentralised applications, such as security, transparency, and openness. BFT-based consensus mechanisms are widely adopted in the permissioned blockchain to meet…

Cryptography and Security · Computer Science 2024-07-08 Ziqiang Xu , Ahmad Salehi Shahraki , Naveen Chilamkurti

Blockchains implement decentralized monetary systems and applications. Recent advancements enable what we call tethering a blockchain to a primary blockchain, securing the tethered chain by nodes that post primary-chain tokens as…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-25 Yogev Bar-On , Roi Bar-Zur , Omer Ben-Porat , Nimrod Cohen , Ittay Eyal , Matan Sitbon

Fault-tolerant distributed systems move the trust in a single party to a majority of parties participating in the protocol. This makes blockchain based crypto-currencies possible: they allow parties to agree on a total order of transactions…

Cryptography and Security · Computer Science 2023-03-15 Søren Eller Thomsen , Bas Spitters