14 citations · 14 across the 4 of their papers we have counts for
9 papers
Bandwidth Fee Mechanisms for Certified Transaction Dissemination
Eleftheria Fassman, Mahimna Kelkar, Benjamin Marsh +1
We study bandwidth fee mechanisms (BFMs) for pricing threshold-certified transaction dissemination before consensus. Analogous to transaction fee mechanisms for computation, BFMs p…
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…
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…
BoLD: Fast and Cheap Dispute Resolution
Mario M. Alvarez, Henry Arneson, Ben Berger +12
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…
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…
Buying Time: Latency Racing vs. Bidding in Transaction Ordering
Akaki Mamageishvili, Mahimna Kelkar, Jan Christoph Schlegel +1
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 t…
Zef: Low-latency, Scalable, Private Payments
Mathieu Baudet, Alberto Sonnino, Mahimna Kelkar +1
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 mo…
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…