USDFI - The revolution will not be centralized.
  • USDFI Working Paper
    • Abstract
    • Introduction
      • Custodial Stablecoins
      • Non-custodial Stablecoins
    • USDFI Design
      • Introduction
      • The Decentralized Stablecoin Trilemma
      • Design Considerations
      • Financial stability: AMOs, BLR, AMMLR & The DeFi Trinity
    • USDFI Stability Mechanisms
  • Dual ve-tokenomics
    • Introduction
    • Liquidity Incentivization
      • Curve Finance
      • Olympus DAO
      • Zero-sum, ve and ve(3,3)
      • Dual-ve model
    • Analysis of dual-ve
  • USDFI: The protocol for protocols
    • How to get deep liquidity for your token
    • Problem: Bootstrapping your liquidity
    • Solution: USDFI P4P
  • USDFI explained in 120 seconds
    • Vision
    • Dual-ve tokenomics
    • STABLE/veSTABLE
    • USDFI/veUSDFI
  • USDFI AMM
    • Understanding Automated Market Makers
      • How-to execute a token swap
        • Token prices
        • Price Impact
        • Price Slippage
        • Price Impact vs Slippage
      • Understanding liquidity pools
      • vAMM vs sAMM
      • Understanding AMM users
    • Understanding USDFI's AFSA-Shield
    • Becoming a liquidity provider
      • Whitelisting
      • Dynamic pool fees for partner protocols
    • Understanding USDFI Pools
    • Understanding the USDFI Router
  • USDFI Money Markets
    • Peer-to-Pool Money Markets
    • Lending vs Liquidity
      • Lending
      • Borrowing
      • Liquidiations
      • Advanced Money Market Strategies
      • Contracts
    • Security
      • Token Report (BSC)
  • USDFI Stablecoin
    • Minting
    • Understanding the Minter
  • USDFI Money Legos
    • Introduction
    • Protocols
      • Thena
    • Risks
  • Security
    • About Chainsecurity
    • Audits
    • Contracts
  • More USDFI
    • The USDFI vision
    • Roadmap
    • Tokenomics
    • Pitch Deck
  • GETTING STARTED
    • Connecting a wallet to USDFI
    • Switching networks
    • What's a wallet address?
    • Getting a crypto wallet
    • Understanding Networks and Layers
    • Understanding Layer 2
    • Understanding transaction hashes
    • Understanding approval transactions
    • Network Fees
    • Buy Crypto
      • Credit Card
      • Bank transfer
  • AFFILIATES
    • How to become an USDFI affiliate
  • Brand assets
    • SVGs
  • FAQ
    • General questions about USDFI
    • How is USDFI different from...
    • Questions about the USDFI ecosystem
    • Terms of Use / Legal information
    • Where to find more information
    • Security and audit
    • The most important question
  • LINKS
    • Twitter
    • Discord
    • Telegram
    • Github
Powered by GitBook
On this page
  • Overview
  • Introduction
  • Principle of Stability
  • Principle of weak monotonicity
  • Principle of rewards
  • Optimal controls of the USDFI dual-ve system
  1. Dual ve-tokenomics

Analysis of dual-ve

PreviousDual-ve modelNextHow to get deep liquidity for your token

Last updated 1 year ago

Overview

We introduce the innovative dynamics of the USDFI system, a pioneering model that operates akin to a financial institution, albeit in DeFi. This system allows participants to exercise control over specific parameters with the objective of minimizing their anticipated costs, akin to strategically selecting a financial product that optimizes returns while minimizing fees.

A cornerstone of the USDFI system is its commitment to issuing a low-volatility asset, a digital currency designed to maintain a stable value. This stability is crucial in fostering a reliable and robust system that can withstand the inherent volatility of the digital currency market.

We further delve into the "Principle of Weak Monotonicity," a concept that posits that over reasonable time periods, the controllable mean component in the model formulation remains positive. This principle suggests a system designed to appreciate in value over time, providing a steady return for its participants.

Our exploration introduces the concept of a "dual-ve system", a system where two distinct assets, in this case, STABLE and USDFI, each have their own price processes. This system can be likened to having two distinct financial products, each with its unique return rates and fees.

In a significant departure from existing ve models, we argue that this dual-ve system represents a non-zero-sum game. Unlike a zero-sum game, where one participant's gain equates to another's loss, a non-zero-sum game allows for mutual benefit among all participants. We posit that in the USDFI system, market participants can collaborate to create a mutually beneficial environment, thereby enhancing the system's long-term stability and usability.

The USDFI design represents a novel approach to decentralized finance, employing advanced modeling to create a stable, beneficial, and cooperative environment for its users. This work stands as a testament to the potential of DeFi to reshape our understanding of economic systems and financial interactions.

Introduction

We introduce the dynamics of USDFI system as a controlled stochastic price process, in which players execute strategies uiu_{i}ui​ in order to control parameters δ‾\overline{\delta}δ to minimize their expected costs J(⋅)J(\cdot)J(⋅) in the Ito process:

