Corpus ID: 220347440

GRANDPA: a Byzantine Finality Gadget

@article{Stewart2020GRANDPAAB,
  title={GRANDPA: a Byzantine Finality Gadget},
  author={Alistair Stewart and Eleftherios Kokoris-Kogia},
  journal={ArXiv},
  year={2020},
  volume={abs/2007.01560}
}
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 best of both worlds by proposing a novel abstractions called the finality gadget. A finality gadget allows for transactions to always optimistically commit but informs the clients that these transactions might be unsafe. As a result, a blockchain can execute… Expand
The Availability-Accountability Dilemma and its Resolution via Accountability Gadgets
TLDR
This work constructs an optimally-resilient accountability gadget to checkpoint a longest chain protocol, such that the full ledger is live under dynamic participation and the checkpointed prefix ledger is accountable, and demonstrates a new attack on Gasper. Expand
Dandelion: multiplexing Byzantine agreements to unlock blockchain performance
TLDR
This paper empower Algorand’s protocol by multiplexing its byzantine agreements in order to improve performance, and experiments on wide area networks with up to ten thousand nodes show a 4-fold throughput increase. Expand
SoK: Communication Across Distributed Ledgers
TLDR
This Systematization of Knowledge (SoK) offers a comprehensive guide for designing protocols bridging the numerous distributed ledgers available today and aims to facilitate clearer communication between academia and industry in the cross-chain setting. Expand
SoK: Exploring Blockchains Interoperability
  • Gang Wang
  • Computer Science
  • IACR Cryptol. ePrint Arch.
  • 2021
TLDR
This paper provides a systematic and comprehensive review of the current progress of blockchain interoperability and surveys and compares the state-of-the-art solutions to deal with the interoperability of blockchains in detail. Expand
Snap-and-Chat Protocols: System Aspects
TLDR
This paper considers system aspects of snap-and-chat protocols and shows how they can provide two important features: 1) accountability, 2) support of light clients. Expand
BFT Protocol Forensics
TLDR
This work systematically study the forensic support of Byzantine fault-tolerant protocols and shows that well-known BFT protocols such as PBFT, HotStuff, and VABA have strong forensic support; it also shows that when the number of faults exceeds t, at least one of culpable replicas can be identified by at least two honest replicas. Expand
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma
TLDR
A new class of flexible consensus protocols, ebb-and-flow protocols, are formulated, which support a full dynamically available ledger in conjunction with a finalized prefix ledger, to resolve the availability-finality dilemma. Expand

References

SHOWING 1-10 OF 20 REFERENCES
OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding
TLDR
OmniLedger ensures security and correctness by using a bias-resistant public-randomness protocol for choosing large, statistically representative shards that process transactions, and by introducing an efficient cross-shard commit protocol that atomically handles transactions affecting multiple shards. Expand
Chainspace: A Sharded Smart Contracts Platform
TLDR
This work presents the design, rationale, and details of Chainspace, and argues through evaluating an implementation of the system about its scaling and other features; it illustrates a number of privacy-friendly smart contracts for smart metering, polling and banking and measure their performance. Expand
SoK: Communication Across Distributed Ledgers
TLDR
This Systematization of Knowledge (SoK) offers a comprehensive guide for designing protocols bridging the numerous distributed ledgers available today and aims to facilitate clearer communication between academia and industry in the cross-chain setting. Expand
Channels: Horizontal Scaling and Confidentiality on Permissioned Blockchains
TLDR
This paper deploys channels for permissioned blockchains to adapt sharding on asset-management applications for the permissioned setting, while preserving liveness and safety even on transactions spanning across-channels. Expand
Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing
TLDR
This paper introduces ByzCoin, a novel Byzantine consensus protocol that leverages scalable collective signing to commit Bitcoin transactions irreversibly within seconds, and achieves a throughput higher than PayPal currently handles, with a confirmation latency of 15-20 seconds. Expand
Hybrid Consensus: Efficient Consensus in the Permissionless Model
TLDR
Hybrid Consensus shows that responsiveness is nonetheless possible to achieve in permissionless consensus (assuming proof-of-work) when 1) the protocol knows an upper bound on the network delay; 2) the authors allow a non-responsive warmup period after which transaction confirmation can become responsive; and 3) honesty has some stickiness, i.e., it takes a short while for an adversary to corrupt a node or put it to sleep. Expand
The latest gossip on BFT consensus
TLDR
Tendermint is presented, a new protocol for ordering events in a distributed network under adversarial conditions that modernizes classic academic work on the subject and simplifies the design of the BFT algorithm by relying on a peer-to-peer gossip protocol among nodes. Expand
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
TLDR
The blockchain paradigm when coupled with cryptographically-secured transactions has demonstrated its utility through a number of projects, with Bitcoin being one of the most notable ones, and Ethereum implements this paradigm in a generalised manner. Expand
Bitcoin meets strong consistency
TLDR
This paper proposes a new system, PeerCensus, which acts as a certification authority, manages peer identities in a peer-to-peer network, and ultimately enhances Bitcoin and similar systems with strong consistency. Expand
Inclusive Block Chain Protocols
TLDR
The mechanics of the block chain and block propagation are constrained: if blocks are created at a high rate compared to their propagation time in the network, many conflicting blocks arecreated and performance suffers greatly, and transactions take long to securely confirm, and their throughput is greatly limited. Expand
...
1
2
...