2020/05/08 by Yongge Wang, Wang, Yongge · 3 citations
Computer Science · #Asynchronous communication #Blockchain #Blockchain Technology Applications and Security #Caching and Content Delivery #Computer network #Computer science #Computer security #Cryptography and Security (cs.CR) #Distributed #Distributed computing #Distributed systems and fault tolerance #FOS: Computer and information sciences #Gadget #Liveness #Parallel #Property (philosophy) #Protocol (science) #and Cluster Computing (cs.DC) #cs.CR #cs.DC
paper · pdf · doi:10.48550/arxiv.2005.04309
published in arXiv (Cornell University) (Cornell University)
openalex publication_date 2020/05/08 · arxiv created 2020/12/09 · arxiv updated 2020/12/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Ethereum Research team has proposed a family of Casper blockchain consensus protocols for Ethereum 2.0. It has been shown in the literature that Casper Friendly Finality Gadget (Casper FFG) for Ethereum 2.0's beacon network cannot achieve liveness property in partially synchronous networks such as the Internet environment. The "Correct-by-Construction" family of Casper blockchain consensus protocols (CBC Casper) has been proposed as a finality gadget for the future release of Ethereum 2.0 blockchain. Unfortunately, neither constructive finality rule nor satisfactory liveness property has been obtained for CBC Casper, and it is commonly believed that CBC Casper could not achieve liveness property in asynchronous networks. This paper provides the first probabilistic CBC Casper protocol that achieves liveness property against (n-1)/3 Byzantine participants in complete asynchronous networks.