11email: [email protected] 22institutetext: Robust Incentives Group - Ethereum Foundation
22email: [email protected] 33institutetext: University of Florida
33email: [email protected]
MEV Capture and Decentralization in Execution Tickets
Abstract
We provide an economic model of Execution Tickets and use it to study the ability of the Ethereum protocol to capture MEV from block construction. We demonstrate that Execution Tickets extract all MEV when all buyers are homogeneous, risk neutral and face no capital costs. We also show that MEV capture decreases with risk aversion and capital costs. Moreover, when buyers are heterogeneous, MEV capture can be especially low and a single dominant buyer can extract much of the MEV. This adverse effect can be partially mitigated by the presence of a Proposer Builder Separation (PBS) mechanism, which gives ET buyers access to a market of specialized builders, but in practice centralization vectors still persist. With PBS, ETs are concentrated among those with the highest ex-ante MEV extraction ability and lowest cost of capital. We show how it is possible that large investors that are not builders but have substantial advantage in capital cost can come to dominate the ET market.
1 Introduction
Within the current Ethereum blockchain, a block proposer possesses a short-term monopoly right to propose the Execution Payload.111The block proposer refers to the validator chosen in the PoS random leader election to “propose” the next block. Moreover, the Execution Payload is the object in the block that contains the ordered list of transactions. For additional details regarding the Ethereum protocol, the interested reader may consult [11]. Notably, this monopoly right confers discretion over block contents and that discretion can be leveraged to acquire additional value, known as Maximal Extractable Value (MEV). Importantly, MEV is generally extracted from users and thereby serves as a disincentive for users to interact with the Ethereum blockchain. As a consequence, there is an active discussion regarding methods that enable the Ethereum protocol to capture MEV so that the proceeds can be distributed in such a way as to mitigate user losses.
Protocol MEV capture has been an open problem for some time. Recently Attester Proposer Separation (APS) was proposed, which is the idea of separating Execution Payload proposal rights from other duties of validators and selling the rights to a market of buyers. This mechanism has the potential, if implemented correctly, to preserve decentralization of Ethereum’s validator set while enabling MEV capture. One of the most prominent implementation proposals is Execution Tickets (ETs). The primary contribution of this paper is to provide the first equilibrium analysis of ETs. This analysis allows us to shed light both on the extent to which ETs can successfully capture MEV and also implications regarding centralization.
MEV was first documented by [6] and corresponds specifically to value that can be extracted from users through discretion in determining which transactions are included in a block and their ordering.222The interested reader may consult [1] for a formalization of MEV. A classic example of MEV is a sandwich attack whereby a user order at a Decentralized Exchange (DEX) is sandwiched between a front-run and a back-run, yielding a profit to the trader conducting the sandwich but a loss for the user who faces higher trading costs due to the front-run (see [9] for details). In the context of a sandwich attack, a successful MEV internalization technique would extract the gain from the trader conducting the sandwich attack so that it could be redistributed to mitigate the effects of such attacks on users.
Under ET mechanism, there is a lottery in each slot to determine who will have the right to propose an Execution Block or Payload. This lottery is separate from the Beacon proposer lottery which identifies the consensus proposer who has the right to propose a Consensus Block, based on stake weight. The lottery tickets in the Execution Proposer lottery are ETs. Notably, an ET is a valid ticket to all future execution lotteries until it wins a lottery at which time it is removed from circulation. In turn, an ET always confers the right to propose the Execution Payload for exactly one slot in the future but the slot number is a random variable with a geometric distribution.
Our paper provides three important insights regarding protocol MEV capture via ETs:
-
(i)
Risk Aversion and Capital Costs undermine the success of ETs internalizing all MEV;
-
(ii)
Heterogeneity among builders with or without PBS undermines the success of ETs internalizing all MEV;
-
(iii)
In all situations, the more competitive the playing field, the more MEV can be internalized.
The first point arises because an ET confers the right to determine the block contents for a future slot at a random time. This structure introduces both risk in terms of the pay-off and costs in terms of needing to secure capital ahead of time. As a consequence, when ET buyers are risk-averse and face capital costs, they are not willing to pay the expected value of MEV for an ET. Rather, each buyer would pay the risk-adjusted discounted value of MEV which is necessarily lower than the expected value of MEV. We formalize this point through two results, Propositions 2 and 3. Proposition 2 demonstrates that the protocol does fully capture MEV when builders are risk-neutral and face no capital costs, whereas Proposition 3 shows that the protocol does not fully capture MEV when builders are risk-averse and face non-zero capital costs.
The second point arises because, when buyers are heterogeneous, they possess different valuations for ETs. In turn, the buyer with the highest valuation has no incentive to pay more than the buyer with the second highest valuation and no other buyer has an incentive to pay above the valuation for the buyer with the second-highest valuation either. In turn, the gap between the two highest valuations is captured by the buyer with highest valuation and not the protocol. We demonstrate this result formally in Proposition 4 and Proposition 5.
In the presence of a (PBS) mechanism, any ET holder can sell their ET in the MEV Boost market at a competitive valuation that does not vary by builder. That said, every builder also has the option to opt out of PBS (in some instances this can be done ex-post). Hence, buyers remain heterogeneous with PBS, and as before, MEV is similarly not fully internalized.
The third point arises given the intuition that the gap between the two highest valuations is captured by the buyer with highest valuation and not the protocol. The tighter this gap, the more MEV is captured.
Our paper also provides implications regarding centralization vectors in the ET market:
-
(i)
When buyers are homogeneous, ET holdings are decentralized;
-
(ii)
When buyers are heterogeneous and there is no PBS mechanism, ET holdings are centralized;
-
(iii)
When buyers are heterogeneous and PBS is present, ET ownership is centralized among buyers who balance low capital costs with high MEV extraction abilities Moreover, large investors with lower capital costs may dominate the market. Even with ticket ownership concentration, the block-building rights are likely sold ex-post via PBS, and thus the tickets are likely exercised by builders with the best ex-post MEV extraction ability in a slot.
The first point arises because, when buyers are homogeneous, they possess identical valuations for ETs. In turn, all buyers are willing to purchase ETs. This result is stated formally as part of Propositions 2 and 3. Crucially, as per the second point, any heterogeneity among buyers whereby the ex ante valuation for ETs is higher for some set of buyers than others results in a centralization of ET holdings whereby only the buyers with the highest ex ante valuation hold ETs. This point is formalized by Proposition 4 and Proposition 5.
PBS gives buyers equal access to builders at the time of block construction, meaning ticket holders don’t need to have native MEV extraction capabilities. Instead, they can solicit the block’s value from the competitive PBS market. However, builders always have the option not to run PBS, which may be rational if their building ability surpasses that of the market. This dynamic maintains buyer heterogeneity while also providing those without native MEV extraction ability a baseline extraction capability via PBS. Thus, better capital costs and superior native MEV extraction ability can lead buyers to have a higher ex-ante valuation of ETs than others. In Proposition 6, we formalize the criteria for balancing capital costs with MEV extraction ability (which can be sourced through PBS), leading certain buyers to dominate the market. In Proposition 7, we further formalize that large investors with systematically better capital costs might come to dominate the ET buying market.
Given PBS, the owner of the ET might not be the one who exercises the building rights and may instead sell the right via PBS. Hence, ticket centralization does not necessarily imply builder centralization.
We proceed hereafter by providing comprehensive background in Section 2. We then state our formal economic model in Section 3. We provide the general equilibrium solution in Section 3 along with several important special cases. Our results are provided in Section 4. We discuss practical implications of our findings and forward-looking thoughts in Section 5.
2 Background
Current MEV Market Structure
Without external aids, proposers struggle to capture the bulk of accessible MEV. This is because effective capture necessitates sophistication given the need to quickly and efficiently navigate through combinatorially complex search spaces. Acknowledging that validators might not be ideally suited for these intricate challenges, PBS [13] has been widely embraced [10], with the most common instantiation being MEV-Boost.333See the MEV-Boost GitHub repository here [8]. This approach enables all proposers, irrespective of their level of sophistication, to capture the majority of the MEV value in their block.
PBS distinguishes the block-building function from the proposing function. Proposers can opt into an auction where builders bid for the right to control the ordering of transactions in a block. Proposers then include in the Execution Payload the list of transaction with the highest associated bid. Since the builders select the payload, they receive the MEV minus the bid, while the validator receives the bid. Effectively, proposers are auctioning off their one slot monopoly to builders. Given the competitiveness of the market and the short-term monopoly the validator has on block production, the winning bid ends up being slightly less than the value of the MEV.
Problems with the Current Market Structure
2.0.1 Centralization Problem.
The current MEV supply chain puts centralization pressure444 Maintaining a robust Ethereum network requires validator decentralization, namely geographical, client, and owner diversity of the validator set. Systematic advantages for certain validators and externalities that encourage colocation corrode the foundational integrity of the network. Builder centralization, on the other hand, is problematic if it leads to systematic censorship of transactions. A decentralized validator set may be able to maintain censorship resistance through mechanisms like inclusion lists [14], meaning that builder centralization may not be an issue as long as there is a robust decentralized validator set. on Ethereum as more sophisticated validators consistently make more money than less sophisticated ones [2]. This is because there is an incentive for proposers to play timing games [15], and certain validators are better equipped to play these games. Given differentials in average proposer rewards, the current market structure should, in theory, lead to the centralization of the validator set in the long run.555The intuition behind the existence of timing games in the MEV instance is that capturable MEV monotonically increases over time. Proposers are incentivized to wait until the last instant to propose so that they get the necessary attestations to get their block accepted. Sophisticated proposers should strategically collocate with attesters and builders so that they can accept a bid from a builder as late as possible and push the block through as quickly as possible. Not all validators have the infrastructure and/or relationships to play these games. As it stands, builders are centralized666A handful of builders dominate most of the blocks, e.g., beaverbuild, Titan Build, rsync [16] and validators centralizing with them can undermine the overall decentralization of the network.
2.0.2 Allocation Problem.
In the current market structure, proposers earn nearly all the MEV, yet they are merely agents of the protocol. MEV is generated by users on applications that sit on the protocol. From an allocation perspective, MEV value should probably be allocated to users, applications, or the protocol. The proposer is an agent of the protocol; it does not make sense that all the value is directed to them.
Applications are becoming increasingly aware that they are leaving value on the table. New and existing applications are designing/redesigning their protocols to leak less MEV, with some planning to redistribute this value to users. That said, it is unlikely that MEV will cease to exist. Applications might not be able to internalize all their MEV, there will most likely continue to be naive applications that still produce MEV, and there will be cross-domain (cross-application) MEV. Hence, Ethereum will likely always have residual MEV. Under the current market structure, this value will flow to validators. Arguably, this value should be captured by the protocol and redistributed according to the protocol’s macroeconomic goals, e.g., given pro rata to stakers or Ethereum holders.
Potential Solutions
Two approaches have recently emerged as potential avenues for solving the centralization and allocation problems. These are mechanisms where the right to propose an Execution Payload is not given for free to the Beacon proposer, but it is instead sold separately to an execution proposer. The two mechanisms are Execution Auctions and Execution Tickets [3].777Burian and Crapis have written about these two solutions on Eth Research. See [4] and [5].
2.0.3 Execution Auctions (EAs)
The right to propose an Execution Payload is deterministically allocated in advance for each slot, the slot execution proposer can purchase this right by bidding in a slot auction held beforehand (e.g., 32). EAs are essentially slot auctions carried out in advance.
2.0.4 Execution Tickets (ETs)
With ETs, the execution proposing right is non-deterministically allocated, unlike with EAs. Proposers can purchase a lottery ticket (ET) from the protocol. In the steady state, there are tickets. Before each slot, a winner is drawn at random from the ticket pool and receives the right to propose. The winning ticket is removed from the pool (burned), and a new one is sold, maintaining the invariant of there always being tickets in the lottery pool. The simple version of the protocol gives the winner the right to propose the following block.888Colloquially, ETs with a single slot resolution are called sETs (simple ETs). The original Execution Ticket post suggested a general version of the protocol where the winner has the right to propose slots later (e.g., 32) [7].
3 Model
We model a finite set of buyers, , who optimally select the number of ETs to hold. In more detail, for each slot of the Ethereum protocol, each buyer optimally selects a number of Execution Tickets, , at the end of the previous slot where is the total number of tickets in circulation. More formally, buyer maximizes their risk-adjusted expected profit less capital costs as follows:
(1) |
where denotes the net profit of buyer in slot , is a function for buyer ’s risk-adjustment, denotes buyer ’s cost of capital, and denotes the endogenous stationary price of Execution Tickets. For simplicity, we assume that MEV extraction for each buyer is i.i.d. across time and thus the endogenous stationary price of ETs, , is also the time-invariant price for each time . We discuss relaxing this assumption in Section 5. Additionally, as per prior literature, we assume that is a twice-continuously differentiable function that satisfies and over and whenever . is given explicitly as follows:
(2) |
where denotes the probability that an Execution Ticket of buyer is selected and is a non-negative random variable denoting the pay-off accrued during slot by buyer (if buyer is selected for that slot) where we impose .999In our initial results, we abstract from MEV-Boost and, in this case, represents the value extracted directly by buyer in slot . For Proposition 6, we allow for an MEV Boost market in which case the buyer receives the sales proceeds of the ET and thus corresponds to the sales proceeds from MEV Boost. In more detail, the portfolio value of buyer at the end of slot , denoted , after purchasing Execution Tickets is given as follows:
(3) |
whereas, after the lottery in slot , the portfolio value becomes:
(4) |
Equations (3) and (4) directly imply Equation (2). Intuitively, a buyer’s Execution Ticket could be sold at market value but being selected entails the ticket being burned in return for a random pay-off determined by the MEV extracted by the buyer from the block, . Thus, being selected entails a random P&L increasing in the block MEV and decreasing in the price of the Execution Ticket (formalized by Equation 2).
Before providing the general model solution, it is useful to put forth some preliminary quantities. In particular, we define the maximal price at which buyer would hold an Execution Ticket, , is given as follows:101010Equation (5) is always well-defined because is non-empty, bounded from above and closed. It is non-empty because is always within the set, and it is bounded from above because all set elements satisfy . Additionally, to see that it is closed, consider a convergent sequence, with limit point . Then, for all so that we can take on both sides which yields , implying and thereby establishing that is closed. As a technical aside, the interchange of the limit and expectation in the last equality is always valid due to the Dominated Convergence Theorem. In more detail, is a uniform and integrable bound for ; more explicitly, because is increasing and non-negative, and where the first inequality is Jensen’s inequality relying on concavity of and the last inequality is due to having a finite first moment.
(5) |
In turn, we specify the maximum price at which any buyer would purchase an Execution Ticket as follows:
(6) |
and we specify the set of buyers that would hold an Execution Ticket at this maximal price as follows:
(7) |
Finally, we define the second largest value from as follows:
(8) |
With the given preliminaries, we can now state our general equilibrium solution:
Proposition 1.
Equilibrium Solution
In general, there exist multiple equilibria. More formally, necessary and sufficient conditions for an equilibrium are that the stationary price, , and ET holdings, satisfy the following conditions:
-
(i)
Execution Ticket Price
The ET price, , satisfies -
(ii)
Execution Ticket Holdings
- Any buyer with a maximal price below the largest maximal price holds no ETs:
- The set of buyers with maximal price equal to the largest maximal price holds all ETs:
An immediate corollary is that, if all buyers are homogeneous (i.e., ), then there exists a unique equilibrium price for ETs, the maximal price that each buyer is willing to pay for an ET:
Corollary 1.
Homogeneous Equilibrium Solution
If all buyers are homogeneous i.e., , then there is a unique stationary price, , and any feasible set of holdings that clears the market is an equilibrium. More explicitly, the equilibrium is given as follows:
-
(i)
Execution Ticket Price
The ET price, , is given as follows: where for all due to homogeneity. -
(ii)
Execution Ticket Holdings
ET holdings must satisfy only the market-clearing condition:
A further corollary is that if buyers are homogeneous and risk-neutral (i.e., and ), then the unique ET price is available is simply the cost-of-capital-discounted value of the expected value of MEV from a single block:
Corollary 2.
Homogeneous Risk-Neutral Equilibrium Solution
If all buyers are homogeneous and risk-neutral i.e., , then there is a unique stationary price, , and any feasible set of holdings that clears the market is an equilibrium. More explicitly, the equilibrium is given as follows:
-
(i)
Execution Ticket Price
The ET price, , is given as follows: where for all due to homogeneity. -
(ii)
Execution Ticket Holdings
ET holdings must satisfy only the market-clearing condition:
4 Results
In this section we present our main results. We study two setups, first we focus on a pure ET mechanism and then we look at ET performance in the presence of PBS. In the first case, without PBS we find that:
-
•
If ET buyers are homogeneous, risk-neutral and face no capital costs, then the protocol extracts all MEV and ET holdings are decentralized across buyers.
-
•
If investors are homogeneous but not necessarily risk-neutral and face capital costs, then the protocol does not extract all MEV and ET holdings are decentralized across buyers.
-
•
If buyers are heterogeneous, then MEV capture can be low, moreover, one buyer may extract most of the MEV and the ET holding would be concentrated on that buyer.
In the second case, with PBS, we find that:
-
•
PBS turns the market into a special case of a no-PBS world with heterogeneous MEV extraction abilities and differing costs of capital. The protocol does not extract all MEV, leading to ET holdings being centralized among buyers who balance the best MEV extraction abilities with the lowest cost of capital.
-
•
The ET holders may not necessarily exercise the building rights for the blocks and may instead outsource block construction via PBS.
To provide these results formally, we first clarify the meaning of MEV capture. In particular, the long-run proportion of MEV extracted by the protocol, , is given as follows:
(9) |
where denotes the MEV extracted by the winning buyer in an arbitrary slot. Note that we can define without explicitly specifying a slot because the distribution of MEV extraction by a winning buyer across time is i.i.d. This latter point follows from being time-invariant and MEV extraction across buyers being i.i.d. We discuss relaxing these assumptions in Section 5.
We now turn to stating each of our main results, in each of the subsequent sections. Our Section 4.1 results are intended as conceptual benchmarks; we assume homogeneity/heterogeneity in MEV extraction ability in a vacuum, without specifying how such ability is formed, focusing instead on its impact on MEV capture and decentralization. Our Section 4.2 results are the most realistic, and we discuss further possible refinements in Section 5.
4.1 MEV Capture and Decentralization in the ET Market
Total MEV Capture w/ Decentralization.
Our first main result establishes a benchmark setting whereby MEV capture is total and decentralization also arises:
Proposition 2.
Total MEV Capture with Decentralization
Assume that buyers are homogeneous, risk-neutral and face no capital costs i.e., and . Then, MEV capture by the protocol is total:
Additionally, in this case, there exists an equilibrium with full decentralization of ET holdings:
Proposition 2 highlights that, when buyers possess identical MEV extraction skills and face no financing costs nor risk aversion, then the protocol extracts all MEV. Intuitively, when buyers possess identical MEV extraction skills, then they compete for ETs which results in ET pricing fully reflecting the risk-adjusted discounted value of the MEV from a future block. Moreover, when buyers are risk neutral, then there is no risk-adjustment and when buyers face no capital cost, then there is no discounting. Thus, when buyers possess identical MEV extraction skills while facing no risk aversion nor any capital costs, then all buyers are independently willing to pay the expected value of MEV from a future block and the competition to purchase ETs among the buyers ensures that the ET price exactly equals the expected value of MEV from a block. In turn, the protocol extracts all MEV.
Partial MEV Capture w/ Decentralization.
Our second main result relaxes the assumptions of risk-neutrality and zero capital costs from Proposition 2 but maintains homogeneity of buyers. In that context, we demonstrate that MEV capture is not total. Nonetheless, as in the previous case, decentralization arises in equilibrium:
Proposition 3.
Partial MEV Capture with Decentralization
Assume that buyers are homogeneous but risk-averse (i.e., ) and face non-zero capital costs i.e., . Then, MEV capture by the protocol is partial:
Nonetheless, in this case, there exists an equilibrium with full decentralization of ET holdings:
Proposition 3 arises because risk-aversion and non-zero capital costs imply that buyers do not value ETs as equivalent to the MEV value of a single block. In particular, since an ET promises MEV from a future block, non-zero capital costs, , imply that the future MEV value is discounted at that non-zero rate . Moreover, since the MEV per block is uncertain, the ET value is further reduced by a risk-adjustment. Thus, although all buyers possess the same value for an ET under this setting, this value is lower than the expected value of MEV per block. Since the buyers are homogeneous, the market is competitive and the equilibrium ET price equals to the common risk-adjusted discounted MEV block value, implying that the protocol does not capture all MEV.
Low MEV Capture w/ Centralization.
Our next main results highlight that when buyers are differentiated in their capital costs and/or MEV extraction abilities, then centralization arises. Moreover, the best buyer can acquire a large share of MEV at the expense of the protocol.
We look at two cases where buyers are risk-neutral, and highlight how heterogeneity with respect to either capital cost or MEV extraction ability results in lower MEV capture and higher centralization.
Proposition 4.
Low MEV Capture w/ Heterogeneous Capital Costs
Assume that buyers have homogeneous MEV extraction abilities i.e. , are risk-neutral and face heterogeneous capital costs.
In this case, there exists an equilibrium where MEV capture by the protocol is given as follows:
where is the second-lowest cost-of-capital among all buyers. Moreover, the equilibrium ET distribution is determined fully by cost-of-capital:
where is the lowest cost of capital among all buyers.
Proposition 4 highlights the fundamentally important role of capital costs. In more detail, the value of an ET to a buyer depends entirely on capital costs with buyers possessing lower capital costs possessing higher valuations. Then, as per the last part of Proposition 4, the ET market centralizes among the buyers with the lowest capital costs.
Proposition 5.
Low MEV Capture w/ Heterogeneous MEV Extraction Ability
Without loss of generality, assume that buyers are indexed by expected MEV extraction ability (i.e., . Assume further that the best MEV-extracting buyer is strictly better than the second-best MEV-extracting buyer (i.e., ). Moreover, for simplicity, assume that buyers are risk-neutral (i.e., ) and face no capital costs (i.e., ). In this case, there exists an equilibrium where MEV capture by the protocol is given as follows:
Additionally, the equilibrium ET distribution is fully centralized on the best buyer:
Proposition 5 arises because, when buyers are heterogeneous in their MEV extraction abilities, then there exists an equilibrium where the ET price is equal to the expected MEV from the second-best buyer. In turn, the best buyer is able to buy the ET below their higher valuation and captures the difference. As a consequence, the protocol does not capture all the MEV. Crucially, to the extent that the best buyer is better than the second-best buyer, the best buyer is able to capture a commensurately larger share of MEV.
Another implication of Proposition 5 is that centralization of ET holdings can arise when buyers are differentiated. More specifically, the best buyer is willing to pay more for an ET than all other buyers because the best buyer can generate higher MEV, on average, than any other buyer. In turn, the best buyer purchases all ETs. Of particular note, the relevant notion of being the best buyer is ex ante and not ex post. That is, even if a second buyer would be better at extracting MEV in a particular slot ex post, the sample path of events from the slot is not known when the ET is issued (or even when the ET is assigned to a slot). As a consequence, purchase decisions in the primary market are necessarily driven by ex ante valuations and thus so long as one buyer has a higher expected MEV value for a block, that buyer would dominate the market for ETs. As an aside, we note that our results do not preclude the best buyer selling the ET after the fact, but the key point is that such a sale (in the secondary market) would not raise revenue for the protocol but rather for the buyer who made the purchase in the primary market.
4.2 ETs in the Presence of PBS
In this section, we generalize our model to study outcomes in the presence of a PBS mechanism. Crucially, PBS allows any ET buyer to sell their ET in a market after MEV extraction abilities are realized. The ET buyer may sell in the PBS market or hold onto the ET, build the block and extract MEV as per their ability. More formally, in the presence of PBS mechanism, the pay-off for an ET buyer is given as follows:
(10) |
where corresponds to MEV extraction abilities of buyers, corresponds to MEV extraction abilities of non-buyers and maps all MEV extraction abilities to the price determined from the PBS mechanism. Note that the arbitrary specification of implies that we take no stand on how prices are formed through the PBS process; rather, we assume only that this price is available symmetrically across all ET buyers. Note also that, while the PBS price is symmetric across all ET buyers, the overall pay-off is not symmetric because each ET buyer has an outside option to build the block in which case the pay-off depends on the ET buyer’s specific MEV extraction ability.
Benchmark Case: Naive PBS Implementation.
In this case we establish two benchmark results assuming that builders do not buy ETs. These highlight the role of capital differentiation and are meant as a benchmark for the case where everyone buys ETs, analyzed in the subsequent subsection.
Corollary 3.
ETs with PBS where Builders do not buy tickets
For simplicity, we assume that buyers are risk-neutral (i.e., ). Additionally, to examine the case that builders do not buy ETs, we assume that all buyers have no MEV extraction abilities i.e., , implying that all buyers have the same pay-off, . In this case, MEV capture by the protocol is given as follows:
where is the second-lowest cost-of-capital among all buyers. Moreover, the equilibrium ET distribution is determined fully by cost-of-capital:
where is the lowest cost of capital among all buyers.
Corollary 3 follows directly from Proposition 5. More explicitly, when ET buyers have no MEV extraction ability, then the pay-offs for all ET buyers are symmetric. In turn, the setting is a special case of that studied in Proposition 5 and the corresponding results therefore follow. Crucially, under PBS, capital costs become particularly important. Indeed, even with no MEV extraction ability, a small set of investors could dominate the ET buyer market. To clarify that point, we offer the following further corollary:
Corollary 4.
Assume that there exists a set of large investors, , where this designation means that they possess no MEV extraction ability i.e., for and possess a strictly lower cost of capital than all other investors (i.e., For all ). Moreover, as before, assume that anyone with MEV extraction ability does not participate in buying tickets so that for all .
Then, all ETs are purchased by large investors:
Corollary 4 establishes that, with PBS, the ET market is dominated more so by institutions with financial advantages rather than building advantages. More explicitly, risk-neutral entities with the lowest capital costs would hold all ETs even without any MEV extraction abilities. The intuition is straight-forward: given an PBS market, any investor may purchase an ET and sell to the buyer market during the slot thereby nullifying the need for any MEV extraction skills. Nonetheless, buying ETs requires locking up capital and taking risk and thus investors with low cost of capital and high risk tolerance are likely to dominate ET holdings when there exists an PBS market.
Full Case: Builders buy ETs.
We now consider the case where builders participate in PBS and show that MEV extraction ability and capital costs both play a crucial role in determining the distribution of ET holders.
Proposition 6.
ET Buyers with PBS
For simplicity, we assume that buyers are risk-neutral, . In that case, all tickets are bought by buyers with the highest valuation, , which is given explicitly as follows:
More formally, we have the following result:
where , defined in Equation (7), is the set of buyers with valuation .
Proposition 6 demonstrates that, when builders participate in PBS, then the holdings of ETs is determined both by the builder’s MEV extraction abilities and the capital costs of buyers more generally. More explicitly, each buyer’s valuation is increasing in their pay-off which depends asymmetrically on their MEV extraction ability (see Equation 10). Nonetheless, each buyer’s valuation also depends on her cost of capital. Ultimately, only those buyers with the highest valuation, , will purchase ETs.
To highlight the significance of capital costs, we conclude with the following result that highlights the possibility that large investors, and not builders, dominate the ET buyer market:
Proposition 7.
Large Investors Dominate with PBS
Suppose that there exists a set of large investors, , where this designation means that each member of the set possesses no MEV extraction ability i.e., for but possesses especially low capital costs. In particular, we assume that their capital costs are sufficiently low that
where denotes the pay-off from buying an ET for each large investor. In this case, all ETs are purchased by large investors:
Proposition 7 establishes that, given sufficiently low capital costs for investors with no MEV extraction ability, then these investors would dominate the ET buyer market. Buying ETs to either sell through PBS or to build during the eventual slot requires holding ETs in advance. In turn, the cost of holding ETs is a capital cost related to the cost of funding. When large investors are sufficiently advantaged with regard to funding costs, this advantage may exceed the advantage of builders and thus large investors could dominate the ET buyer market.
5 Discussion and Extensions
Our primary findings indicate that, without PBS, ETs can fully capture MEV when buyers are homogeneous, risk-neutral, and face no capital costs. However, the efficiency of MEV extraction diminishes with increased risk aversion and capital costs. Additionally, heterogeneity among buyers leads to lower MEV capture, with the potential for a single buyer to dominate the market. The presence of a PBS mechanisms can mitigate the centralization but not fully, MEV extraction ability gives buyers an advantage even with PBS. Moreover, PBS introduces another centralization vector whereby, investors with low capital cost but no extraction ability, may come to dominate the ET market.
5.1 Interpreting the Results in Practice
In practice, buyers are heterogeneous with varying capital costs, varying levels of risk aversion, and differences in abilities to extract MEV. This is evidenced by 85% of blocks currently being built by just three actors [16]. This concentration is not merely due to a higher randomized block win rate but also a result of differences in MEV extraction abilities among buyers (i.e., for these buyers for ). In the current MEV-Boost (PBS) system, ex-post bids are solicited for the right to compose a block, with the highest bid winning. This means that the winning builder has the highest ability to extract MEV from a block, and about 94% of blocks built using MEV-Boost are built by these three dominant actors [16], highlighting their superior MEV extraction capabilities.
Therefore, it is reasonable to assume that there will be builder heterogeneity when ETs are implemented. Moreover, it is likely that even after ETs are implemented PBS will continue to be popular. Hence, the results from Proposition 6 and Proposition 7 are most likely what will be seen in practice. Namely, ETs will be owned by those with a balance of the lowest capital costs and the best MEV extraction ability. There is also the potential for large investors to dominate the market, assuming they have far lower capital costs than builders. This does not preclude the possibility that Execution Payloads are ultimately constructed by those with the best ex-post MEV extraction ability.
A critical consideration is whether ETs offer a superior solution compared to the current system. As explained in the background section, the objective of these new MEV capture mechanisms is to enhance the allocation of MEV and mitigate overall centralization of the validator set.
5.1.1 Allocation
From an allocation perspective, ETs capture more MEV than the current system, which currently captures zero MEV. Even though ETs capture net more than the existing paradigm, there could be even better solutions that can capture more MEV, such as some version of Execution Auctions (EAs). More work is needed to analyze whether those solutions are superior.
5.1.2 Centralization
Regarding centralization, our research sheds light on the specific centralization vectors introduced by ETs as a function of MEV extraction and cost of capital differences. This remains true even in the presence of PBS as it is specified today. Looking at the roles of different participants separately, we can conclude that: (1) ETs allow the protocol to capture and distribute MEV which reduces centralization pressure on the validator set, but further research is required to determine if new timing games emerge as a result of this structural change; (2) ETs introduce ET holders a new actor to the MEV pipeline, we show that tickets are likely to be concentrated among a subset of buyers (more research is needed to assess the effects of that centralization in practice); (3) ETs do not alleviate centralization in the builder market.
5.2 Limitations and Extensions
5.2.1 Exogenous Factors
The model does not account for time varying exogenous factors that can affect buyers. For instance, macroeconomic events such as interest rate cuts can alter the cost of capital for buyers. Additionally, buyers’ abilities to extract MEV might vary in different environments. For example, some buyers might perform better when long-tail assets are more volatile, while others might excel with short-term asset volatility. Moreover, builders receive proprietary order flow, and changes in the quality of this flow can impact their MEV extraction ability. Future implementations of the model should incorporate a state variable representing the state of the world at time .
5.2.2 Relaxing the i.i.d. Assumption
For simplicity, we assumed that MEV extraction for each builder is i.i.d. across time and thus the endogenous stationary price of ETs is time-invariant. However, in practice, MEV is not i.i.d. and is often correlated over short increments, as MEV is related to market volatility [12]. When MEV is high (low) in one block, adjacent blocks are likely to have high (low) MEV as well. By incorporating a state variable into the model, we could relax the i.i.d. assumption. This state variable would capture the temporal correlation of MEV and reflect the influence of market conditions on MEV extraction.
5.2.3 Time-invariance of the Price
The assumption that the price of an ET is time-invariant fails if MEV is not i.i.d. or if there are time-varying exogenous influences. A future model with a relaxed i.i.d. assumption and/or includes a state variable will need to account for a temporally correlated and exogenously influenced price.
5.2.4 Multi-block MEV
The current model does not consider Multi-block MEV (MMEV).111111Controlling consecutive blocks may yield higher MEV than the sum of the MEV from controlling individual blocks. This introduces an endogenous centralization vector where a builder who controls block might bid more aggressively for block as consecutive control could yield more MEV. This endogenous factor could significantly affect both allocation and centralization outcomes in the model. More research is needed to study MMEV and its effects on ETs.
5.2.5 Mechanism for Selling ETs
The model does not define the market mechanisms for selling Execution Tickets. The method of selling these tickets can influence builder behavior and potentially introduce new timing games and externalities. Future research should develop a comprehensive model for the sale of Execution Tickets and study its impact on the overall system dynamics.
Acknowledgments
The authors acknowledge helpful discussions and comments from Brad Bachu, Joel Hasbrouck, Ruizhe Jia, Julian Ma and Xin Wan.
Appendices
Appendix 0.A Equilibrium Definition and Supplementary Lemmas
As is standard, our equilibrium definition requires that builders behave optimally and that the supply of ETs equates with its demand. More formally, the definition of equilibrium is given as follows:
Definition 1.
Equilibrium Definition
An equilibrium is a set of builder ET holdings, and a price for ETs, , such that the following conditions hold:
-
1.
All builder ET holdings are optimal
solves Equation (1)
-
2.
ET price is such that ET market demand equates with supply
Lemma 1.
Optimal Builder ET Holdings
For any Builder , the optimal ET holding, , is given as follows when :
(0.A.1) |
Moreover, when , then any feasible ET holding (i.e., any ) is optimal.
Proof.
By definition, is the solution to Equation (1). More formally:
(0.A.2) |
Then, expanding the expectation in the objective function and applying Equation (2) yields the following:
(0.A.3) |
Crucially, the objective function is linear in with coefficient . Moreover, by definition of (see Equation 5), the coefficient is zero at , thereby implying the last part of the result, that any feasible ET holding is optimal whenever . Moreover, and imply that the coefficient is strictly decreasing so that it is strictly negative whenever and strictly positive whenever . In turn, the strictly negative coefficient when implies whenever and the strictly positive coefficient when implies whenever , thereby completing the proof. ∎
Lemma 2.
Necessary Condition for Equilibrium
is a necessary condition for equilibrium.
Proof.
If , then Lemma 1 implies for at least two builders and thus the second condition of Equilibrium Definition 1 cannot hold, implying equilibrium cannot arise. Moreover, if , then Lemma 1 implies for all builders and thus the second condition of Equilibrium Definition 1 cannot hold, implying equilibrium cannot arise. Putting the two aforementioned statements together, implies equilibrium cannot arise. Taking the contrapositive then implies the desired result, namely that an equilibrium implies .
∎
Lemma 3.
Sufficient Condition for Equilibrium
is a sufficient condition for equilibrium in the sense that there always exist ET holdings, , consistent with such that and satisfy the Equilibrium Definition (1).
Proof.
We provide a constructive proof. More explicitly, direct verification, using Lemma 1, reveals that the following solution always satisfies Equilibrium Definition (1):
(0.A.4) |
where is defined in Equation (7) and refers to the cardinality of the set X. As an aside, we emphasize that this constructed solution implies that one builder holds all ETs whenever . In particular, in that case, . ∎
Lemma 4.
Necessary Condition for Equilibrium II
The following condition must hold in any equilibrium:
Proof.
Lemma (2) implies that in any equilibrium and thus there are only three possible cases: (i) , (ii) and (iii) . We prove the result in each case separately below.
Case (i): where the last implication follows from Lemma 1. Then, via the second part of Definition (1), as desired.
Appendix 0.B Proofs of Results from Section 4
0.B.1 Proof of Proposition 1
0.B.2 Proof of Proposition 2
Applying , and for all to Equation (5) yields:
0.B.3 Proof of Proposition 3
Jensen’s inequality implies:
(0.B.3) |
Thus, if , then and imply and further . In turn, and thus being closed implies which implies the first part of the result, .121212 being a closed set follows from and .
The second part of the result follows from symmetry implying being equal for all Builders . In turn, Equilibrium Definition (1) implies for all Builders . Then, as per Lemma (1), any is optimal for Builder and thus, given the second requirement in Equilibrium Definition (1), we impose the symmetric solution for all .
0.B.4 Proof of Proposition 4
Applying and to Equation (5) yields:
(0.B.4) |
which further implies:
(0.B.5) |
Moreover:
(0.B.6) |
In turn, direct verification from Definition (1) reveals that the following is an equilibrium:
(0.B.7) |
which establishes the second part of the result. For the first part of the result, note that implies . In turn, the first part of the result holds as follows:
(0.B.8) |
0.B.5 Proof of Proposition 5
By direct verification from Definition (1), the following is an equilibrium:
(0.B.9) |
which establishes the last part of the result. For the first part, note that which implies that . Then, applying to Equation (9) yields the desired result.
0.B.6 Proof of Proposition 6
By direct verification from Definition (1), the following is an equilibrium:
(0.B.10) |
and thus an equilibrium exists. The result then follows as a corollary of Lemma 4.
0.B.7 Proof of Proposition 7
By direct verification from Definition (1), the following is an equilibrium:
(0.B.11) |
and thus an equilibrium exists. Then, implies so that the result follows as a corollary of Lemma 4.
References
- [1] Angeris, G., Chitra, T., Diamonds, T., Kulkarni, K.: The specter (and spectra) of miner extractable value. arXiv preprint arXiv:2310.07865 (2023)
- [2] Bahrani, M., Garimidi, P., Roughgarden, T.: Centralization in block building and proposer-builder separation (2024), https://arxiv.org/abs/2401.12120
- [3] Burian, J.: The future of mev (2024), https://arxiv.org/abs/2404.04262
- [4] Burian, J., Crapis, D.: Economic analysis of execution tickets. https://ethresear.ch/t/economic-analysis-of-execution-tickets/18894 (2024), accessed: 2024-06-26
- [5] Burian, J., Crapis, D.: Execution auctions as an alternative to execution tickets. https://ethresear.ch/t/execution-auctions-as-an-alternative-to-execution-tickets/19894 (2024), accessed: 2024-06-26
- [6] Daian, P., Goldfeder, S., Kell, T., Li, Y., Zhao, X., Bentov, I., Breidenbach, L., Juels, A.: Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability. In: 2020 IEEE symposium on security and privacy (SP). pp. 910–927. IEEE (2020)
- [7] Drake, J., Neuder, M.: Execution tickets. https://ethresear.ch/t/execution-tickets/17944 (2023), accessed: 2024-07-24
- [8] Flashbots: Mev-boost. https://github.com/flashbots/mev-boost, accessed: 2024-07-18
- [9] Harvey, C.R., Hasbrouck, J., Saleh, F.: The evolution of decentralized exchange: Risks, benefits, and oversight. Working Paper (2024)
- [10] Heimbach, L., Kiffer, L., Torres, C.F., Wattenhofer, R.: Ethereum’s proposer-builder separation: Promises and realities (2023), https://arxiv.org/abs/2305.19037
- [11] John, K., Monnot, B., Mueller, P., Saleh, F., Schwarz-Schilling, C.: Economics of ethereum. Available at SSRN 4783695 (2024)
- [12] Milionis, J., Moallemi, C.C., Roughgarden, T., Zhang, A.L.: Automated market making and loss-versus-rebalancing. arXiv preprint arXiv:2208.06046 (2022)
- [13] Monnot, B.: Notes on proposer-builder separation (pbs). https://barnabe.substack.com/p/pbs (2024), accessed: 2024-06-26
- [14] Neuder, M., Buterin, V., D’Amato, F., Tsao, T., potuz, Darji, M.: Eip-7547: Beacon chain withdrawals. https://eips.ethereum.org/EIPS/eip-7547 (2023), accessed: 2024-06-28
- [15] Schwarz-Schilling, C., Saleh, F., Thiery, T., Pan, J., Shah, N., Monnot, B.: Time is money: Strategic timing games in proof-of-stake protocols (2023), https://arxiv.org/abs/2305.09032
- [16] Wahrstätter, T.: Mev-boost dashboard (2023), https://mevboost.pics/