English
Related papers

Related papers: A Topos View of Blockchain Consensus Protocols

200 papers

The Payment Protocol standard BIP70, specifying how payments in Bitcoin are performed by merchants and customers, is supported by the largest payment processors and most widely-used wallets. The protocol has been shown to be vulnerable to…

Cryptography and Security · Computer Science 2024-11-28 Paolo Modesti , Siamak F. Shahandashti , Patrick McCorry , Feng Hao

The pi calculus is a basic theory of mobile communication based on the notion of interaction, which, aimed at analyzing and modelling the behaviors of communication process in communicating and mobile systems, is widely applied to the…

Cryptography and Security · Computer Science 2023-12-06 Fusheng Wu , Jinhui Liu , Yanbing Li , Mingtao Ni

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

Consensus protocols inherently rely on the notion of leader election, in which one or a subset of participants are temporarily elected to authorize and announce the network's latest state. While leader election is a well studied problem,…

Cryptography and Security · Computer Science 2018-02-06 Sarah Azouvi , Patrick McCorry , Sarah Meiklejohn

While the large-scale Internet of Things (IoT) makes many new applications feasible, like Smart Cities, IoT also brings new concerns on data reliability, security, and privacy. The rapid evolution in blockchain technologies, which relied on…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-24 Ronghua Xu , Yu Chen

Recently a new fault tolerant and simple mechanism was designed for solving commit consensus problem. It is based on replicated validation of messages sent between transaction participants and a special dispatcher validator manager node.…

Databases · Computer Science 2017-06-13 Marius Rafailescu

In the light of the recent fame of Blockchain technologies, numerous proposals and projects aiming at better practical viability have emerged. However, formally assessing their particularities and benefits has proven to be a difficult task.…

Cryptography and Security · Computer Science 2019-06-13 Antoine Durand , Elyes Ben-Hamida , David Leporini , Gérard Memmi

Public blockchains should be able to scale with respect to the number of nodes and to the transactions workload. The blockchain scalability trilemma has been informally conjectured. This is related to scalability, security and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-08 Gianmaria Del Monte , Diego Pennino , Maurizio Pizzonia

In this paper, we propose a trust-centric privacy-preserving blockchain for dynamic spectrum access in IoT networks. To be specific, we propose a trust evaluation mechanism to evaluate the trustworthiness of sensing nodes and design a…

Cryptography and Security · Computer Science 2021-06-29 Jingwei Ye , Xin Kang , Ying-Chang Liang , Sumei Sun

The recent surge of blockchain systems has renewed the interest in traditional Byzantine fault-tolerant consensus protocols. Many such consensus protocols have a primary-backup design in which an assigned replica, the primary, is…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-07 Suyash Gupta , Jelle Hellings , Mohammad Sadoghi

A blockchain, such as Bitcoin, is an append-only, secure, transparent, distributed ledger. A fair blockchain is expected to have healthy metrics; high honest mining power, low processing latency, i.e., low wait times for transactions and…

Cryptography and Security · Computer Science 2020-03-03 Shoeb Siddiqui , Ganesh Vanahalli , Sujit Gujar

At the heart of the Bitcoin is a blockchain protocol, a protocol for achieving consensus on a public ledger that records bitcoin transactions. To the extent that a blockchain protocol is used for applications such as contract signing and…

Cryptography and Security · Computer Science 2017-07-28 Joseph Y. Halpern , Rafael Pass

FaB Paxos[5] sets a lower bound of 5f + 1 replicas for any two-step consensus protocols tolerating f byzantine failures. Yet, hBFT[3] promises a two-step consensus protocol with only 3f + 1 replicas. As a result, it violates safety property…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-30 Nibesh Shrestha , Mohan Kumar , SiSi Duan

The Decentralized-Consistent-Scale (DCS) Triangle defines three dimensions that illustrate the tradeoffs of the blockchain consensus mechanism. In this paper, we propose a new hybrid consensus protocol, called Deterministic Proof of Work…

Cryptography and Security · Computer Science 2018-11-15 Zhuan Cheng , Gang Wu , Hao Wu , Muxing Zhao , Liang Zhao , Qingfeng Cai

This paper develops semantic typing in a smart-contract setting to ensure type safety of code that uses statically untypable language constructs, such as the fallback function. The idea is that the creator of a contract on the blockchain…

Programming Languages · Computer Science 2026-04-28 Stian Lybech , Daniele Gorla , Luca Aceto

Consensus mechanisms are the core of any blockchain system. However, the majority of these mechanisms do not target federated learning directly nor do they aid in the aggregation step. This paper introduces Proof of Reasoning (PoR), a novel…

Cryptography and Security · Computer Science 2026-01-27 James Calo , Benny Lo

In the high-stakes race to develop more scalable blockchains, some platforms (Binance, Cosmos, EOS, TRON, etc.) have adopted committee-based consensus (CBC) protocols, whereby the blockchain's record-keeping rights are entrusted to a…

Cryptography and Security · Computer Science 2022-12-02 Alon Benhaim , Brett Hemenway Falk , Gerry Tsoukalas

The existing cryptosystem based approaches for privacy-preserving consensus of networked systems are usually limited to those with undirected topologies. This paper proposes a new privacy-preserving algorithm for networked systems with…

Multiagent Systems · Computer Science 2022-01-19 Wentuo Fang , Zhiyong Chen , Mohsen Zamani

Blockchains have sparked global interest in recent years, gaining importance as they increasingly influence technology and finance. This thesis investigates the robustness of blockchain protocols, specifically focusing on Ethereum…

Cryptography and Security · Computer Science 2024-12-02 Ulysse Pavloff

At the beginning of 2018, there is a growing belief that blockchain technologies constitute a revolutionary innovation in how we transfer value electronically. In that vein, blockchain may be a suitable complement to ontologies to achieve a…

Computers and Society · Computer Science 2018-01-09 Henry M. Kim , Marek Laskowski , Ning Nan