REVIEW 3 major objections 4 minor 30 references
Dynamic Exponent Market Maker: Personalized Portfolio Manager and One Pool to Trade Them All
T0 review · 3 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Dynamic exponent market maker: a single pool whose invariant exponent adjusts at each deposit so every liquidity provider's token-value ratio is preserved, given no arbitrage.
desk verdict The DEMM math is right, but the flash-loan fix breaks the protocol's own invariant—interesting theory, not yet a deployable design. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the dynamic invariant $f(x)=\prod x_t^{w_t}$, where $w$ doubles as the pool's weight vector and as the count of token-specific LP tokens in circulation. This triple role is what lets the protocol accept arbitrary deposits: a one-sided deposit of token $t$ inflates both $r_t$ and $w_t$ in the same proportion, so the spot price $P_{o/i}=(r_i/w_i)/(r_o/w_o)$ is unchanged by liquidity provision, and each depositor's personal value ratio is frozen into their LP-token holdings.
What would settle it
Simulate the exact four-step sequence of Example 4.10 using the paper's formulas (3), (4), and (5), with a flash loan supplying the initial tokens: if the attacker's final holding exceeds the starting holding in any parameter range without a countermeasure, and if neither the randomized-delay nor the geometric-TWAP rule eliminates the profit, then the deployable-one-pool claim fails. Separately, to test Theorem 3.7, run an arbitrage path where the pool price is re-pegged to external prices after every block and check that a deposit followed by a later withdrawal reproduces the deposited value ratio exactly.
Extended reading notes
Core claim
The discovery is a self-balancing AMM design built on the identity between three objects: the exponent vector $w$ of the invariant function, the weights of tokens by total value in the pool, and the numbers of token-specific LP tokens in circulation. Liquidity provision updates $w_t$ to $w_t(r_t+\Delta r_t)/r_t$, withdrawal subtracts redeemed LP tokens from $w$, and trading leaves $w$ fixed. Theorem 3.7 proves that, under the no-arbitrage condition, a depositor who later withdraws receives token amounts whose total value ratio equals the ratio at deposit time. The paper further proves (Theorem 4.2) that any liquidity provision improves or leaves unchanged the output of every swap, a violation of the monotone-in-liquidity axiom of the reference axiomatic framework, and it documents a four-step flash-loan attack that exploits one-sided deposits.
Load-bearing premise
The protocol is usable only if a practical defense against the flash-loan attack described in Section 4.6 exists; the paper explicitly says the effectiveness of the two countermeasures it sketches is a topic for future research.
Editorial extensions
If this is right
- Traders would be able to swap any pair of tokens directly in one pool, avoiding multi-hop swaps and their extra fees.
- Liquidity providers could deposit any amounts, including a single token, and still have their portfolio value ratio preserved over time, per Theorem 3.7.
- Because liquidity provision can only improve quoted swap outputs (Theorem 4.2), the protocol deliberately breaks the monotone-in-liquidity axiom of the AMM axiomatic framework.
- Partial providers can gain more of every deposited token when a token they did not supply depreciates, a new 'impermanent gain' effect absent from standard two-token pools.
- Deployment requires a working defense against the Section 4.6 flash-loan attack; the paper leaves the effectiveness of its two candidate defenses to future research.
Reading between the lines
- The paper leaves implicit that the pool's curvature is now a governance variable: by controlling which tokens can be added and removed, a community decides how much value is redistributed between depositors when prices move.
- A testable extension not pursued here is to compare the randomized-delay and geometric-TWAP countermeasures under identical price paths to see which one actually blocks the Example 4.10 attack without breaking Theorem 3.7.
- The impermanent-gain effect suggests a DEMM pool acts as a transfer between depositors with different rebalancing needs; an explicit calculation of who pays for a partial provider's gain would test whether the effect survives transaction fees.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a dynamic exponent market maker (DEMM), an AMM whose invariant is f(x)=x^w with w updated on liquidity provision as w'_t=((r_t+\Delta r_t)/r_t)w_t. Token-specific LP tokens are issued and redeemed per asset, and the protocol maintains that w is exactly the total supply of LP tokens (Proposition 3.5). The main formal results are that DEMM is exponent-balanced under no arbitrage (Proposition 3.6), that each liquidity provider's deposit value ratio is preserved under no arbitrage (Theorem 3.7), that relative spot prices are unchanged by liquidity provision and withdrawal (Proposition 4.1), and that liquidity provision can only benefit traders (Theorem 4.2). The paper also discusses transaction fees, impermanent loss and gain, token addition and removal, and a flash-loan attack with two sketch-level countermeasures.
Significance. If the formal claims hold, DEMM addresses a real design gap: one-sided deposits remove the proportional-deposit restriction of CPMM/Balancer pools, and a single composite pool removes multi-hop trading. Credit is due for the precise state-machine formalism, the clean token-specific LP token construction, and the explicit, honest acknowledgment of the flash-loan vulnerability. The core algebra behind Propositions 3.5, 3.6, 4.1 and Theorem 3.7 is sound under the stated no-arbitrage idealization, and those results are clearly definition-theorem style rather than circular. However, the paper's practical claim of a working one-pool protocol is not yet supported: the base protocol is explicitly vulnerable, and the proposed safeguards are either internally inconsistent with the protocol's own invariant or too underspecified to verify. The value of the contribution is therefore conditional on a correct countermeasure that the paper does not currently provide.
major comments (3)
- [§4.6 (Flash Loan Attack), TWAP modification of Eq. (4)] The geometric time-weighted safeguard is inconsistent with Proposition 3.5. In the base protocol, w_t is also the total supply of LP token t. A trade (Operation 3.2) changes r_t without changing w_t or the LP supply, so the current ratio w_t/r_t can differ from the historical geometric average G_t used in w'_t=(r_t+\Delta r_t)G_t. If LP tokens are still minted as in Operation 3.3, the new supply is w_t+(\Delta r_t/r_t)w_t, which is generally not equal to w'_t; if the minting rule is changed to force equality, that rule is not stated, and withdrawal pricing under Operation 3.4 (which treats w_t as the LP supply) is undefined. Concretely, in Example 4.10 after Step 1 the pool is ((40,1),(1,1)); taking G_t from the pre-swap state, a one-sided deposit of 1 token t gives w'_t=2·0.1=0.2 while the LP-t supply after the deposit would be 2. Such a mismatch breaks the redemption formula and the exponent-balance guarantee, so the proposed safeguard does not preserve the formal properties proven in Section 3.
- [§4.6 (Flash Loan Attack), random-delay countermeasure] The random-delay safeguard is not specified at the semantic level needed to evaluate the protocol. The text does not state whether the deposit's terms are fixed at submission or at execution, how the exponent update (4) and the number of LP tokens minted are computed during the delay, whether the deposited funds are held in escrow, or how traders interact with a pool whose state may be updated asynchronously. Different choices create different manipulation windows or arbitrage opportunities, and the paper's own closing sentence—that the effectiveness of these strategies remains a topic for future research—concedes that no working safeguard is actually established. Because the abstract states that the scheme must be used in conjunction with preventive measures, the paper as it stands does not deliver a deployable protocol, only a vulnerable base design plus untested sketches.
- [§4.1, proof of Theorem 4.2] The proof is conditional on an unproved calculus claim: for 0<A and 1<x, (1+A/x)^x>1+A, and for 0<A<1, (1−A/x)^x>1−A. The text says only that the claim can be proved using standard techniques from calculus and gives no proof or reference. Since Theorem 4.2 is one of the paper's substantive economic claims, the lemma should be proved in the manuscript; it is true, but the omission is a completeness gap in a formal result rather than merely a stylistic shortcut.
minor comments (4)
- [Section 1] There are several typos, including 'a trade is settled if the there are matching orders'; the manuscript should be carefully proofread.
- [Reference [17]] The Balancer whitepaper URL contains '.inance' instead of '.finance'; please correct it.
- [Figure 3] The caption uses 'below' where 'bottom' is meant, and the labels in the figure are hard to read; please redraw for clarity.
- [Operation 4.8] The requirement that token t and token n+1 are deposited 'of equal value' is not made precise in terms of the current spot price; define the condition formally.
Circularity Check
No significant circularity: DEMM is a self-contained mathematical construction; its core theorem follows from explicit definitions, not from fitted inputs or self-citation.
full rationale
The paper is self-contained and non-circular. Operation 3.3 defines the exponent update w'_t = ((r_t+Δr_t)/r_t)w_t, and Operation 3.4 defines withdrawal symmetrically. Proposition 3.5 then proves w equals the LP-token supply by direct induction over these operations. Proposition 3.6 shows exponent-balance is preserved: for deposits the algebra of (4) makes the value ratio (r_s+Δr_s)/r_s w_s : (r_t+Δr_t)/r_t w_t equal to w'_s : w'_t by construction; for withdrawals (5) gives the same identity. Theorem 3.7 is an algebraic transcription of these definitions: using Proposition 3.6 to express unit prices as w_s/r_s : w_t/r_t, the ratio of withdrawn values collapses to w_s/r_s Δr_s : w_t/r_t Δr_t, exactly the deposited value ratio. No parameter is fitted to data, no empirical quantity is later 'predicted' from its own fit, and no load-bearing claim is imported from the author's prior work; the only external result used is Balancer's standard CPMM fact (Proposition 2.6), cited to [17] and used as a known baseline rather than for the proposed construction. The acknowledged flash-loan vulnerability and the sketch of possible mitigations in Section 4.6 are engineering limitations explicitly deferred to future work; they affect deployability, not circularity.
Assumptions & free parameters
assumptions (2)
- domain assumption External market prices exist and arbitrage is frictionless and instantaneous, restoring the exponent-balanced condition after any price change.
- standard math Standard calculus inequalities, specifically (1 + A/x)^x > 1 + A for x > 1 and A > 0.
invented entities (1)
-
Token-specific LP token
Cite this review
Pith. "Pith review of Dynamic Exponent Market Maker: Personalized Portfolio Manager and One Pool to Trade Them All." pith.science (2026). https://pith.science/paper/5RWE7WUL
@misc{pith2026250722732,
author = {Pith},
title = {Pith review of: Dynamic Exponent Market Maker: Personalized Portfolio Manager and One Pool to Trade Them All},
year = {2026},
howpublished = {\url{https://pith.science/paper/5RWE7WUL}},
note = {Machine review of arXiv:2507.22732}
}
read the original abstract
Decentralized exchange platforms such as Uniswap and Balancer operate on several pools where each pool contains two or more cryptocurrencies and constitutes direct trading pairs. The drawbacks here are that liquidity providing requires contribution of tokens in a specific proportion, and trading may require hopping between pools, hence increasing transaction fee and gas fee. We propose an automated market maker (AMM) protocol where liquidity providers can deposit any amount of tokens into the pool. The protocol will preserve the proportion of tokens by total value at the time of deposit and can be seen as a personalized self-balancing portfolio manager. In addition, since the invariant function is dynamic, all exchange pairs are executed from a single composite pool. Nevertheless, the scheme is vulnerable to flash loan attacks and must be used in conjunction with preventive measures.
Figures
Reference graph
Works this paper leans on
- [1]
-
[2]
L. Marchesi, M. Marchesi, R. Tonelli, and M. I. Lunesu, A Blockchain Architecture for Industrial Applications, Blockchain: Research and Applications 3 (2022), no. 4, 100088
work page 2022
-
[3]
J. Proelss, S. Sevigny, and D. Schweizer, GameFi: The Perfect Symbiosis of Blockchain, Tokens, DeFi, and NFTs?, International Review of Financial Analysis 90 (2023), 102916. 21
work page 2023
-
[4]
M. A. Uddin, A. Stranieri, I. Gondal, and V. Balasubramanian, A Survey on the Adoption of Blockchain in IoT: Challenges and Solutions, Blockchain: Research and Applications 2 (2021), no. 2, 100006
work page 2021
-
[5]
Y. Zou, T. Meng, P. Zhang, W. Zhang and H. Li, Focus on Blockchain: A Compre- hensive Survey on Academic and Application, IEEE Access8 (2020), 187182-187201
work page 2020
-
[6]
J. Xu, K. Paruch, S. Cousaert and Y. Feng, SoK: Decentralized Exchanges (DEX) with Automated Market Maker (AMM) Protocols, ACM Computing Surveys 55 (2023), no. 11, 1–50
work page 2023
-
[7]
X. Luo, Z. Wang, W. Cai, X. Li, and V. C.M. Leung, Application and Evaluation of Payment Channel in Hybrid Decentralized Ethereum Token Exchange, Blockchain: Research and Applications 1 (2020), no. 1–2, 100001
work page 2020
- [8]
Show all 30 references
-
[9]
Adams, Uniswap Whitepaper (v1) (2018), https://hackmd.io/C-DvwDSfSxuh- Gd4WKE ig
H. Adams, Uniswap Whitepaper (v1) (2018), https://hackmd.io/C-DvwDSfSxuh- Gd4WKE ig
2018
-
[10]
Adams, N
H. Adams, N. Zinsmeister, and D. Robinson, Uniswap v2 Core (2020)
2020
-
[11]
Adams, N
H. Adams, N. Zinsmeister, M. Salem, R. Keefer, D. Robinson, Uniswap v3 Core (2021), https://uniswap.org/whitepaper-v3.pdf
2021
-
[12]
DefiLlama, https://defillama.com/
-
[13]
PancakeSwap, PancakeSwap Intro, https://docs.pancakeswap.finance/
-
[14]
QuickSwap Official, QuickSwap F AQ (2020), https://quickswap- layer2.medium.com/welcome-to-quickswap-exchange-93d47e057633
2020
-
[15]
Sushiswap, The SushiSwap Project (2020), https://sushiswapchef.medium.com/the- sushiswap-project-dd6eb80c6ba2
2020
-
[16]
Egorov, StableSwap - Efficient Mechanism for Stablecoin Liquidity (2019)
M. Egorov, StableSwap - Efficient Mechanism for Stablecoin Liquidity (2019)
2019
-
[17]
Martinelli and N
F. Martinelli and N. Mushegian, Balancer: A non-custodial portfolio manager, liq- uidity provider, and price sensor (2019), https://balancer.inance/whitepaper/
2019
-
[18]
CoinMarketCap, https://coinmarketcap.com/
-
[19]
Angeris, A
G. Angeris, A. Evans, T. Chitra, When Does the Tail Wag the Dog? Curvature and Market Making (2020), https://arxiv.org/abs/2012.08040
2020 arXiv
-
[20]
Angeris, H.-T
G. Angeris, H.-T. Kao, R. Chiang, C. Noyes, and T. Chitra, An Analysis of Uniswap Markets (2019), https://arxiv.org/abs/1911.03380
2019 arXiv
-
[21]
Tiruviluamala, A
N. Tiruviluamala, A. Port, and E. Lewis, A General Framework for Impermanent Loss in Automated Market Makers (2022), https://arxiv.org/abs/2203.11352 22
2022 arXiv
-
[22]
Fritsch, A Note on Optimal Fees for Constant Function Market Makers, ACM CCS Workshop on Decentralized Finance and Security (2021), Republic of Korea (Virtual), 9–14
R. Fritsch, A Note on Optimal Fees for Constant Function Market Makers, ACM CCS Workshop on Decentralized Finance and Security (2021), Republic of Korea (Virtual), 9–14
2021
-
[23]
Wang and B
S. Wang and B. Krishnamachari, Optimal Trading on a Dynamic Curve Automated Market Maker, IEEE International Conference on Blockchain and Cryptocurrency (2022), China, 1–5
2022
-
[24]
Felekis and J
G. Felekis and J. Kristensen, λ - Constant Function Markets Generalizing and Mixing Automated Market Makers, IEEE International Conference on Blockchain (2022), Finland, 290–297
2022
-
[25]
Krishnamachari, Q
B. Krishnamachari, Q. Feng, and E. Grippo, Dynamic Automated Market Mak- ers for Decentralized Cryptocurrency Exchange, IEEE International Conference on Blockchain and Cryptocurrency (2021), Australia (Virtual), 1–2
2021
-
[26]
Wang, Automated Market Makers for Decentralized Finance (DeFi) (2020), https://arxiv.org/abs/2009.01676
Y. Wang, Automated Market Makers for Decentralized Finance (DeFi) (2020), https://arxiv.org/abs/2009.01676
2020 arXiv
-
[27]
https://blog.bancor.network/announcing- bancor-v2-2f56b515e9d8
Bancor, Announcing Bancor V2 (2020). https://blog.bancor.network/announcing- bancor-v2-2f56b515e9d8
2020
-
[28]
https://drive.google.com/ile/d/16EY7FUeS4MXnFjSf-KCgdE-Xyj4re27G/view
Bancor, Bancor V2.1 Technical Explainer (2020). https://drive.google.com/ile/d/16EY7FUeS4MXnFjSf-KCgdE-Xyj4re27G/view
2020
-
[29]
https://docs.alpacafinance.org/leveraged-yield-farming/introduction-to-leveraged- yield-farming
Alpaca Finance, Introduction to Leveraged Yield Farming (2022). https://docs.alpacafinance.org/leveraged-yield-farming/introduction-to-leveraged- yield-farming
2022
-
[30]
Bichuch and Z
M. Bichuch and Z. Feinstein, Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance (2023), https://arxiv.org/abs/2210.01227 23
2023 arXiv
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.