English
Related papers

Related papers: Snowman for partial synchrony

200 papers

In distributed systems with processes that do not share a global clock, \emph{partial synchrony} is achieved by clock synchronization that guarantees bounded clock skew among all applications. Existing solutions for distributed runtime…

Logic in Computer Science · Computer Science 2024-08-12 Borzoo Bonakdarpour , Anik Momtaz , Dejan Ničković , N. Ege Saraç

Blockchain and general purpose distributed ledgers are foundational technologies which bring significant innovation in the infrastructures and other underpinnings of our socio-economic systems. These P2P technologies are able to securely…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-06-17 Claudio J. Tessone , Paolo Tasca , Flavio Iannelli

Blockchain protocols typically aspire to run in the permissionless setting, in which nodes are owned and operated by a large number of diverse and unknown entities, with each node free to start or stop running the protocol at any time. This…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-03-05 Andrew Lewis-Pye , Tim Roughgarden

This paper presents Balloon, a scalable blockchain consensus protocol which could dynamically adapt its performance to the overall computation power change. Balloon is based on a parallel chain architecture combined with a greedy heaviest…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-04-11 Yan Huang , Yu Zhou , Tao Zhu , Yuzhuang Xu , Hehe Wang , Weihuai Liu , Jingxiu Hu , Pushan Xiao

A myriad of authentication mechanisms embody a continuous evolution from verbal passwords in ancient times to contemporary multi-factor authentication. Nevertheless, digital asset heists and numerous identity theft cases illustrate the…

Cryptography and Security · Computer Science 2024-06-27 Marwa Mouallem , Ittay Eyal

We investigate the time to consensus in Nakamoto blockchains. Specifically, we consider two competing growth processes, labeled \emph{honest} and \emph{adversarial}, and determine the time after which the honest process permananetly exceeds…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-18 Partha S. Dey , Aditya S. Gopalan , Vijay G. Subramanian

In recent years, it has come to attention that governments have been doing mass surveillance of personal communications without the consent of the citizens. As a consequence of these revelations, developers have begun releasing new…

Cryptography and Security · Computer Science 2019-07-31 Christian Johansen , Aulon Mujaj , Hamed Arshad , Josef Noll

We present public-private key cryptosystem which utilizes the fact that checking whether a partial automaton is carefully synchronizing is $PSPACE$-complete, even in the case of a binary alphabet.

Cryptography and Security · Computer Science 2023-02-03 Jakub Ruszil

Threshold cryptography is essential for many blockchain protocols. For example, many protocols rely on threshold common coin to implement asynchronous consensus, leader elections, and provide support for randomized applications. Similarly,…

Cryptography and Security · Computer Science 2025-05-26 Zhuolun Xiang , Sourav Das , Zekun Li , Zhoujun Ma , Alexander Spiegelman

An urgent demand of deploying BFT consensus over the Internet is raised for implementing blockchain services. The deterministic (partial) synchronous protocols can be simple and fast in good network conditions, but are subject to…

Cryptography and Security · Computer Science 2022-09-02 Yuan Lu , Zhenliang Lu , Qiang Tang

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

We study the problem of state machine replication (SMR)---the underlying problem addressed by blockchain protocols---in the presence of a malicious adversary who can corrupt some fraction of the parties running the protocol. Existing…

Cryptography and Security · Computer Science 2020-03-31 Erica Blum , Jonathan Katz , Julian Loss

We propose a new protocol for the generalized consensus problem in asynchronous systems subject to Byzantine server failures. The protocol solves the consensus problem in a setting in which information about conflict between transactions is…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-29 Rida Bazzi , Maurice Herlihy

A decentralized blockchain is a distributed ledger that is often used as a platform for exchanging goods and services. This ledger is maintained by a network of nodes that obeys a set of rules, called a consensus protocol, which helps to…

Optimization and Control · Mathematics 2022-01-03 Lucy Klinger , Lei Zhang , Zhennan Zhou

Blockchain-based consensus protocols present the opportunity to develop new protocols, due to their novel requirements of open participation and explicit incentivization of participants. To address the first requirement, it is necessary to…

Cryptography and Security · Computer Science 2018-08-09 Sarah Azouvi , Patrick McCorry , Sarah Meiklejohn

Enterprise-scale systems such as those used for cloud computing require a scalable and highly available infrastructure. One crucial ingredient of such an infrastructure is the ability to replicate data coherently among a group of…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-03-10 Dan Arnon , Navindra Sharma

Motivated by proof-of-stake (PoS) blockchains such as Ethereum, two key desiderata have recently been studied for Byzantine-fault tolerant (BFT) state-machine replication (SMR) consensus protocols: Finality means that the protocol retains…

Cryptography and Security · Computer Science 2024-01-22 Joachim Neu , Ertem Nusret Tas , David Tse

We study fault-tolerant consensus in a variant of the synchronous message passing model, where, in each round, every node can choose to be awake or asleep. This is known as the sleeping model (Chatterjee, Gmyr, Pandurangan PODC 2020) and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-31 Shachar Meir , Hugo Mirault , David Peleg , Peter Robinson

Synchronous consensus protocols offer a significant advantage over their asynchronous and partially synchronous counterparts by providing higher fault tolerance -- an essential benefit in distributed systems, like blockchains, where…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-14 Nenad Milošević , Daniel Cason , Zarko Milošević , Robert Soulé , Fernando Pedone

Tendermint-core blockchains (e.g. Cosmos) are considered today one of the most viable alternatives for the highly energy consuming proof-of-work blockchains such as Bitcoin and Ethereum. Their particularity is that they aim at offering…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-14 Yackolley Amoussou-Guenou , Antonella Del Pozzo , Maria Potop-Butucaru , Sara Tucci-Piergiovanni