Papers
Topics
Authors
Recent
Search
2000 character limit reached

3-Slot-Finality Protocol for Ethereum

Published 1 Nov 2024 in cs.DC | (2411.00558v1)

Abstract: Gasper, the consensus protocol currently employed by Ethereum, typically requires 64 to 95 slots -- the units of time during which a new chain extending the previous one by one block is proposed and voted -- to finalize. This means that under ideal conditions -- where the network is synchronous, and all chain proposers, along with more than two-thirds of the validators, behave as dictated by the protocol -- proposers construct blocks on a non-finalized chain that extends at least 64 blocks. This exposes a significant portion of the blockchain to potential reorganizations during changes in network conditions, such as periods of asynchrony. Specifically, this finalization delay heightens the network's exposure to Maximum Extractable Value (MEV) exploits, which could undermine the network's integrity. Furthermore, the extended finalization period forces users to balance the trade-off between economic security and transaction speed. To address these issues and speed up finality, we introduce a partially synchronous finality gadget, which we combine with two dynamically available consensus protocols -- synchronous protocols that ensure safety and liveness even with fluctuating validator participation levels. This integration results in secure ebb-and-flow protocols [SP 2021], achieving finality within three slots after a proposal and realizing 3-slot finality.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (22)
  1. Ethereum consensus property list. URL: https://docs.google.com/document/d/1Q_iDOODIq-glLRPSMnSf3HAKDQGHXsENHzRG9iwok7g.
  2. Casper the friendly finality gadget. CoRR, abs/1710.09437, 2017. URL: http://arxiv.org/abs/1710.09437, arXiv:1710.09437.
  3. Combining GHOST and Casper. 2020.
  4. Practical byzantine fault tolerance. In Margo I. Seltzer and Paul J. Leach, editors, Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), New Orleans, Louisiana, USA, February 22-25, 1999, pages 173–186. USENIX Association, 1999.
  5. Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020, pages 910–927. IEEE, 2020. doi:10.1109/SP40000.2020.00040.
  6. Asynchrony-resilient sleepy total-order broadcast protocols. In Ran Gelles, Dennis Olivetti, and Petr Kuznetsov, editors, Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, PODC 2024, Nantes, France, June 17-21, 2024, pages 247–256. ACM, 2024. doi:10.1145/3662158.3662779.
  7. No more attacks on proof-of-stake ethereum? CoRR, abs/2209.03255, 2022. URL: https://doi.org/10.48550/arXiv.2209.03255.
  8. TOB-SVD: Total-Order Broadcast with Single-Vote Decisions in the Sleepy Model, 2024. URL: https://arxiv.org/abs/2310.11331, arXiv:2310.11331.
  9. A simple single slot finality protocol for ethereum. In Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens-Boulahia, Costas Lambrinoudakis, Joaquín García-Alfaro, Guillermo Navarro-Arribas, Pantaleone Nespoli, Christos Kalloniatis, John Mylopoulos, Annie I. Antón, and Stefanos Gritzalis, editors, Computer Security. ESORICS 2023 International Workshops - CyberICS, DPM, CBT, and SECPRE, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part I, volume 14398 of Lecture Notes in Computer Science, pages 376–393. Springer, 2023. doi:10.1007/978-3-031-54204-6\_23.
  10. Recent latest message driven GHOST: balancing dynamic availability with asynchrony resilience. In 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024, pages 127–142. IEEE, 2024. doi:10.1109/CSF61375.2024.00001.
  11. Brief announcement: Byzantine consensus under dynamic participation with a well-behaved majority. In Rotem Oshman, editor, 37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L’Aquila, Italy, volume 281 of LIPIcs, pages 41:1–41:7. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. URL: https://doi.org/10.4230/LIPIcs.DISC.2023.41, doi:10.4230/LIPICS.DISC.2023.41.
  12. Permissionless consensus. CoRR, abs/2304.14701, 2023. URL: https://doi.org/10.48550/arXiv.2304.14701, arXiv:2304.14701, doi:10.48550/ARXIV.2304.14701.
  13. Byzantine Consensus under Fully Fluctuating Participation. 2022. URL: https://eprint.iacr.org/archive/2022/1448/20221024:011919.
  14. Towards practical sleepy BFT. In Weizhi Meng, Christian Damsgaard Jensen, Cas Cremers, and Engin Kirda, editors, Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023, pages 490–503. ACM, 2023. doi:10.1145/3576915.3623073.
  15. Automated market making and loss-versus-rebalancing, 2024. URL: https://arxiv.org/abs/2208.06046, arXiv:2208.06046.
  16. Constant latency in sleepy consensus. In Heng Yin, Angelos Stavrou, Cas Cremers, and Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pages 2295–2308. ACM, 2022. doi:10.1145/3548606.3559347.
  17. Ebb-and-flow protocols: A resolution of the availability-finality dilemma. In 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pages 446–465. IEEE, 2021. doi:10.1109/SP40001.2021.00045.
  18. Ebb-and-flow protocols: A resolution of the availability-finality dilemma. In 42nd IEEE Symposium on Security and Privacy, 2021. Forthcoming. URL: https://arxiv.org/abs/2009.04987.
  19. The sleepy model of consensus. In ASIACRYPT (2), volume 10625 of Lecture Notes in Computer Science, pages 380–409. Springer, 2017.
  20. Three attacks on proof-of-stake ethereum. In Ittay Eyal and Juan A. Garay, editors, Financial Cryptography and Data Security - 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers, volume 13411 of Lecture Notes in Computer Science, pages 560–576. Springer, 2022.
  21. Secure high-rate transaction processing in Bitcoin. In International Conference on Financial Cryptography and Data Security, pages 507–527. Springer, 2015.
  22. Vlad Zamfir. Casper the friendly ghost. a correct-by-construction blockchain consensus protocol. URL: https://github.com/ethereum/research/blob/master/papers/cbc-consensus/AbstractCBC.pdf.

Summary

No one has generated a summary of this paper yet.

Sign Up to Summarize

Paper to Video (Beta)

No one has generated a video about this paper yet.

Sign Up to Generate All Videos Subscribe on YouTube

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Sign Up to Generate

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Generate Now

Continue Learning

We haven't generated follow-up questions for this paper yet.

Generate Now

Collections

Sign up for free to add this paper to one or more collections.

Sign Up

Tweets

Sign up for free to view the 3 tweets with 8 likes about this paper.

Sign Up for Free