English
Related papers

Related papers: ABC: Proof-of-Stake without Consensus

200 papers

Fault tolerant consensus protocols usually involve ordered rounds of voting between a collection of processes. In this paper, we derive a general specification of fault tolerant asynchronous consensus protocols and present a class of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-29 Robbert van Renesse

As distributed ledgers, blockchains run consensus protocols which trade capacity for consistency, especially in non-ideal networks with incomplete connectivity and erroneous links. Existing studies on the tradeoff between capacity and…

Cryptography and Security · Computer Science 2021-06-29 Xu Wang , Wei Ni , Xuan Zha , Guangsheng Yu , Ren Ping Liu , Nektarios Georgalas , Andrew Reeves

Post-quantum signature schemes impose kilobyte-scale on-chain artifacts. Verifying them inside ZK circuits merely relocates the cost via expensive lattice arithmetic in prover circuits. We present ZK-ACE (Zero-Knowledge Authorization for…

Cryptography and Security · Computer Science 2026-05-29 Jian Sheng Wang

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there is no…

Logic in Computer Science · Computer Science 2017-07-07 Kai Brünnler , Dandolo Flumini , Thomas Studer

Permissioned blockchains promise secure decentralized data management in business-to-business use-cases. In contrast to Bitcoin and similar public blockchains which rely on Proof-of-Work for consensus and are deployed on thousands of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-11 Lucas Kuhring , Zsolt István , Alessandro Sorniotti , Marko Vukolić

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 present the most extensive evaluation of blockchain system to date. To achieve scalability across servers in more than 10 countries located on 4 different continents, we drastically revisited Byzantine fault tolerant…

Cryptography and Security · Computer Science 2019-01-01 Tyler Crain , Christopher Natoli , Vincent Gramoli

We argue that recent developments in proof-of-work consensus mechanisms can be used in accordance with advancements in formal verification techniques to build a distributed payment protocol that addresses important economic drawbacks from…

Cryptography and Security · Computer Science 2020-05-14 Assimakis Kattis , Fabian Trottner

We present an algorithm for synchronous deterministic Byzantine consensus, tolerant to links failures and links asynchrony. It cares for a class of networks with specific needs, where both safety and liveness are essential, and timely…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-24 Ivan Klianev

Owing to some special characteristics and features, blockchain is a very useful technique that can securely organize diverse devices in a smart city. It finds wide applications, especially in distributed environments, where entities such as…

Cryptography and Security · Computer Science 2021-04-01 Jiahui Chen , Wensheng Gan , Muchuang Hu , Chien-Ming Chen

With the emergence of cross-organization attack-prone byzantine fault-tolerant (BFT) systems, so-called Blockchains, providing asynchronous state machine replication (SMR) solutions is no longer a theoretical concern. This paper introduces…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-11-26 Alexander Spiegelman , Arik Rinberg

Most current blockchains require all full nodes to execute all tasks limits the throughput of existing blockchains, which are well documented and among the most significant hurdles for the widespread adoption of decentralized technology.…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-02-19 Alexander Hentschel , Yahya Hassanzadeh-Nazarabadi , Ramtin Seraj , Dieter Shirley , Layne Lafrance

This paper proposes a protocol for Proof of Assets of a bitcoin exchange using the Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (ZK-SNARK) without revealing either the bitcoin addresses of the exchange or balances…

Cryptography and Security · Computer Science 2022-11-14 B Swaroopa Reddy

Blockchain protocols differ in fundamental ways, including the mechanics of selecting users to produce blocks (e.g., proof-of-work vs. proof-of-stake) and the method to establish consensus (e.g., longest chain rules vs. BFT-inspired…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-19 Andrew Lewis-Pye , Tim Roughgarden

The success of blockchain as the underlying technology for cryptocurrencies has opened up possibilities for its use in other application domains as well. The main advantages of blockchain for its potential use in other domains are its…

Networking and Internet Architecture · Computer Science 2019-06-21 Mehrdad Salimitari , Mainak Chatterjee

Cross-Blockchain communication has gained traction due to the increasing fragmentation of blockchain networks and scalability solutions such as side-chaining and sharding. With SmartSync, we propose a novel concept for cross-blockchain…

Cryptography and Security · Computer Science 2022-09-01 Martin Westerkamp , Axel Küpper

Blockchain has been regarded as a promising technology for Internet of Things (IoT), since it provides significant solutions for decentralized network which can address trust and security concerns, high maintenance cost problem, etc. The…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-24 Bin Cao , Yixin Li , Lei Zhang , Long Zhang , Shahid Mumtaz , Zhenyu Zhou , Mugen Peng

A verifiable random function (VRF in short) is a powerful pseudo-random function that provides a non-interactively public verifiable proof for the correctness of its output. Recently, VRFs have found essential applications in blockchain…

Cryptography and Security · Computer Science 2021-09-07 Zengpeng Li , Teik Guan Tan , Pawel Szalachowski , Vishal Sharma , Jianying Zhou

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

Many existing timed-release encryption schemes uses time-lock puzzles to avoid relying on a trusted timeserver or a key holder which could be a weak spot in data security. However, it is unavoidable to consume massive computing power for…

Cryptography and Security · Computer Science 2022-07-13 Fanghao Yang , Xingqiu Yuan