I study how to design markets and protocols that remain effective in decentralized and permissionless settings, where participants and infrastructure operators may behave strategically or adversarially.
Maryam Bahrani · Michael Neuder · S. Matthew Weinberg
Studies how protocols should procure work that is expensive to produce but cheap to verify in permissionless environments with adversarial suppliers and costly liveness failures.
Mechanism designMarkets for computationBlockchain protocols
Designing Incentives for Responsive Consensus Protocols
Mahimna Kelkar · Ertem Nusret Tas · Maryam Bahrani · Tim Roughgarden
Characterizes when rewards and leader stake can incentivize responsive block proposals, then shows that multi-leader competition can achieve responsiveness with simpler rewards and no stake requirement.
Mechanism designBlockchain protocolsDistributed systems
Maryam Bahrani · Michael Neuder · S. Matthew Weinberg
Develops a framework for evaluating cutoff selfish-mining strategies under general stochastic rewards, then applies it to a Bitcoin reward model combining the block subsidy, time-accruing fees, and occasional reward spikes.
Transaction Fee Mechanism Design in a Post-MEV World
Maryam Bahrani · Pranav Garimidi · Tim Roughgarden
Models active block producers with MEV utility, proves impossibility results for transaction-fee mechanisms in general, and gives a searcher-assisted mechanism with a tight 1/2 welfare guarantee.
Resonance: Transaction Fees for Heterogeneous Computation
Maryam Bahrani · Naveen Durvasula
Introduces a transaction-fee mechanism for heterogeneous two-sided compute markets in which broker competition leads to efficient individualized prices for users and execution nodes.
Centralization in Block-Building and Proposer-Builder Separation
Maryam Bahrani · Pranav Garimidi · Tim Roughgarden
Develops three models that quantify equilibrium stake concentration from heterogeneous rewards, the rate of concentration when rewards are reinvested, and how builder competition reduces reward differences among proposers under proposer-builder separation.
Mechanism designBlockchain protocolsDistributed systems
Maryam Bahrani · Pranav Garimidi · Tim Roughgarden
Studies truthful two-level auctions in which each bidder is a DAO with an internal bid-aggregation and cost-sharing rule, proving that a logarithmic welfare approximation is both achievable and tight.
Formal Barriers to Simple Algorithms for the Matroid Secretary Problem
Maryam Bahrani · Hedyeh Beyhaghi · Sahil Singla · S. Matthew Weinberg
Establishes impossibility results for two broad algorithmic frameworks for the matroid secretary problem: natural greedy algorithms and randomized partition algorithms.
International Colloquium on Automata, Languages, and Programming (ICALP)
Asynchronous Majority Dynamics in Preferential Attachment Trees
Maryam Bahrani · Nicole Immorlica · Divyarthi Mohan · S. Matthew Weinberg
Studies asynchronous local-majority learning on preferential-attachment trees and proves that the process stabilizes in a correct majority within O(n log n / log log n) updates with high probability.
Enumerations, Forbidden Subgraph Characterizations, and the Split-Decomposition
Maryam Bahrani · Jérémie Lumbroso
Turns forbidden-induced-subgraph descriptions into constrained split-decomposition grammars, yielding enumerations for ptolemaic, block, and several cactus graph classes.
Split-Decomposition Trees with Prime Nodes: Enumeration and Random Generation of Cactus Graphs
Maryam Bahrani · Jérémie Lumbroso
Characterizes split-decomposition trees of cactus graphs, derives symbolic grammars, and implements random generation in a setting whose prime nodes are cycles.