English
Related papers

Related papers: Prism Removes Consensus Bottleneck for Smart Contr…

200 papers

We construct an empirically founded model of a repo trade intermediated by two broker-dealers and prove multiple equilibrium and the existence of equilibrium at the joint profit maximizing volume of trade. We then present a smart contract…

Theoretical Economics · Economics 2026-04-21 Daniel Aronoff , Robert M. Townsend

The recent adoption of blockchain technologies and open permissionless networks suggest the importance of peer-to-peer atomic cross-chain transaction protocols. Users should be able to atomically exchange tokens and assets without depending…

Databases · Computer Science 2021-03-30 Victor Zakhary , Divyakant Agrawal , Amr El Abbadi

In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency. We examine two real-world examples from the…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-21 Ilya Sergey , Aquinas Hobor

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

Decentralized inference provides a scalable and resilient paradigm for serving large language models (LLMs), enabling fragmented global resource utilization and reducing reliance on centralized providers. However, in a permissionless…

Cryptography and Security · Computer Science 2026-01-23 Ke Wang , Zishuo Zhao , Xinyuan Song , Zelin Li , Libin Xia , Chris Tong , Bill Shi , Wenjie Qu , Eric Yang , Lynn Ai

Modern distributed systems rely on consensus protocols to build a fault-tolerant-core upon which they can build applications. Consensus protocols are correct under a specific failure model, where up to $f$ machines can fail. We argue that…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-13 Reginald Frank , Soujanya Ponnapalli , Octavio Lomeli , Neil Giridharan , Marcos K Aguilera , Natacha Crooks

A blockchain is a distributed ledger for recording transactions, maintained by many nodes without central authority through a distributed cryptographic protocol. All nodes validate the information to be appended to the blockchain, and a…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-07-10 Christian Cachin , Marko Vukolić

Smart contracts on Ethereum handle millions of U.S. Dollars and other financial assets. In the past, attackers have exploited smart contracts to steal these assets. The Ethereum community has developed plenty of tools to detect vulnerable…

Cryptography and Security · Computer Science 2022-02-28 Chavhan Sujeet Yashavant , Saurabh Kumar , Amey Karkare

Due to the rapid development of quantum computing, many classical blockchain technologies are now considered insecure. The emergence of quantum blockchain holds promise for addressing this issue. Various quantum consensus algorithms have…

Cryptography and Security · Computer Science 2024-12-10 Jianming Lin , Hui Li , Hongjian Xing , Runhuai Huang , Weixiang Huang , Shaowen Deng , Yanping Zhang , Weimin Zeng , Ping Lu , Xiyu Wang , Tao Sun , Xiongyan Tang

Smart contracts are self-executing programs on blockchain platforms like Ethereum, which have revolutionized decentralized finance by enabling trustless transactions and the operation of decentralized applications. Despite their potential,…

Software Engineering · Computer Science 2026-03-25 Gerardo Iuliano , Dario Di Nucci

The consensus protocol is a critical component of distributed ledgers and blockchains. Achieving consensus over a decentralized network poses challenges to transaction finality and performance. Currently, the highest-performing consensus…

Cryptography and Security · Computer Science 2024-08-09 Pascal Berrang , Inês Cruz , Bruno França , Philipp von Styp-Rekowsky , Marvin Wissfeld

This paper presents TetraBFT, a novel unauthenticated Byzantine fault tolerant protocol for solving consensus in partial synchrony, eliminating the need for public key cryptography and ensuring resilience against computationally unbounded…

Cryptography and Security · Computer Science 2026-04-14 Qianyu Yu , Giuliano Losa , Xuechao Wang

We propose a novel framework for off-chain execution and verification of computationally-intensive smart contracts. Our framework is the first solution that avoids duplication of computing effort across multiple contractors, does not…

Cryptography and Security · Computer Science 2021-04-27 Emrah Sariboz , Kartick Kolachala , Gaurav Panwar , Roopa Vishwanathan , Satyajayant Misra

This paper presents MPC-EVM, the first blockchain prototype that extends the EVM to enable asynchronous MPC invocations by smart contracts during transaction executions without compromising consistency or throughput. MPC-EVM uses an…

Cryptography and Security · Computer Science 2025-07-29 Yichen Zhou , Chenxing Li , Fan Long

Permissionless consensus protocols require a scarce resource to regulate leader election and provide Sybil resistance. Existing paradigms such as Proof of Work and Proof of Stake instantiate this scarcity through parallelizable resources…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-09 Homayoun Maleki , Nekane Sainz , Jon Legarda

The blockchain initially gained traction in 2008 as the technology underlying bitcoin, but now has been employed in a diverse range of applications and created a global market worth over $150B as of 2017. What distinguishes blockchains from…

Cryptography and Security · Computer Science 2017-11-15 Shehar Bano , Alberto Sonnino , Mustafa Al-Bassam , Sarah Azouvi , Patrick McCorry , Sarah Meiklejohn , George Danezis

Smart contract platforms facilitate the development of important and diverse distributed applications in a simple manner. This simplicity stems from the inherent utility of employing the state of smart contracts to store, query and verify…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-08-05 Christos Patsonakis , Mema Roussopoulos

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state…

Programming Languages · Computer Science 2020-04-28 Massimo Bartoletti , Letterio Galletta , Maurizio Murgia

One of the key challenges in the collaboration within heterogeneous multi-robot systems is the optimization of the amount and type of data to be shared between robots with different sensing capabilities and computational resources. In this…

Cryptography and Security · Computer Science 2020-07-07 Jorge Peña Queralta , Tomi Westerlund

We improve the fundamental security threshold of eventual consensus Proof-of-Stake (PoS) blockchain protocols under the longest-chain rule by showing, for the first time, the positive effect of rounds with concurrent honest leaders. Current…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-07-30 Aggelos Kiayias , Saad Quader , Alexander Russell