Proof-of-Execution: Reaching Consensus through Fault-Tolerant Speculation

@article{Gupta2021ProofofExecutionRC,
  title={Proof-of-Execution: Reaching Consensus through Fault-Tolerant Speculation},
  author={Suyash Gupta and Jelle Hellings and Sajjad Rahnama and Mohammad Sadoghi},
  journal={ArXiv},
  year={2021},
  volume={abs/1911.00838}
}
Since the introduction of blockchains, several new database systems and applications have tried to employ them. At the core of such blockchain designs are Byzantine Fault-Tolerant (BFT) consensus protocols that enable designing systems that are resilient to failures and malicious behavior. Unfortunately, existing BFT protocols seem unsuitable for usage in database systems due to their high computational costs, high communication costs, high client latencies, and/or reliance on trusted… 
Building high throughput permissioned blockchain fabrics
TLDR
This tutorial dives deep into the design of blockchain systems, taking an in-depth look at the theory behind consensus, and shares the vision of high-throughput blockchain systems that operate at large scales.
An In-Depth Look of BFT Consensus in Blockchain: Challenges and Opportunities
TLDR
This tutorial takes an in-depth look at Byzantine fault-tolerant consensus, taking a look at the theory behind replicated computing and consensus, and delve into how common consensus protocols operate.
Blockchain consensus unraveled: virtues and limitations
TLDR
This tutorial takes an in-depth look at Byzantine fault-tolerant consensus, taking a look at the theory behind replicated computing and consensus, and delve into how common consensus protocols operate.
Resilient and Scalable Architecture for Permissioned Blockchain Fabrics
TLDR
This work presents the design of three consensus protocols that facilitate efficient consensus among the replicas that help to scale consensus through the principles of phase-reduction, parallelization, and geo-scale clustering.
Scalable, resilient, and configurable permissioned blockchain fabric
TLDR
ResilientDB is presented, which can serve in a suite of non-monetary data-processing blockchain applications and uses state-of-the-art technologies and includes a novel visualization that helps in monitoring the state of the blockchain application.
Q-Store: Distributed, Multi-partition Transactions via Queue-oriented Execution and Communication
TLDR
The principles of the proposed distributed queue-oriented transaction processing paradigm are employed to build Q-Store, which is the first to support speculative execution and exploits intra-transaction parallelism efficiently among proposed deterministic and distributed transaction processing systems.
T HE B EDROCK OF BFT: A U NIFIED P LATFORM FOR BFT P ROTOCOL D ESIGN AND I MPLEMENTATION
TLDR
B EDROCK exposes an API that presents a set of design choices capturing the trade-offs between dified design space dimensions in BFT implementations, which generates the BFT protocols within the space of plausible choices, evolves current protocols to generate new ones, and even uncovers previously unknown protocols.
Dissecting BFT Consensus: In Trusted Components we Trust!
TLDR
This work presents solutions that facilitate the recovery of trust-bft protocols despite their weak quorums or data persistence dependence, and presents the design of lightweight, fast, and flexible protocols (FlexiTrust), which achieve up to 100% more throughput than their trust- bft counterparts.
Reliable Transactions in Serverless-Edge Architecture
TLDR
A novel Byzantine FaultTolerant Serverless-Edge architecture that does not trust the edge devices and require them to order each request in a byzantine fault-tolerant manner, and designs a novel protocol, ServerlessBFT.
The Bedrock of BFT: A Unified Platform for BFT Protocol Design and Implementation
TLDR
B EDROCK exposes an API that presents a set of design choices capturing the trade-offs between dified design space dimensions in BFT implementations, which generates the BFT protocols within the space of plausible choices, evolves current protocols to generate new ones, and even uncovers previously unknown protocols.
...
1
2
...

References

SHOWING 1-10 OF 140 REFERENCES
Building high throughput permissioned blockchain fabrics
TLDR
This tutorial dives deep into the design of blockchain systems, taking an in-depth look at the theory behind consensus, and shares the vision of high-throughput blockchain systems that operate at large scales.
Towards Scaling Blockchain Systems via Sharding
TLDR
This work takes a principled approach to apply sharding to blockchain systems in order to improve their transaction throughput at scale, and achieves a high throughput that can handle Visa-level workloads, and is the largest ever reported in a realistic environment.
An In-Depth Look of BFT Consensus in Blockchain: Challenges and Opportunities
TLDR
This tutorial takes an in-depth look at Byzantine fault-tolerant consensus, taking a look at the theory behind replicated computing and consensus, and delve into how common consensus protocols operate.
Blockchain consensus unraveled: virtues and limitations
TLDR
This tutorial takes an in-depth look at Byzantine fault-tolerant consensus, taking a look at the theory behind replicated computing and consensus, and delve into how common consensus protocols operate.
RapidChain: Scaling Blockchain via Full Sharding
TLDR
RapidChain is proposed, the first sharding-based public blockchain protocol that is resilient to Byzantine faults from up to a 1/3 fraction of its participants, and achieves complete sharding of the communication, computation, and storage overhead of processing transactions without assuming any trusted setup.
Towards Improving the Performance of BFT Consensus For Future Permissioned Blockchains
TLDR
Two concrete ways in which the cost of consensus in Permissioned Blockchains could be reduced in high speed networking environments are discussed, namely, offloading to SmartNICs and implementing the protocol on standalone FPGAs.
Monoxide: Scale out Blockchains with Asynchronous Consensus Zones
TLDR
The Asynchronous Consensus Zones are introduced, which scales blockchain system linearly without compromising decentralization or security, and eventual atomicity is proposed to ensure transaction atomicity across zones, which achieves the efficient completion of transactions without the overhead of a two-phase commit protocol.
A Secure Sharding Protocol For Open Blockchains
TLDR
ELASTICO is the first candidate for a secure sharding protocol with presence of byzantine adversaries, and scalability experiments on Amazon EC2 with up to $1, 600$ nodes confirm ELASTICO's theoretical scaling properties.
Fault-Tolerant Distributed Transactions on Blockchain
TLDR
An in-depth study of blockchain, unraveling its revolutionary promise to instill computational trust in society, is presented, all carefully tailored to a broad audience including students, researchers, and practitioners.
CheapBFT: resource-efficient byzantine fault tolerance
TLDR
CheapBFT is presented, a BFT system that tolerates that all but one of the replicas active in normal-case operation become faulty, and which allows the system to safely switch to another, more resilient agreement protocol.
...
1
2
3
4
5
...