English
Related papers

Related papers: Formally Verifying the Safety of Pipelined Moonsho…

200 papers

The security of many Proof-of-Stake (PoS) payment systems relies on quorum-based State Machine Replication (SMR) protocols. While classical analyses assume purely Byzantine faults, real-world systems must tolerate both arbitrary failures…

Cryptography and Security · Computer Science 2026-05-19 Zeta Avarikioti , Eleftherios Kokoris Kogias , Ray Neiheiser , Christos Stefo

Consensus is arguably one of the most important notions in distributed computing. Among asynchronous, randomized, and signature-free implementations, the protocols of Most\'efaoui et al. (PODC 2014 and JACM 2015) represent a landmark…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-03 Christian Cachin , Luca Zanolini

Sidechain technology has been envisioned as a promising solution to accelerate today's public blockchains in terms of scalability and interoperability. By relying on the mainchain for security, different sidechains can formulate their own…

Cryptography and Security · Computer Science 2019-11-19 Fangyu Gai , Cesar Grajales , Jianyu Niu , Mohammad Mussadiq Jalalzai , Chen Feng

Financial markets are undergoing an unprecedented transformation. Technological advances have brought major improvements to the operations of financial services. While these advances promote improved accessibility and convenience,…

Trading and Market Microstructure · Quantitative Finance 2023-12-05 Agostino Capponi , Garud Iyengar , Jay Sethuraman

Permissioned blockchains employ Byzantine fault-tolerant (BFT) state machine replication (SMR) to reach agreement on an ever-growing, linearly ordered log of transactions. A new paradigm, combined with decades of research in BFT SMR and…

Cryptography and Security · Computer Science 2021-03-02 Fangyu Gai , Ali Farahbakhsh , Jianyu Niu , Chen Feng , Ivan Beschastnikh , Hao Duan

This paper introduces MonadBFT, a novel Byzantine Fault Tolerant (BFT) consensus protocol that advances both performance and robustness. MonadBFT is implemented as the consensus protocol in the Monad blockchain. As a HotStuff-family…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-18 Mohammad Mussadiq Jalalzai , Kushal Babel , Jovan Komatovic , Tobias Klenze , Sourav Das , Fatima Elsheimy , Mike Setrin , John Bergschneider , Babak Gilkalaye

Consensus mechanism is the core technology for blockchain to ensure that transactions are executed in sequence. It also determines the decentralization, security, and efficiency of blockchain. Existing mechanisms all have certain…

Cryptography and Security · Computer Science 2025-01-03 Chenxi Xiong , Ting Yang , Yu Wang , Bing Dong

Byzantine consensus is a critical component in many permissioned Blockchains and distributed ledgers. We propose a new paradigm for designing BFT protocols called DQBFT that addresses three major performance and scalability challenges that…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-03-01 Balaji Arun , Binoy Ravindran

Blockchain has recently attracted the attention of the industry due, in part, to its ability to automate asset transfers. It requires distributed participants to reach a consensus on a block despite the presence of malicious (a.k.a.…

Cryptography and Security · Computer Science 2022-06-10 Nathalie Bertrand , Vincent Gramoli , Igor Konnov , Marijana Lazić , Pierre Tholoniat , Josef Widder

The growing interest in reliable multi-party applications has fostered widespread adoption of Byzantine Fault-Tolerant (BFT) consensus protocols. Existing BFT protocols need f more replicas than Paxos-style protocols to prevent equivocation…

Databases · Computer Science 2022-11-03 Suyash Gupta , Sajjad Rahnama , Shubham Pandey , Natacha Crooks , Mohammad Sadoghi

This paper presents a novel leaderless protocol (FPC-BI: Fast Probabilistic Consensus within Byzantine Infrastructures) with a low communicational complexity and which allows a set of nodes to come to a consensus on a value of a single bit.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-15 Serguei Popov , William J Buchanan

With the continuous expansion of blockchain application scenarios, consortium chains have raised higher performance and security requirements for consensus mechanisms. Unlike public blockchains, consortium chains typically implement an…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-04-20 Wen Gao , Xinhong Hei , Yichuan Wang

Byzantine fault-tolerant (BFT) consensus algorithms are at the core of providing safety and liveness guarantees for distributed systems that must operate in the presence of arbitrary failures. Recently, numerous new BFT algorithms have been…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-12-06 Gengrui Zhang , Fei Pan , Yunhao Mao , Sofia Tijanic , Michael Dang'ana , Shashank Motepalli , Shiquan Zhang , Hans-Arno Jacobsen

The Global Financial Crisis of 2008, caused by the accumulation of excessive financial risk, inspired Satoshi Nakamoto to create Bitcoin. Now, more than ten years later, Decentralized Finance (DeFi), a peer-to-peer financial paradigm which…

Cryptography and Security · Computer Science 2020-06-30 Lewis Gudgeon , Daniel Perez , Dominik Harz , Benjamin Livshits , Arthur Gervais

Decentralized Finance (DeFi) is a system of financial products and services built and delivered through smart contracts on various blockchains. In the past year, DeFi has gained popularity and market capitalization. However, it has also…

Machine Learning · Computer Science 2023-05-29 Arianna Trozze , Bennett Kleinberg , Toby Davies

The Ripple network is one of the most prominent blockchain platforms and its native XRP token currently has one of the highest cryptocurrency market capitalizations. The Ripple consensus protocol powers this network and is generally…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-01 Ignacio Amores-Sesar , Christian Cachin , Jovana Mićić

Decentralized finance (DeFi) protocols now intermediate over USD 100 billion in value, including regulated stablecoins and tokenized assets deployed as collateral, yet no widely adopted framework operationalizes risk assessment at the rigor…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-07 Eva Oberholzer , Valeriy Zamaraiev

Permissionless blockchain technology offers numerous potential benefits for decentralised applications, such as security, transparency, and openness. BFT-based consensus mechanisms are widely adopted in the permissioned blockchain to meet…

Cryptography and Security · Computer Science 2024-07-08 Ziqiang Xu , Ahmad Salehi Shahraki , Naveen Chilamkurti

Some of the recent blockchain proposals, such as Stellar and Ripple, allow for open membership while using quorum-like structures typical for classical Byzantine consensus with closed membership. This is achieved by constructing quorums in…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-16 Álvaro García-Pérez , Maria A. Schett

Decentralised Finance (DeFi) applications constitute an entire financial ecosystem deployed on blockchains. Such applications are based on complex protocols and incentive mechanisms whose financial safety is hard to determine. Besides,…

Software Engineering · Computer Science 2022-09-19 Massimo Bartoletti , James Chiang , Tommi Junttila , Alberto Lluch Lafuente , Massimiliano Mirelli , Andrea Vandin