14 citations · 16 across the 9 of their papers we have counts for
13 papers
On the Geographic Incentives of Multiple Concurrent Proposers
Kushal Babel, Jason Milionis, Eric Xue
We study whether systems with multiple concurrent proposers (MCP) incentivize the geographic decentralization of proposers. In our model, concurrent proposers strategically choose…
Cadence: Extreme Pipelining with Multiple Concurrent Proposers
Kushal Babel, Fatima Elsheimy, Lioba Heimbach +6
We present Cadence, a Byzantine fault-tolerant multi-proposer consensus protocol with arbitrarily low block intervals, optimal resilience, and optimal fast-path latency. Cadence di…
EVM Workloads in the Wild: Evidence for Multi-Dimensional Gas Metering, State Growth, Delayed Execution, and Parallelism
Lioba Heimbach, Kushal Babel, Jason Milionis
Gas metering on EVM-compatible blockchains assumes that execution conditions are stable: that the resource mix is constant enough to justify collapsing execution costs into a singl…
Blockspace Under Pressure: An Analysis of Spam MEV on High-Throughput Blockchains
Wenhao Wang, Aditya Saraf, Lioba Heimbach +2
On high-throughput, low-fee blockchains, a qualitatively new form of maximal extractable value (MEV) has emerged: searchers submit large volumes of speculative transactions, whose…
Timing Games in Responsive Consensus Protocols
Kaya Alpturer, Kushal Babel, Aditya Saraf
Optimistic responsiveness -- the ability of a consensus protocol to operate at the speed of the network -- is widely used in consensus protocol design to optimize latency and throu…
Voting-Bloc Entropy: A New Metric for DAO Decentralization
Andrés Fábrega, Amy Zhao, Jay Yu +5
Decentralized Autonomous Organizations (DAOs) use smart contracts to foster communities working toward common goals. Existing definitions of decentralization, however -- the 'D' in…
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
Mohammad Mussadiq Jalalzai, Kushal Babel, Jovan Komatovic +6
This paper introduces MonadBFT, a novel Byzantine Fault Tolerant (BFT) consensus protocol that advances both performance and robustness. MonadBFT is implemented as the consensus pr…
Liquefaction: Privately Liquefying Blockchain Assets
James Austgen, Andrés Fábrega, Mahimna Kelkar +5
Inherent in the world of cryptocurrency systems and their security models is the notion that private keys, and thus assets, are controlled by individuals or individual entities. We…
PROF: Protected Order Flow in a Profit-Seeking World
Kushal Babel, Nerla Jean-Louis, Yan Ji +5
Users of decentralized finance (DeFi) applications face significant risks from adversarial actions that manipulate the order of transactions to extract value from users. Such actio…
DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs
James Austgen, Andrés Fábrega, Sarah Allen +3
Decentralized Autonomous Organizations (DAOs) use smart contracts to foster communities working toward common goals. Existing definitions of decentralization, however-the 'D' in DA…
Mysticeti: Reaching the Limits of Latency with Uncertified DAGs
Kushal Babel, Andrey Chursin, George Danezis +5
We introduce Mysticeti-C, the first DAG-based Byzantine consensus protocol to achieve the lower bounds of latency of 3 message rounds. Since Mysticeti-C is built over DAGs it also…
SHORTSTACK: Distributed, Fault-tolerant, Oblivious Data Access
Midhul Vuppalapati, Kushal Babel, Anurag Khandelwal +1
Many applications that benefit from data offload to cloud services operate on private data. A now-long line of work has shown that, even when data is offloaded in an encrypted form…
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
Kushal Babel, Philip Daian, Mahimna Kelkar +1
We introduce the Clockwork Finance Framework (CFF), a general purpose, formal verification framework for mechanized reasoning about the economic security properties of composed dec…