-
BoLD: Fast and Cheap Dispute Resolution
Authors:
Mario M. Alvarez,
Henry Arneson,
Ben Berger,
Lee Bousfield,
Chris Buckland,
Yafah Edelman,
Edward W. Felten,
Daniel Goldman,
Raul Jordan,
Mahimna Kelkar,
Akaki Mamageishvili,
Harry Ng,
Aman Sanghi,
Victor Shoup,
Terence Tsao
Abstract:
BoLD is a new dispute resolution protocol that is designed to replace the originally deployed Arbitrum dispute resolution protocol. Unlike that protocol, BoLD is resistant to delay attacks. It achieves this resistance without a significant increase in onchain computation costs and with reduced staking costs.
BoLD is a new dispute resolution protocol that is designed to replace the originally deployed Arbitrum dispute resolution protocol. Unlike that protocol, BoLD is resistant to delay attacks. It achieves this resistance without a significant increase in onchain computation costs and with reduced staking costs.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs
Authors:
James Austgen,
Andrés Fábrega,
Sarah Allen,
Kushal Babel,
Mahimna Kelkar,
Ari Juels
Abstract:
Decentralized Autonomous Organizations (DAOs) use smart contracts to foster communities working toward common goals. Existing definitions of decentralization, however-the 'D' in DAO-fall short of capturing key properties characteristic of diverse and equitable participation. We propose a new metric called Voting-Bloc Entropy (VBE, pronounced ''vibe'') that formalizes a broad notion of decentraliza…
▽ More
Decentralized Autonomous Organizations (DAOs) use smart contracts to foster communities working toward common goals. Existing definitions of decentralization, however-the 'D' in DAO-fall short of capturing key properties characteristic of diverse and equitable participation. We propose a new metric called Voting-Bloc Entropy (VBE, pronounced ''vibe'') that formalizes a broad notion of decentralization in voting on DAO proposals. VBE measures the similarity of participants' utility functions across a set of proposals. We use VBE to prove a number of results about the decentralizing effects of vote delegation, proposal bundling, bribery, and quadratic voting. Our results lead to practical suggestions for enhancing DAO decentralization. One of our results highlights the risk of systemic bribery with increasing DAO decentralization. To show that this threat is realistic, we present the first practical realization of a Dark DAO, a proposed mechanism for privacy-preserving corruption of identity systems, including those used in DAO voting. Our Dark-DAO prototype uses trusted execution environments (TEEs) in the Oasis Sapphire blockchain for attacks on Ethereum DAOs. It demonstrates that Dark DAOs constitute a realistic future concern for DAO governance.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Buying Time: Latency Racing vs. Bidding in Transaction Ordering
Authors:
Akaki Mamageishvili,
Mahimna Kelkar,
Jan Christoph Schlegel,
Edward W. Felten
Abstract:
We design TimeBoost: a practical transaction ordering policy for rollup sequencers that takes into account both transaction timestamps and bids; it works by creating a score from timestamps and bids, and orders transactions based on this score.
TimeBoost is transaction-data-independent (i.e., can work with encrypted transactions) and supports low transaction finalization times similar to a first…
▽ More
We design TimeBoost: a practical transaction ordering policy for rollup sequencers that takes into account both transaction timestamps and bids; it works by creating a score from timestamps and bids, and orders transactions based on this score.
TimeBoost is transaction-data-independent (i.e., can work with encrypted transactions) and supports low transaction finalization times similar to a first-come first-serve (FCFS or pure-latency) ordering policy. At the same time, it avoids the inefficient latency competition created by an FCFS policy. It further satisfies useful economic properties of first-price auctions that come with a pure-bidding policy. We show through rigorous economic analyses how TimeBoost allows players to compete on arbitrage opportunities in a way that results in better guarantees compared to both pure-latency and pure-bidding approaches.
△ Less
Submitted 16 August, 2023; v1 submitted 3 June, 2023;
originally announced June 2023.
-
Zef: Low-latency, Scalable, Private Payments
Authors:
Mathieu Baudet,
Alberto Sonnino,
Mahimna Kelkar,
George Danezis
Abstract:
We introduce Zef, the first Byzantine-Fault Tolerant (BFT) protocol to support payments in anonymous digital coins at arbitrary scale. Zef follows the communication and security model of FastPay: both protocols are asynchronous, low-latency, linearly-scalable, and powered by partially-trusted sharded authorities. Zef further introduces opaque coins represented as off-chain certificates that are bo…
▽ More
We introduce Zef, the first Byzantine-Fault Tolerant (BFT) protocol to support payments in anonymous digital coins at arbitrary scale. Zef follows the communication and security model of FastPay: both protocols are asynchronous, low-latency, linearly-scalable, and powered by partially-trusted sharded authorities. Zef further introduces opaque coins represented as off-chain certificates that are bound to user accounts. In order to hide the face values of coins when a payment operation consumes or creates them, Zef uses random commitments and NIZK proofs. Created coins are made unlinkable using the blind and randomizable threshold anonymous credentials of Coconut. To control storage costs associated with coin replay prevention, Zef accounts are designed so that data can be safely removed once an account is deactivated. Besides the specifications and a detailed analysis of the protocol, we are making available an open-source implementation of Zef in Rust. Our extensive benchmarks on AWS confirm textbook linear scalability and demonstrate a confirmation time under one second at nominal capacity. Compared to existing anonymous payment systems based on a blockchain, this represents a latency speedup of three orders of magnitude, with no theoretical limit on throughput.
△ Less
Submitted 8 March, 2022; v1 submitted 14 January, 2022;
originally announced January 2022.
-
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Authors:
Kushal Babel,
Philip Daian,
Mahimna Kelkar,
Ari Juels
Abstract:
We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security properties of composed decentralized-finance (DeFi) smart contracts. CFF features three key properties. It is contract complete, meaning that it can model any smart contract platform and all its contracts--Turing complete or otherwise. It does so…
▽ More
We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security properties of composed decentralized-finance (DeFi) smart contracts. CFF features three key properties. It is contract complete, meaning that it can model any smart contract platform and all its contracts--Turing complete or otherwise. It does so with asymptotically constant model overhead. It is also attack-exhaustive by construction, meaning that it can automatically and mechanically extract all possible economic attacks on users' cryptocurrency across modeled contracts. Thanks to these properties, CFF can support multiple goals: economic security analysis of contracts by developers, analysis of DeFi trading risks by users, fees UX, and optimization of arbitrage opportunities by bots or miners. Because CFF offers composability, it can support these goals with reasoning over any desired set of potentially interacting smart contract models. We instantiate CFF as an executable model for Ethereum contracts that incorporates a state-of-the-art deductive verifier. Building on previous work, we introduce extractable value (EV), a new formal notion of economic security in composed DeFi contracts that is both a basis for CFF and of general interest. We construct modular, human-readable, composable CFF models of four popular, deployed DeFi protocols in Ethereum: Uniswap, Uniswap V2, Sushiswap, and MakerDAO, representing a combined 24 billion USD in value as of March 2022. We use these models along with some other common models such as flash loans, airdrops and voting to show experimentally that CFF is practical and can drive useful, data-based EV-based insights from real world transaction activity. Without any explicitly programmed attack strategies, CFF uncovers on average an expected $56 million of EV per month in the recent past.
△ Less
Submitted 18 May, 2023; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Mechanics of the cellular actin cortex: from signalling to shape change
Authors:
Manasi Kelkar,
Pierre Bohec,
Guillaume Charras
Abstract:
The actin cortex is a thin layer of actin, myosin, and actin binding proteins that underlies the membrane of most animal cells. It is highly dynamic and can undergo remodelling on time-scales of tens of seconds thanks to protein turnover and myosin-mediated contractions. The cortex enables cells to resist external mechanical stresses, controls cell shape, and allows cells to exert forces on their…
▽ More
The actin cortex is a thin layer of actin, myosin, and actin binding proteins that underlies the membrane of most animal cells. It is highly dynamic and can undergo remodelling on time-scales of tens of seconds thanks to protein turnover and myosin-mediated contractions. The cortex enables cells to resist external mechanical stresses, controls cell shape, and allows cells to exert forces on their neighbours. Thus, its mechanical properties are key to its physiological function. Here, we give an overview of how cortex composition, structure, and dynamics control cortex mechanics and cell shape. We use mitosis as an example to illustrate how global and local regulation of cortex mechanics give rise to a complex series of cell shape changes.
△ Less
Submitted 22 June, 2020; v1 submitted 24 May, 2020;
originally announced May 2020.