Overview
A Fast Confirmation Rule (FCR) has been devised for Ethereum's Gasper consensus protocol. This rule aims to accelerate the confirmation of transactions within the blockchain. The FCR operates under conditions of synchrony and specific explicit assumptions, achieving a best-case confirmation time of 12 seconds. This represents a significant acceleration when compared to the current FFG finalization method, which typically requires 13 to 19 minutes for transaction confirmation.
The FCR is presented as a complementary mechanism to FFG finalization. While FFG finalization tolerates asynchronous network conditions, the FCR provides faster confirmations for users who operate with an assumption of synchrony. FFG finalization remains available as a fallback option to ensure robustness under asynchronous conditions.
Research Context
Confirmation rules are algorithms implemented by network nodes to ascertain whether a block will be permanently integrated into the canonical chain. In the context of Ethereum's current consensus protocol, Gasper, the only available confirmation rule is FFG finalization. This method, while tolerant of asynchronous network states, is characterized by its slow confirmation times. Depending on the submission time, a transaction's confirmation can span 13 to 19 minutes using FFG finalization.
Gasper itself is described as an "ebb-and-flow protocol." This architecture combines two primary components: LMD-GHOST and FFG-Casper. LMD-GHOST is a fork-choice rule engineered to facilitate rapid progress when network conditions are synchronous. FFG-Casper, conversely, functions as a finality gadget, designed to provide finality in conditions of partial synchrony.
Approach
The development of the Fast Confirmation Rule (FCR) for Gasper focused on jointly reasoning about the LMD-GHOST fork-choice rule and the FFG-Casper finality gadget. A key technical challenge in this endeavor involved ensuring that any block confirmed by LMD-GHOST would not subsequently be filtered out by the rules established within FFG-Casper.
The proposed FCR was designed to integrate with Gasper's existing structure while enhancing confirmation speed. The researchers aimed to demonstrate that the rule adheres to two fundamental properties:
- Safety: Confirmed blocks, once designated as such, remain part of the canonical chain.
- Monotonicity: A block that has been confirmed maintains its confirmed status at all subsequent points in time.
Findings
The developed Fast Confirmation Rule (FCR) for Gasper yields a best-case confirmation time of 12 seconds. This duration corresponds to a single slot within the protocol. This improvement represents an order-of-magnitude increase in speed compared to the FFG finalization rule, which requires 13 to 19 minutes for a transaction confirmation in its best-case scenario.
The rule operates under specific assumptions and conditions of synchrony. It is demonstrated to be complementary to existing finalization mechanisms. Fast confirmations are offered to users who trust synchrony, while FFG finalization remains available to handle asynchronous network conditions. The FCR has been proven to satisfy both safety and monotonicity properties, ensuring that confirmed blocks are permanently established and their confirmed status is maintained over time.
Why This Matters
The introduction of a Fast Confirmation Rule has the potential to significantly reduce the time users wait for transaction confirmations on the Ethereum blockchain under suitable network conditions. This improvement in confirmation speed, from minutes to seconds, offers a direct enhancement to user experience and operational efficiency for transactions reliant on rapid finality.