相关论文: Formalizing Automated Market Makers in the Lean 4 …
Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of crypto-tokens, without the need to find a counter-party. There are several implementations…
Decentralized Finance (DeFi) has revolutionized financial markets by enabling complex asset-exchange protocols without trusted intermediaries. Automated Market Makers (AMMs) are a central component of DeFi, providing the core functionality…
Automated Market Makers (AMMs) are a class of smart contracts on Ethereum and other blockchains that "make markets" autonomously. In other words, AMMs stand ready to trade with other market participants that interact with them, at the…
Automated Market Makers (AMMs) are decentralized applications that allow users to exchange crypto-tokens without the need for a matching exchange order. AMMs are one of the most successful DeFi use cases: indeed, major AMM platforms process…
Designing automated market makers (AMMs) is crucial for decentralized token exchanges in cryptoeconomic systems. At the intersection of software engineering and economics, AMM design is complex and, if done incorrectly, can lead to…
Automated market makers (AMMs) are a new prototype of decentralised exchanges which are revolutionising market interactions. The majority of AMMs are constant product markets (CPMs) where exchange rates are set by a trading function. This…
Within this work we consider an axiomatic framework for Automated Market Makers (AMMs). AMMs are smart contracts that set prices for swaps on a pool of assets. By imposing reasonable axioms on the underlying utility function, we are able to…
Automated market makers (AMM) have grown to obtain significant market share within the cryptocurrency ecosystem, resulting in a proliferation of new products pursuing exotic strategies for horizontal differentiation. Yet, their theoretical…
As an integral part of the decentralized finance (DeFi) ecosystem, decentralized exchanges (DEXs) with automated market maker (AMM) protocols have gained massive traction with the recently revived interest in blockchain and distributed…
Automated market makers (AMMs) are automata that trade electronic assets at rates set by mathematical formulas. AMMs are usually implemented by smart contracts on blockchains. In practice, AMMs are often composed: and outputs from AMMs can…
An automated market maker (AMM) provides a method for creating a decentralized exchange on the blockchain. For this purpose, individual investors lend liquidity to the AMM pool in exchange for a stream of fees earned from its operations as…
Automated market makers (AMMs) are a new type of trading venues which are revolutionising the way market participants interact. At present, the majority of AMMs are constant function market makers (CFMMs) where a deterministic trading…
In this paper, we introduce a novel framework to model the exchange rate dynamics between two intrinsically linked cryptoassets, such as stablecoins pegged to the same fiat currency or a liquid staking token and its associated native token.…
An automated market maker (AMM) is a state machine that manages pools of assets, allowing parties to buy and sell those assets according to a fixed mathematical formula. AMMs are typically implemented as smart contracts on blockchains, and…
Automated Market Makers (AMMs) have cemented themselves as an integral part of the decentralized finance (DeFi) space. AMMs are a type of exchange that allows users to trade assets without the need for a centralized exchange. They form the…
Blockchains have popularized automated market makers (AMMs). An AMM exchange is an application running on a blockchain which maintains a pool of crypto-assets and automatically trades assets with users governed by some pricing function that…
In decentralized finance, any individual can pool their assets into an automated market maker (AMM) -- herein we focus on the constant product market maker (CPMM) -- in exchange for a claim on a fraction of future pool assets and fees…
Automated Market Makers (AMMs) are a central component of decentralized exchanges, yet their equilibrium foundations and microeconomic mechanisms remain incompletely understood. This paper develops a dynamic equilibrium framework for…
In decentralized finance ("DeFi"), automated market makers (AMMs) enable traders to programmatically exchange one asset for another. Such trades are enabled by the assets deposited by liquidity providers (LPs). The goal of this paper is to…
One of the exciting recent developments in decentralized finance (DeFi) has been the development of decentralized cryptocurrency exchanges that can autonomously handle conversion between different cryptocurrencies. Decentralized exchange…