playlists / Cryptoeconomics
Research in game theory, mechanism design and tokenomics for protocols and applications.
A Mechanism for Pricing Non-fungible Resources: Toward Multi-dimensional Fee Markets
We propose a new mechanism for multi-dimensional resource pricing in blockchains. Currently, many blockchain systems operate with either fixed transaction fees or fixed relative prices of different resources (e.g., compute, memory, storage). Our proposed mechanism prices resources independently and automatically in a way that maximizes some utility set by the protocol designer.
Theo Diamandis
Amplifying Consensus Participation with Blockspace Markets
In order to maximize staking participation post-merge, we need to provide capital markets for blockspace demand. This can come in the form of Yield Tokenization (e.g. Swivel, Element), blockspace reservations (e.g. Eden Network), or direct exchanges (e.g. Alkimiya), however composable infrastructure is necessary. With composable infrastructure on the capital markets layer, we can create interesting instruments such as combined staking+lending+options products, and derivative stablecoins.
Julian Traversa
An Overview of AMM Mechanisms
The talk will give an exhaustive overview of the different AMM algorithms currently deployed on major distributed ledgers, as well as the underlying intuition behind their design. Building up from the basic principles of AMM design, the talk will then cover the algorithmic mechanisms used in the various different algorithms including Constant Sum, Constant Product (Uniswap V2), Uniswap V3, KyberSwap, StableSwap (Curve), CryptoSwap (Curve V2), Solidly Stable pairs, Clipper, Dodo, and RFQ systems.
Matt Deible
Block building after the Merge
We are seeing the emergence of a specialized role on the Ethereum network dedicated to assembling the contents of each block as the ecosystem grows and the impact of "maximum extractable value" (MEV) becomes clear. This talk investigates block building after the Merge and what considerations the move to proof-of-stake brings to the process along with what norms we should strive for to avoid dangerous centralization pressures while maximizing validator profits.
Alex Stokes
Compositionality: The 10x Engineer Secret Sauce
Proponents of blockchains argue that compositionality is a key feature. What is compositionality though? Maybe surprisingly, there is a rich mathematical framework in which the concept can be made precise as a theory of systems. In this workshop, we provide a primer of that theory and we showcase two practical applications based on it: compositionality in game theory (open games) and in formal verification (automata). The workshop is aimed at devs. There are no mathematical prerequisites.
Fabrizio Romano Genovese, Philipp Zahn
Cost of Feudalism: Towards a Theory of MEV
Maximal Extractable Value (MEV) is excess value captured by miners/validator. This excess value often comes from reordering, censoring, or inserting new transactions that allow a miner to front-run users' transactions. Is MEV *always* bad? Can it sometimes lead to good equilibria for users? We modify tools from algorithmic game theory and probability to prove some surprising paradoxes — *some* MEV improves trading efficiency in networks of automated market makers.
Tarun Chitra, Guillermo Angeris
Cryptoeconomics Dive: LP Volatility Harvesting Across Yield Rates
This talk furthers the concept of volatility harvesting. Currently, Uniswap and other major dexes see a huge part of their trading volume consist of the result of volatility in the market. Value changes and as a result, trading volume spikes and LPs profit. When extending yield, which is also quite a volatile concept, to AMMs, volatility harvesting is increased further to not only affect value but also the yield that value creates.
Will Villanueva
Designing Autonomous Markets for Stablecoin Monetary Policy
We discuss the design of primary (i.e., minting and redemption) market mechanisms for non-custodial stablecoins. We first introduce a new analytical tool, the *redemption curve*, which represents the redemption price as a function of redemption pressure. We use it to discuss historical de-peggings (e.g. in DAI, UST). We then describe a new dynamic redemption curve with desirable robustness properties and show how to implement a primary market based on this curve. The system is part of Gyroscope.
Ariah Klages-Mundt, Steffen Schuldenzucker
Economic Incentives and Souls in Schelling-point Based Oracles
Schelling-point based oracles, such as Kleros, can be used to attribute soulbound tokens (SBTs) to individuals based on subjective evaluations of their backgrounds and expertise. Moreover, mechanisms using SBTs can complement economic incentives in such oracles; for example, an SBT-conscious random selection process can determine the voters on a given question. We will focus on how the interplay of economic and social elements in such systems can be designed to maximize resistance to attacks.
William George
Evaluating the PBS Experiment: Early insights from MEV-Boost and the Builder Market
PBS is a major change to the core Ethereum protocol. It attempts to minimise negative effects of MEV by delegating block building to a market of block builders. This talk would cover what we have learned from the rollout of mev-boost, focusing on what is happening in the builder market, and what this means for the future of in-protocol PBS. What are the main improvements that we can make to the PBS design in response to how this prototype version is performing?
Jolene Dunne
GHO
An overview of The Aave Companies' Gho proposal and implementation. Gho, a native decentralized, collateral-backed stablecoin, GHO, pegged to USD, has been proposed to the Aave DAO.
Steven Valeri
HyperCerts for Regenerative Cryptoeconomics
How do we incentivize and reward high-impact bets on valuable projects like infrastructure?Regenerative cryptoeconomics intends to combine a cultural paradigm shift with web3 tooling to incentivize positive externalities in a financially sustainable way. Evan will describe specific tools, instruments, and mechanisms; share developmental achievements made so far; and describe how those directions can improve the chances that the world will be improved with user-empowering, web3 driven tech.
Evan Miyazono
MEV NFT: ERC-721 Fork for Blocking Atomic Arbitrage
Inspiration MEV (miner extractable value) is an issue that often times disbenefits the smaller consumers or traders. While traditional MEV research is mostly focussed on sandwich trades, we focus on one specific type of extractable value: MEV NFT! Let's illuminate the dark forest. In the talk we present a novel way to analyse and detect NFT arbitrage for more transparency. With that research we design a ERC-721 token that blocks malicious bots and could benefit consumers.
Franz
One Block, One Batch: Examining the Potential of Frequent Batch Auctions in Ethereum
This talk will focus on the future of (de)centralized trading, and examine how frequent batch auctions can revolutionize existing market economics by bringing fairness and protection to Ethereum’s various stakeholders. We will review why Ethereum would benefit from a global batch settlement layer, touching on MEV and unfair pricing of CFMMs.
Anna George
Reinforcement Learning for Query Pricing in The Graph
Indexers in The Graph protocol use a DSL called Agora to map query shapes to prices. However, manually populating and updating Agora models for each query is a tedious task, and, as a consequence, most indexers default to a flat pricing model. We have created and deployed reinforcement learning agents for Indexers to automatically compete on pricing. This talk will focus on our development process and our study of the market effects of multiple competing pricing agents.
Tomasz Kornuta
Security Risks in DeFi: Delineating Technical and Economic Security
The frenetic evolution of DeFi makes it hard to understand its principles and risks. In our talk, We delineate DeFi along the axes of primitives, protocol types and security risks. We distinguish technical security, which has a healthy literature, from economic security, which is largely unexplored, connecting the latter with new models and thereby synthesizing insights from computer science and economics. Finally, we outline the open research challenges across these security types.
Daniel Perez, Ariah Klages-Mundt, Lewis Gudgeon
The Fight for MEV
The Fight for MEV is a talk that focuses on the two most "famous" MEV solutions designs, CowSwap and Flashbots. It will go over the differences in how each model is designed, and why each solution has made those choices (users, objectives). We will end on how we see the future at CowSwap in relation to the merge, MEV, and the overall Ethereum DeFi ecosystem.
Alex Vinyas
This is MEV
MEV has largely been a field where engineering drives science, it’s now time for science to drive engineering: we present an axiomatic formalization of MEV, the theory based on it, and the new applications that it enables.
sxysun
This is not MEV.
As a nascent field, cryptoeconomics is still lacking in terms of formal definitions upon which a cohesive theoretical edifice can be built. Maximal Extractable Value (MEV) is a particular example of a technical concept where there is no widely agreed upon formalization. Here, we discuss the difficulties in arriving to such a formulation, and survey some proposals. Critically, we emphasize what MEV is *not*, highlighting the critical aspects that need to be encompassed in its definition.
Alejo Salles
Towards Fairer DEXs on Ethereum
MEV is inherent to Ethereum and cannot be banned at the core protocol layer. Dapps should therefore carefully assess and reduce the amount of MEV they create. Multi-dimensional batch auctions with just in time competition for order flow offer a fundamentally fairer way of trading on Ethereum. P2P matching reduces the amount of extractable AMM interactions, while best price execution is guaranteed through a network of competing “solvers”.
Felix Leupold
Ultra Sound Money
This talks paints a big picture for ETH the asset and its macro cashflows. We discuss unique dynamics arising from: * **fee burn** (ETH for blockspace payments) * **issuance** (ETH for validator incentivisation) * **staking** (ETH for economic security) * **defi collateral** (ETH for economic bandwidth)
Justin Drake
Updates on Proposer-Builder Separation
In this talk, I will discuss updates on PBS and economic models for validators, builders, searchers and users.
Barnabé Monnot
Validator Receipts: an Alternative to Liquid Staking Derivatives
Liquid staking derivatives are exciting and powerful, however come with centralization risk and the dangers of holding a derivative rather than its underlying asset. Validator receipts present an alternative mechanism by which Ether locked in staking can be used as collateral without exposure to derivatives or loss of control of the validating funds.
Steve Berryman