dP(t)=(δ1P(t),δ2[ϵ(t),ρ(t)]⊺)dt+(δ3P(t),δ4[ϵ(t),ρ(t)]⊺)dWtdP(t) = (\delta_{1}P(t), \delta_{2}[\epsilon(t), \rho(t)]^{\intercal})dt + (\delta_{3}P(t), \delta_{4}[\epsilon(t), \rho(t)]^{\intercal})dW_tdP(t)=(δ1​P(t),δ2​[ϵ(t),ρ(t)]⊺)dt+(δ3​P(t),δ4​[ϵ(t),ρ(t)]⊺)dWt​

With costs to player i:

Ji(ui,u‾−i)=lim sup⁡T→∞1T ∫tTα∣P(t)−ψ(t,Pi(t),P−i(t))∣2+βui(t)2dtJ_{i}(u_{i},\overline{u}_{-i}) = \limsup\limits_{T \to \infty} \frac{1}{T} \ {\int}_{t}^{T} \alpha|P(t) - \psi(t, P_{i}(t), P_{-i}(t))|^2 + \beta u_{i}(t)^2 dtJi​(ui​,u−i​)=T→∞limsup​T1​ ∫tT​α∣P(t)−ψ(t,Pi​(t),P−i​(t))∣2+βui​(t)2dt

where α,β∈R+\alpha, \beta \in \mathbb{R}^{+}α,β∈R+ are predefined weights, ψ\psiψ is a convex trajectory function, ρρρ gives the protocol rewards, and εεε giving protocol emissions.

Principle of Stability

One of the central points of this system is to issue a low volatility asset relative to a widely liquid numeraire. Demonstrating that USDFI satisfies this condition is equivalent to showing that:

and

In other words, the drift component of USDFI’s price process trends toward 1, irrespective of whether USDFI is at peg, above or below. Formal arguments for this will be presented in the paper to be released in late 2023.

Principle of weak monotonicity

Given the dynamics of liquidity restrictions on STABLE posed previously, we proceed with the restriction that

Principle of rewards

We establish that the return of locking USDFI in vote escrow is greater than that of holding:

This is a reasonable assumption because so long as there is a non-zero treasury, returns are positive. The treasury can never be zero since base funds are locked and minted.

Optimal controls of the USDFI dual-ve system

an extended form of:

The central difference between the Curve type single-ve and USDFI systems are that rather than gaming the system to manipulate a fixed allocation of emissions in terms of a single price process, we extend this notion to both STABLE and USDFI which both have stochastic price processes of their own. By the stability principle outlined in the introduction, and the weak monotonicity principle outlined above, we demonstrate firstly that the game is non-zero sum. We formalize this system in terms of two processes:

and

To demonstrate the non-zero-sum nature of this system, it is sufficient to show:

Although transaction fees create some market friction, we assume this to be trivial (a reasonable assumption given the non churning nature of the vote escrow process) such that moving between USDFI and vote escrow USDFI is frictionless (zero cost).

The extension to games with arbitrarily many players follows directly from the formalizing of escrow rewards above. While this is not a concrete proof, it is a sufficient basis by which to outline the dynamics of the system. We show above that because of the dual-ve dynamics, the near-frictionless vote escrow environment, and the comprehensive finance platform that USDFI substantiates, that we have constructed a non-zero-sum game in which market participants may cooperate to yield greater benefit to all players, subsequently enforcing the long-term usability and stability of the system.

∀t∈R∂∂tμusdfi(t,⋅)≤0↔P(t)>1\forall t \in R \frac{\partial }{\partial t}\mu_{usdfi}(t, \cdot) \leq 0 \leftrightarrow P(t) > 1∀t∈R∂t∂​μusdfi​(t,⋅)≤0↔P(t)>1

∀t∈R∂∂tμusdfi(t,⋅)≥0↔P(t)<1\forall t \in R \frac{\partial }{\partial t}\mu_{usdfi}(t, \cdot) \geq 0 \leftrightarrow P(t) < 1∀t∈R∂t∂​μusdfi​(t,⋅)≥0↔P(t)<1

Where R⊆R+R \subseteq \mathbb{R}^{+}R⊆R+, some reasonable subset of all time.

∀t∈R∂∂tμstable(t,⋅)≥0\forall t \in R \frac{\partial }{\partial t}\mu_{stable}(t, \cdot) \geq 0∀t∈R∂t∂​μstable​(t,⋅)≥0

Or in other words, for reasonable periods of time, the controllable mean component in the model formulation of dP(t)dP(t)dP(t) is positive. Formal arguments for this will be presented in the paper to be released in late 2023.

We define the strategy of holding USDFI as uhold(t)u_{hold}(t) uhold​(t) and ulocked(t)u_{locked}(t)ulocked​(t)

∀t∈R∂∂tμlocked(t,⋅)≥∂∂tμheld(t,⋅)\forall t \in R \frac{\partial }{\partial t}\mu_{locked}(t, \cdot) \geq \frac{\partial }{\partial t}\mu_{held}(t, \cdot)∀t∈R∂t∂​μlocked​(t,⋅)≥∂t∂​μheld​(t,⋅)

Given the stability principle, it follows that J1(P(0),ulocked(t),ux(t))≥J1(P(0),ulocked(t))J_{1}(P(0), u_{locked}(t), u_{x}(t)) \geq J_{1}(P(0), u_{locked}(t))J1​(P(0),ulocked​(t),ux​(t))≥J1​(P(0),ulocked​(t)) due to the reasoning above, and the fact that escrow rewards for an individual are independent of exogenous market participants.

We formalize our dual-ve system in terms of a stochastic price processes, governed by linear quadratic regulators from players 1 and 2 with strategies u1(t)u_1(t)u1​(t)and u2(t)u_2(t)u2​(t), posed originally by Chitra et. al. (2022). One central difference between the USDFI and Curve Finance's type single-ve systems, is that within the zero-sum bribing game played to govern the single-ve system, and subsequently regulate the underlying price process, we have a single asset’s price process granting governance authority to users of the system:

dPcrv(t)=μcrv(P(t),u1(t),u2(t))dt+σcrv(P(t),u1(t),u2(t))dWtdP_{crv}(t) = \mu_{crv}(P(t), u_1(t), u_2(t))dt + \sigma_{crv}(P(t), u_1(t), u_2(t))dW_tdPcrv​(t)=μcrv​(P(t),u1​(t),u2​(t))dt+σcrv​(P(t),u1​(t),u2​(t))dWt​

dP(t)=(δ1P(t),δ2[ϵ(t),ρ(t)]⊺)dt+(δ3P(t),δ4[ϵ(t),ρ(t)]⊺)dWtdP(t) = (\delta_{1}P(t), \delta_{2}[\epsilon(t), \rho(t)]^{\intercal})dt + (\delta_{3}P(t), \delta_{4}[\epsilon(t), \rho(t)]^{\intercal})dW_tdP(t)=(δ1​P(t),δ2​[ϵ(t),ρ(t)]⊺)dt+(δ3​P(t),δ4​[ϵ(t),ρ(t)]⊺)dWt​

Where P(t)P(t)P(t) gives the price as a function of time, μμμ the controlled mean component of the system, σσ σ the controlled variance component, and WtWtWt a standard Weiner process.

The costs written as: J1(P,u1,u2)J_{1}(P, u_1, u_2)J1​(P,u1​,u2​) and J2(P,u1,u2)J_{2}(P, u_1, u_2)J2​(P,u1​,u2​)

dPusdfi(t)=μusdfi(P(t),u1(t),u2(t))dt+σusdfi(P(t),u1(t),u2(t))dWtdP_{usdfi}(t) = \mu_{usdfi}(P(t), u_1(t), u_2(t))dt + \sigma_{usdfi}(P(t), u_1(t), u_2(t))dW_tdPusdfi​(t)=μusdfi​(P(t),u1​(t),u2​(t))dt+σusdfi​(P(t),u1​(t),u2​(t))dWt​

dPstable(t)=μstable(P(t),u1(t),u2(t))dt+σstable(P(t),u1(t),u2(t))dWtdP_{stable}(t) = \mu_{stable}(P(t), u_1(t), u_2(t))dt + \sigma_{stable}(P(t), u_1(t), u_2(t))dW_tdPstable​(t)=μstable​(P(t),u1​(t),u2​(t))dt+σstable​(P(t),u1​(t),u2​(t))dWt​

with costs J(P,u1,u2)=lim sup⁡T→∞1T∫tTα∣P(t)−ψ(t,P1(t),P2(t))∣2+βu1(t)2dtJ(P, u_1, u_2) = \limsup\limits_{T \to \infty} \frac{1}{T} {\int}_{t}^{T} \alpha|P(t) - \psi(t, P_{1}(t), P_{2}(t))|^2 + \beta u_{1}(t)^2 dtJ(P,u1​,u2​)=T→∞limsup​T1​∫tT​α∣P(t)−ψ(t,P1​(t),P2​(t))∣2+βu1​(t)2dt

∃u1,u2:J1(P(0),u1(t),u2(t))−J2(P(0),u1(t),u2(t))≠0\exists u_{1}, u_{2}:J_{1}(P(0), u_{1}(t), u_{2}(t)) - J_{2}(P(0), u_{1}(t), u_{2}(t)) \neq 0∃u1​,u2​:J1​(P(0),u1​(t),u2​(t))−J2​(P(0),u1​(t),u2​(t))=0

It follows directly from the above assumption, the formalization of vote escrow, and the principal of stability that players may arbitrarily construct strategies with costs J(⋅)J(·) J(⋅) such that

∣Jlocked(P(0),ulocked(t),uheld(t))∣>∣Jheld(P(0),ulocked(t),uheld(t))∣|J_{locked}(P(0), u_{locked}(t), u_{held}(t))| > |J_{held}(P(0), u_{locked}(t), u_{held}(t))|∣Jlocked​(P(0),ulocked​(t),uheld​(t))∣>∣Jheld​(P(0),ulocked​(t),uheld​(t))∣

We leave concrete proofs of the above theorems, as well as the existence of ϵ\epsilonϵ-Nash Equilibria to a separate paper.