A Staking Mechanism for Capital Efficient Liquidity (2024)

Arman Abgaryan*I,II𝐼𝐼𝐼{}^{I,II}start_FLOATSUPERSCRIPT italic_I , italic_I italic_I end_FLOATSUPERSCRIPT Utkarsh Sharma*I,III,IV𝐼𝐼𝐼𝐼𝐼𝑉{}^{I,III,IV}start_FLOATSUPERSCRIPT italic_I , italic_I italic_I italic_I , italic_I italic_V end_FLOATSUPERSCRIPT Joshua TobkinI𝐼{}^{I}start_FLOATSUPERSCRIPT italic_I end_FLOATSUPERSCRIPT

(October 2023)

Abstract

The Proof of Efficient Liquidity (PoEL) protocol, designed for specialised Proof of Stake (PoS) consensus-based blockchains that incorporate intrinsic DeFi applications, aims to support sustainable liquidity bootstrapping and network security. This concept seeks to efficiently utilise budgeted staking rewards to attract and sustain liquidity through a risk-structuring engine and incentive allocation strategy, both of which are designed to maximise capital efficiency. The proposed protocol serves the dual objective of: (i) capital creation by attracting risk capital efficiently and maximising its operational utility for intrinsic DeFi applications, thereby asserting sustainability; and (ii) enhancing the adopting blockchain network’s economic security by augmenting their staking (PoS) mechanism with a harmonious layer seeking to attract a diversity of digital assets. Finally, the protocol’s conceptual framework, as detailed in the appendix, is extended to encompass service fee credits. This extension capitalises on the network’s auxiliary services to disperse incentives and attract liquidity, ensuring the network achieves and maintains the critical usage threshold essential for its sustained operational viability and progressive growth.

*Lead co-authors.I. SupraII. Shanghai Jiao Tong UniversityIII. Oxford-Man Institute of Quantitative FinanceIV. University of Oxford

1 Introduction

A blockchain is a specialised immutable database operating in a decentralised manner utilising distributed computing resources, employing consensus algorithms, and acting as a secure technological platform to facilitate the execution of transactions. These platforms evolve into ecosystems with digital assets facilitating the exchange of value, assuring economic security, and enabling work. Specifically, note that some of these blockchain networks have core decentralised finance (DeFi) applications (CDAs), which are specific financial applications that are infrastructurally imperative and intrinsically integrated into a blockchain network and its economic framework, enabling the network to meet its objectives. These applications operate using pools of digital assets submitted by liquidity providers (LPs) in smart contracts to facilitate financial transactions, like lending, market making, etc. Naturally, such applications often face a paradoxical causal loop, where they need a minimum viable capital to be operational and attract users, which can only happen if the application experiences sufficient demand to offer compelling returns. Furthermore, the blockchain network underlying the CDAs runs in a decentralised and distributed manner, necessitating the use of consensus mechanisms which enable the network to agree, confirm, and validate transactions. One example of such a consensus mechanism is the Proof-of-Stake (PoS) mechanism where locked (staked) capital (in the form of digital assets) is used to secure the network and assure operational integrity. Therefore, for continuing success of not just CDAs, but also the underlying blockchain network using the PoS consensus mechanism is directly linked to: (a) the amount of (locked) capital it can attract from participants; and (b) the incentives and penalties it uses to encourage and/or discourage behaviours on the network, to harmonise experience.

Whilst blockchain networks operating in a Proof of Stake (PoS) consensus mechanism often seek to attract staked capital in their native staking token — a digital asset that users can lock or “stake”to participate in network operations like transaction validation, in return for potential rewards, and thereby help maintain the economic security and functionality of the blockchain, with stakers often being rewarded for their contribution — as their ability to sustainably attract new capital might be limited, particularly if the perceived risk-adjusted return is not immediately compelling. This means that competition for the acquisition of capital from stakers (including node operators), whose capital base may already be predisposed, leads to an interdependent quandary. Staked capital is only present when the risk-adjusted return is compelling, but this is hard to sustainably achieve until the network has baseline-staked seed capital (economic security guarantees) to be an attractive platform for its users. This creates uncertainty for the network in ensuring the participation of a critical number of service providers and staked capital for operational integrity. A similar quandary exists for participants who have access to capital, but are averse to a direct exposure to the native staking token of the network. This is partly because in the early stages of the network, the price of its native staking token may be volatile[25], and it leads to fluctuation in PoS security guarantees of a network associated with the staked asset’s value. Therefore, constrained diversification of the staked asset base has a disproportionately desirable potential to improve the robustness of security guarantees of the network.

We seek to resolve this paradoxical causal loop through a budgeted incentive program wherein PoEL, an algorithmic program designed to support blockchain networks with CDAs, effectively draws operating capital and enhances the economic realities of the underlying network, encompassing ongoing viability and economic security. The proposed incentive framework facilitates a controlled expansion of the utility of capital submitted to CDA, making it available as staked capital for the network integral to CDAs, thus providing an additional income stream for capital providers. This is achieved by offering risk-aware preferential incentives over and above regular (CDA) fees, which may be denominated in the native staking token of the adopting blockchain network, or otherwise. These incentives allow digital asset holders to fully utilise their risk capital for on-chain economic activities. Such on-chain economic activities can initiate a self-reinforcing cycle where a blockchain network’s core DeFi application seeks to attract risk capital for on-chain economic work, which also secures the network. As the capital base improves, it stabilises the economic fundamentals, which in turn attracts more capital. However, the extent to which CDA capital is available for staking, and its resulting eligibility for additional earnings, is governed by the PoEL protocol.

PoEL achieves the aforementioned vision through a two-pronged approach. First, it solves the interdependent quandary of the minimum viable amount of capital required by the CDAs and the underlying blockchain infrastructure, by serving as a novel mechanism for preferential incentives to attract liquidity. Second, it enables networks to efficiently attract capital locked in a diversity of LP pools through its novel interest rate and collateral guidance framework enabling the risk-conscious extension of the utility of the attracted capital. This has the effect of optimising a diversity of risks and rewards to effectively integrate CDA liquidity pools with the network’s own PoS scheme, thereby, improving the native network’s economic security. It is noteworthy that the proposed framework does not seek to propose an alternative PoS mechanism but rather design an auxiliary protocol which works in conjunction with existing PoS mechanisms for networks with integrated CDAs, to optimise their incentive programs to attract capital. This general framework enables digital asset owners to seek excess returns on their locked capital and enables CDAs to bootstrap liquidity, and networks to mitigate asset-specific risks, thereby improving risk-adjusted returns generated per unit of network resources.

The remainder of the paper is organised as follows: in Sec. 2 we discuss benchmark works of relevance; in Sec. 3 we outline key principles governing the protocol’s architecture; in Sec. 4 we describe the protocol’s architecture, before concluding in Sec. 5.

2 Literature Review

Digital asset-based liquidity bootstrapping in decentralised finance, also referred to as “liquidity mining,”was first introduced by a decentralised exchange IDEX [18], and thereafter improvised by their competitors, e.g. Synthetix [29] and Compound [10]. Such developments paved the way for a period of significant growth for the digital assets industry, reflected in a sharp increase in Total Value Locked (TVL) from $600 Million to $11 Billion between March and September of 2020 [11]. The approach to use additional rewards (denominated in native tokens) to attract liquidity has been adopted by different types of DeFi projects, like money market applications, for e.g., Compound, AAVE [1], Benqi [7], Alchemix [4]; AMM/DEX protocols, such as Uniswap [30], Sushiswap [28], Curve [12], Balancer [5]; insurance protocols like Nexus Mutual [22], InsurAce [19]; and derivative platforms like Perpetual Protocol [26], dYdX [15], Synthetix [29]. Some of these projects, use governance tokens [16] as a mechanism of rewarding additional liquidity. For context, methods of bootstrapping liquidity that are now popular in this domain can trace their origins in traditional finance (e.g. see: [8, 14, 21]).

Related to the concept of liquidity bootstrapping in the digital finance domain, some works that might be helpful for context include the design for UniSwap’s V3 [31] and digital asset exchanges, e.g. [17]. Broadly speaking, liquidity bootstrapping strategies implement reward mechanisms to incentivise liquidity, which could be quantified based on different factors. E.g. Curve [13] used a decentralised governance mechanism to quantify rewards using factors like asset pool weights and characteristics, and similarly, Balancer [6] quantified rewards based on factors like the type of asset, size of the pool and its state, and pool-specific fees. Once calibrated, these rewards are distributed either primarily to LPs (like in the case of Uniswap, Aave, and Curve Finance), or can be extended beyond LPs to stakeholders like traders and borrowers (like in the case of Osmosis, and Compound). However, some of the liquidity mining programs not only incur direct costs but may also expose the adopting applications to indirect costs, stemming from risks leading to manipulative abuse of promotional offerings. Further, the industry has also experienced noteworthy risk events, e.g. wash trading(and by extension, wash transactions involving credit, as witnessed by Compound) like manipulative tactics, as witnessed by FCoin’s [9] liquidity mining program, and flooding of opportunistic hot money - seeking to solely pocket any incentives and dump the digital asset once incentives are collected, instead of using it as an opportunity to be a meaningful participant in an ecosystem.

Therefore, our research seeks to present a cost and risk-conscious liquidity bootstrapping program, to enable blockchain networks with integrated core DeFi applications (CDAs), to maximise the utility of every unit of risked capital, whilst harmonising economic interests of the underlying network and the implementing CDAs. A few examples of networks that have integrated CDAs for cross-chain asset exchange and derivative use-cases include Osmosis [23], and Qasar [27]. The proposed bootstrapping mechanism is most closely related to Osmosis’ [24] incentive mechanism, which not only rewards LPs using AMM fees, but additionally rewards them for value created from assets staked by them in the network, i.e. staking rewards in exchange for assets provided to secure the network. However, the proposed protocol design is distinct from their approaches, as PoEL jointly focuses on capital efficiency and network security, by accommodating a set of well-defined principles and objectives.

3 Objectives

PoEL is defined as an algorithmic policy function, 𝚷((κ,R)):𝐒t𝓘t+1:𝚷𝜅𝑅subscript𝐒𝑡subscript𝓘𝑡1\mathbf{\Pi}(\mathcal{M}(\kappa,R)):\mathbf{S}_{t}\rightarrow\bm{\mathcal{I}}_%{t+1}bold_Π ( caligraphic_M ( italic_κ , italic_R ) ) : bold_S start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT → bold_caligraphic_I start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT, which maps state observables (𝐒tsubscript𝐒𝑡\mathbf{S}_{t}bold_S start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT) to a vector of incentives (𝓘t+1subscript𝓘𝑡1\bm{\mathcal{I}}_{t+1}bold_caligraphic_I start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT), by using its liquidity mining program ((κ,R)𝜅𝑅\mathcal{M}(\kappa,R)caligraphic_M ( italic_κ , italic_R )), to essentially solve an optimisation problem constrained on the chosen risk measure κ𝜅\kappaitalic_κ and total distributable incentive budget (R𝑅Ritalic_R). Whilst being backwards compatible with many existing blockchain networks’ PoS schemes, this design ensures efficient preservation of any financial value being created for the network, by aiming to maximise the expected financial value of total transactional volume and minimise the variance of the value of the asset mix backing the security of the network, subject to stochastic constraints.

Before we progress, we seek to specify a few important concepts:

Definition 1 (Timestep)

A timestep (t𝑡titalic_t) refers to a specific point in time when a change in state variables is observed, or input parameters are set.

Definition 2 (Epoch)

An epoch (e𝑒eitalic_e) is a short, yet relatively fixed period, akin to block time, representing instances when the protocol executes critical updates. These updates include, but are not limited to, instances such as reward distribution, accepting new users to the system, and enforcement of penalties on participants.

It is important to note that whenever a measure, say - price, carries a subscript e𝑒eitalic_e, i.e. it is the representative price of the epoch Pesubscript𝑃𝑒P_{e}italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, it means that this is the price available in the last timestep of the epoch, i.e. Pe=PT,e:[0,T]:subscript𝑃𝑒subscript𝑃𝑇for-all𝑒0𝑇P_{e}=P_{T},\forall e:[0,T]italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_P start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT , ∀ italic_e : [ 0 , italic_T ].

Definition 3 (Unstaking Period)

The unstaking period refers to the predetermined duration of time set by a blockchain network or DeFi platform, which follows a request to withdraw (or unstake) staked assets when the digital assets remain inaccessible or non-transferable.

The unstaking period is designed to promote a blockchain network’s security and stability, and to discourage malicious activities, by preventing abrupt changes in the staked capital and limiting the ease of materialising a malicious act.

Now, we seek to optimise over the decision variable 𝓘𝓘\bm{\mathcal{I}}bold_caligraphic_I, which is the incentive allocation matrix capturing available incentives across asset pools of a particular CDA and epochs, and present the forthcoming optimisation statement as a framework to motivate the conceptual design of the PoEL protocol presented in sections that follow.

Maximise𝓘w1q=1ϵ𝔼[Vqi]w2q=1ϵ𝔼[σq2]𝓘Maximisesubscriptsuperscript𝑤1subscriptsuperscriptitalic-ϵ𝑞1𝔼delimited-[]subscriptsuperscript𝑉𝑖𝑞subscriptsuperscript𝑤2subscriptsuperscriptitalic-ϵ𝑞1𝔼delimited-[]subscriptsuperscript𝜎2𝑞\displaystyle\underset{\bm{\mathcal{I}}}{\text{Maximise}}\quad w^{\prime}_{1}%\cdot\sum^{\epsilon}_{q=1}\mathbb{E}[V^{i}_{q}]-w^{\prime}_{2}\cdot\sum^{%\epsilon}_{q=1}\mathbb{E}[\sigma^{2}_{q}]underbold_caligraphic_I start_ARG Maximise end_ARG italic_w start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⋅ ∑ start_POSTSUPERSCRIPT italic_ϵ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT blackboard_E [ italic_V start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ] - italic_w start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⋅ ∑ start_POSTSUPERSCRIPT italic_ϵ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT blackboard_E [ italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ]s.t.(1)
(o=1l𝜿eo𝜿ei)αsubscriptsuperscript𝑙𝑜1subscriptsuperscript𝜿𝑜𝑒subscriptsuperscript𝜿𝑖𝑒𝛼\displaystyle\mathbb{P}\left(\sum^{l}_{o=1}\bm{\kappa}^{o}_{e}\leq\bm{\kappa}^%{i}_{e}\right)\geq\alphablackboard_P ( ∑ start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o = 1 end_POSTSUBSCRIPT bold_italic_κ start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≤ bold_italic_κ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) ≥ italic_α
cVaR(𝓘e)β=0.99Limit𝑐𝑉𝑎𝑅subscriptsubscript𝓘𝑒𝛽0.99𝐿𝑖𝑚𝑖𝑡\displaystyle cVaR(\bm{\mathcal{I}}_{e})_{\beta=0.99}\leq Limititalic_c italic_V italic_a italic_R ( bold_caligraphic_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_β = 0.99 end_POSTSUBSCRIPT ≤ italic_L italic_i italic_m italic_i italic_t
q=1ϵo=1lol=Rsubscriptsuperscriptitalic-ϵ𝑞1subscriptsuperscript𝑙𝑜1superscriptsubscript𝑜𝑙R\displaystyle\sum^{\epsilon}_{q=1}\sum^{l}_{o=1}\mathcal{I}_{o}^{l}=\text{R}∑ start_POSTSUPERSCRIPT italic_ϵ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT ∑ start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o = 1 end_POSTSUBSCRIPT caligraphic_I start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT = R

where, w1subscriptsuperscript𝑤1w^{\prime}_{1}italic_w start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and w2subscriptsuperscript𝑤2w^{\prime}_{2}italic_w start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are the weights representing the importance of each objective, s.t. w1+w2=1subscriptsuperscript𝑤1subscriptsuperscript𝑤21w^{\prime}_{1}+w^{\prime}_{2}=1italic_w start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_w start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1; ϵitalic-ϵ\epsilonitalic_ϵ is the length of incentivisation program in epochs; 𝔼[Vqi]𝔼delimited-[]superscriptsubscript𝑉𝑞𝑖\mathbb{E}[V_{q}^{i}]blackboard_E [ italic_V start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ] is the expected financial value for the network of total transactional volume in q𝑞qitalic_q-th epoch; 𝓘qsubscript𝓘𝑞\bm{\mathcal{I}}_{q}bold_caligraphic_I start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT is vector of incentives distributed across asset pools in q𝑞qitalic_q-th epoch, representing one particular column in the matrix 𝓘𝓘\bm{\mathcal{I}}bold_caligraphic_I; eosubscriptsuperscript𝑜𝑒\mathcal{I}^{o}_{e}caligraphic_I start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT represents incentives distributed for asset pool o𝑜oitalic_o in e-th epoch; l𝑙litalic_l is the number of asset pools of CDA i𝑖iitalic_i, included in the PoEL program; (o=1l𝜿eo𝜿ei)αsubscriptsuperscript𝑙𝑜1subscriptsuperscript𝜿𝑜𝑒subscriptsuperscript𝜿𝑖𝑒𝛼\mathbb{P}\left(\sum^{l}_{o=1}\bm{\kappa}^{o}_{e}\leq\bm{\kappa}^{i}_{e}\right%)\geq\alphablackboard_P ( ∑ start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o = 1 end_POSTSUBSCRIPT bold_italic_κ start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≤ bold_italic_κ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) ≥ italic_α is a probabilistic constraint ensuring that the aggregate risks of the portfolio of asset securing the network do not exceed a certain limit (κeisubscriptsuperscript𝜅𝑖𝑒\kappa^{i}_{e}italic_κ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) with a probability of at least α𝛼\alphaitalic_α; cVaR(𝓘e)β=0.99𝑐𝑉𝑎𝑅subscriptsubscript𝓘𝑒𝛽0.99cVaR(\bm{\mathcal{I}}_{e})_{\beta=0.99}italic_c italic_V italic_a italic_R ( bold_caligraphic_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_β = 0.99 end_POSTSUBSCRIPT ensures that the Conditional Value at Risk (cVaR), calculated at a pre-specified confidence interval (β𝛽\betaitalic_β) stays below a pre-specified limit111Note that the protocol aims to limit the expected shortfall, as indicated in the constraint. It seeks to quantify this by using the portfolio returns of assets. These assets are attracted using the epoch-specific incentives, which is the decision variable in the objective statement of the preceding optimisation problem.; and 𝔼[σq2]𝔼delimited-[]subscriptsuperscript𝜎2𝑞\mathbb{E}[\sigma^{2}_{q}]blackboard_E [ italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ] is the expectation of the variance of the marked-to-market value of the assets backing the economic security of the network222We express the financial value of transactional volume and the variance in nominal terms..

This representative optimisation problem is tackled using the proposed protocol, by way of enabling varied market forces to discover points of dynamic equilibrium (i.e. either local or global optimal solution), reflecting the protocol’s goal of accommodating the requirements and strategies of each rational economic actor. Our deployment of this optimisation framework serves to establish the context for the operating and financial principles that follow, along with the associated objectives, as detailed in the protocol architecture presented in Section 4.

3.1 Operating Principles

Risk 1 (Wash Transactions)

A wash transaction is defined as the predatory activity of transacting (e.g. buying, selling, lending, or borrowing) in an asset, with the sole objective of creating the false impression of market activity, without any meaningful change in ownership, or financial impact.

Using the example of a decentralised exchange (DEX), if Ptsubscript𝑃𝑡P_{t}italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is the price of the asset, and ΔVtnormal-Δsubscript𝑉𝑡\Delta V_{t}roman_Δ italic_V start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is the volume traded, we can state that a trade is a wash trade if, for e.g., the DEX experiences the following sequence of trades:

Buy(t)::Buy(t)absent\displaystyle\text{Buy(t)}:Buy(t) :PtΔVt>0subscript𝑃𝑡Δsubscript𝑉𝑡0\displaystyle\quad P_{t}\cdot\Delta V_{t}>0italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ roman_Δ italic_V start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT > 0
Sell(t+1):Pt+1ΔVt+1<0,subscript𝑃𝑡1Δsubscript𝑉𝑡10\displaystyle\quad P_{t+1}\cdot\Delta V_{t+1}<0,italic_P start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ⋅ roman_Δ italic_V start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT < 0 ,
Trade:PtPt+10&|ΔVt|=|ΔVt+1|>0formulae-sequencesimilar-tosubscript𝑃𝑡subscript𝑃𝑡10&Δsubscript𝑉𝑡Δsubscript𝑉𝑡10\displaystyle\quad P_{t}-P_{t+1}\sim 0\quad\text{\&}\quad|\Delta V_{t}|=|%\Delta V_{t+1}|>0italic_P start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_P start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT ∼ 0 & | roman_Δ italic_V start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | = | roman_Δ italic_V start_POSTSUBSCRIPT italic_t + 1 end_POSTSUBSCRIPT | > 0
Mitigation 1 (Wash Transactions)

We seek to discourage wash transactions, using the following tools:

  1. 1.

    Mitigation: Disincentivising wash transactions, by e.g. financially incentivising organic user growth, by ensuring that the cost exceeds any expected gains from sustained malicious attempts.

  2. 2.

    Transformations: Transforming point-in-time measures used to drive reward distribution policy to moving averages, makes it harder for malicious actors to manipulate key metrics through wash transactions.

Risk 2 (Continuous Quality Assurance)

In a PoS mechanism, there is a risk that in the event of an adverse change in the fair value of the staked asset, the network’s economic security might be compromised, if assets backing the network security are not marked-to-market.

Mitigation 2 (Continuous Quality Assurance)

The system continuously checks the market price of assets used to secure the network, and exhibits demonstrable intention to make adjustments to assertively tackle any accounting discrepancies which emerge.

Risk 3 (Network Liveness)

PoEL’s operational integrity principle focuses on validator sustenance333Validator sustenance refers to a validator’s ability to actively and effectively perform its role in the adopting network. (OL1𝑂subscript𝐿1OL_{1}italic_O italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT) where the protocol seeks to maximally avoid all scenarios which increase, or even reinforce the likelihood of a cascading number of nodes from being disqualified from a PoS-based blockchain network, as a result of failing to meet the dynamic financial requirements, e.g. minimum staking requirements 444PoS-based blockchain networks often impose a minimum staking requirement to ensure that participants have a vested interest in the network’s stability and security. By requiring a minimum amount of tokens or cryptocurrency to be staked, the network can discourage frivolous or malicious actors who might otherwise participate without a significant investment, by slashing their staked capital. This requirement helps to align the interests of the stakeholders with the long-term health and integrity of the blockchain network..

Mitigation 3 (Network Liveness)

Operational breaches are mitigated by maintaining a breach-specific threshold, such that the event-specific probability is managed as follows:

𝐏[OL1]λOL1,𝐏delimited-[]𝑂subscript𝐿1subscript𝜆𝑂subscript𝐿1\mathbf{P}[OL_{1}]\leq\lambda_{{OL}_{1}},bold_P [ italic_O italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ] ≤ italic_λ start_POSTSUBSCRIPT italic_O italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ,(2)

where λOL1subscript𝜆𝑂subscript𝐿1\lambda_{{OL}_{1}}italic_λ start_POSTSUBSCRIPT italic_O italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT is the probabilistic threshold for the likelihood of the occurrence of prespecified operational risk events. And since λOL10subscript𝜆𝑂subscript𝐿10\lambda_{{OL}_{1}}\neq 0italic_λ start_POSTSUBSCRIPT italic_O italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≠ 0, in its simplest form we seek to achieve this by incentivising (or imposing) only limited and operationally robust validators to participate in PoEL, thereby reducing the risk of cascading disqualifications which would fundamentally compromise the operational integrity of the network.

Risk 4 (Backward Compatibility)

If the protocol is not backwards compatible with the adopting network’s staking mechanism555The PoEL protocol specifically seeks to be compatible with some existing networks, which use smart contracts to manage staking aspects of their system., it would limit the PoEL protocol’s real-world applicability. This limitation could impact its viability.

Mitigation 4 (Backward Compatibility)

The proposed protocol should not require any major changes to the adopting network’s staking dynamics.

Risk 5 (Stake Centralisation Attack)

A stake centralisation attack refers to an event where a user (or a group of users) amasses such a significant portion of the total staked capital in the PoS-based network, that it undermines the security of a decentralised network as the user(s) effectively control over the network’s decision-making, block creation and transaction validation processes.

Mitigation 5 (Stake Centralisation Attack)

The generally accepted shape of the liquidity density function of any financial asset, whether digital or traditional, implies that the adverseness of execution price (or the resulting market impact) from the execution of trade is positively correlated to the executed volume, and negatively correlated to the liquidity of the asset. On a ceteris paribus basis, if a single token is used for staking in a blockchain network, a malicious stakeholder seeking to attempt to buy a significant portion of the native staking token666A native staking token is a digital asset used for staking in its associated blockchain network, securing the network and enabling stakers to earn rewards in exchange for assuring the quality of the services provided by the network. Native staking tokens (NST) are key elements of a Proof of Stake (PoS) consensus mechanism. will have to incrementally pay a higher cost of execution, by way of higher market impact (especially if the adopting network is in its infancy and the native staking token has limited liquidity), compared with having the capacity to submit multiple assets to satisfy their desired staking outcome, i.e.

MINSTϕNST,Vj=1NMIjϕj,Vj,𝑀subscriptsuperscript𝐼subscriptitalic-ϕ𝑁𝑆𝑇𝑉𝑁𝑆𝑇superscriptsubscript𝑗1𝑁𝑀subscriptsuperscript𝐼subscriptitalic-ϕ𝑗subscript𝑉𝑗𝑗MI^{\phi_{NST},V}_{NST}\geq\sum_{j=1}^{N}MI^{{\phi_{j}},V_{j}}_{j},italic_M italic_I start_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT , italic_V end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT ≥ ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_M italic_I start_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_V start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,(3)

where MINSTϕNST,V𝑀subscriptsuperscript𝐼subscriptitalic-ϕ𝑁𝑆𝑇𝑉𝑁𝑆𝑇MI^{\phi_{NST},V}_{NST}italic_M italic_I start_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT , italic_V end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT represents the market impact of executing a fixed notional value V𝑉Vitalic_V in the native staking token with a market impact function ϕNSTsubscriptitalic-ϕ𝑁𝑆𝑇\phi_{NST}italic_ϕ start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT, and MIjϕj,Vj𝑀subscriptsuperscript𝐼subscriptitalic-ϕ𝑗subscript𝑉𝑗𝑗MI^{{\phi_{j}},V_{j}}_{j}italic_M italic_I start_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT , italic_V start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT represents the market impact of executing a smaller notional value Vjsubscript𝑉𝑗V_{j}italic_V start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT across N-many assets with their respective market impact functions ϕjsubscriptitalic-ϕ𝑗\phi_{j}italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT, such that ϕ1=ϕ2==ϕN=ϕNSTsubscriptitalic-ϕ1subscriptitalic-ϕ2subscriptitalic-ϕ𝑁subscriptitalic-ϕ𝑁𝑆𝑇\phi_{1}=\phi_{2}=\dots=\phi_{N}=\phi_{NST}italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ⋯ = italic_ϕ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT = italic_ϕ start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT.

However, since market impact functions (ϕitalic-ϕ\phiitalic_ϕ) are not all the same, a situation arises where the superiority of a market impact function, i.e. its ability to absorb large volumes, is directly related to the ease with which a malicious stakeholder can attempt (or successfully execute) a stake centralisation attack.

Therefore, to ensure that the incentive mechanism that enables the use of multiple assets as staked capital to secure an early-stage network, does not end up easing natural market-based barriers to a stake centralisation attack, we seek to limit the portion of capital staked through other digital assets which aren’t a native staking token, as follows:

VMAVMA+VNST<Tsubscript𝑉𝑀𝐴subscript𝑉𝑀𝐴subscript𝑉𝑁𝑆𝑇𝑇\frac{V_{MA}}{V_{MA}+V_{NST}}<Tdivide start_ARG italic_V start_POSTSUBSCRIPT italic_M italic_A end_POSTSUBSCRIPT end_ARG start_ARG italic_V start_POSTSUBSCRIPT italic_M italic_A end_POSTSUBSCRIPT + italic_V start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT end_ARG < italic_T(4)

where VMAsubscript𝑉𝑀𝐴V_{MA}italic_V start_POSTSUBSCRIPT italic_M italic_A end_POSTSUBSCRIPT is the value staked in multiple assets, and not the native staking token, VNSTsubscript𝑉𝑁𝑆𝑇V_{NST}italic_V start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT value staked in the network in native staking token and T𝑇Titalic_T is the optimal threshold which mitigates the risk.

Risk 6 (Incentive Disharmony)

Incentives provided as part of the PoEL protocol may have a predatorial effect on the incentive structure of the adopting network777Absence of incentive harmony can, e.g., distort a capital provider’s motivation to select the best validators, leading to an important agent like validator being delegated-to without merit..

Mitigation 6 (Incentive Disharmony)

To mitigate the risk of PoEL’s incentive structure being disharmonious to the incentive structure of the adopting blockchain network, the PoEL protocol penalises destructive (malicious and/or non-contributory) stakeholders by slashing their locked capital.

This framework and foreseen benefits ought to be balanced against additional risks it poses, which if unchecked, leaves the entire system more vulnerable in times of extreme volatility. Therefore, we seek to ensure that the PoEL protocol considers a variety of risks, including, but not limited to market risk.

3.2 Financial Principles

Risk 7 (Realised Volatility)

Variability, for e.g., as measured by volatility, in the basket of assets backing the network introduces stochasticity in its economic security. This can be quantified at an asset level, as follows:

σ=1N1t=1N(rtr¯)2𝜎1𝑁1superscriptsubscript𝑡1𝑁superscriptsubscript𝑟𝑡¯𝑟2\sigma=\sqrt{\frac{1}{N-1}\sum_{t=1}^{N}(r_{t}-\bar{r})^{2}}italic_σ = square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_N - 1 end_ARG ∑ start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - over¯ start_ARG italic_r end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG(5)

where rtsubscript𝑟𝑡r_{t}italic_r start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT represents an asset’s return, and N𝑁Nitalic_N is the number of assets in the portfolio.

Mitigation 7 (Realised Volatility)

The system hom*ogenises the risk-adjusted desirability of individual assets and enforces the volatility requirements on the portfolio of assets utilised in PoEL.

Risk 8 (Tail Risk)

In addition to the preceding risk which focuses on mitigating risks emerging from the second moment of returns distribution, which can be somewhat said to be “ongoing”risks, the network’s economic security is also exposed to unexpected losses, for e.g. as captured by measures like the Expected Shortfall[2], which may also additionally exacerbate the risk of cascading disqualification of validators.

Mitigation 8 (Tail Risk)

To mitigate the tail risk, the protocol’s objective statement is constrained by an expected shortfall limit.

Risk 9 (Liquidity Risk (Viscosity))

Liquidity risk is the risk that the protocol would be unable to buy or sell an asset without leading to a meaningfully adverse price impact, where the adverse price impact is quantified as LR𝐿𝑅LRitalic_L italic_R, and in a simplified form, it can be expressed as a function of trading volume, bid-ask spread, and order size.

LR=f(Sp,Vt1:t2,Q),𝐿𝑅𝑓𝑆𝑝superscript𝑉:subscript𝑡1subscript𝑡2𝑄LR=f(Sp,V^{t_{1}:t_{2}},Q),italic_L italic_R = italic_f ( italic_S italic_p , italic_V start_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT : italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , italic_Q ) ,(6)

where Vt1:t2[0,)superscript𝑉normal-:subscript𝑡1subscript𝑡20V^{t_{1}:t_{2}}\in[0,\infty)italic_V start_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT : italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∈ [ 0 , ∞ ) is the trading volume of the asset over a lookback window, Sp𝑅+𝑆𝑝superscript𝑅Sp\in\mathop{R}^{+}italic_S italic_p ∈ italic_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is the bid-ask spread, and Q𝑄Qitalic_Q is the order size.

Mitigation 9 (Liquidity Risk (Viscosity))

A minimum liquidity requirement is asserted for each of the qualifying assets.

3.3 Ancillary Objectives

Based on the preceding principles, we now outline the ancillary objectives PoEL protocol seeks to target, and the incentives used to catalyse their realisation.

Target 1 (Tenure)

To incentivise the stickiness of capital submitted to liquidity pools and its subsequent use for network security, attributable incentives are positively correlated to the length of time capital is locked.

Incentive 1 (Tenure)
tl=tl,max+tl,maxtl,min(1+ek(tlt𝑚𝑖𝑑l))ϱsuperscriptsubscript𝑡𝑙superscriptsubscript𝑡𝑙superscriptsubscript𝑡𝑙superscriptsubscript𝑡𝑙superscript1superscript𝑒𝑘superscript𝑡𝑙subscriptsuperscript𝑡𝑙𝑚𝑖𝑑italic-ϱ\mathcal{I}_{t}^{l}=\mathcal{I}_{t}^{l,{\max}}+\frac{\mathcal{I}_{t}^{l,{\max}%}-\mathcal{I}_{t}^{l,\min}}{(1+e^{-k(t^{l}-t^{l}_{\text{mid}})})^{\varrho}}caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT = caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l , roman_max end_POSTSUPERSCRIPT + divide start_ARG caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l , roman_max end_POSTSUPERSCRIPT - caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l , roman_min end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + italic_e start_POSTSUPERSCRIPT - italic_k ( italic_t start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT - italic_t start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT mid end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_ϱ end_POSTSUPERSCRIPT end_ARG(7)

where, tlsuperscript𝑡𝑙t^{l}italic_t start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT represents the time for which l𝑙litalic_l-th LP capital is locked, tlsuperscriptsubscript𝑡𝑙\mathcal{I}_{t}^{l}caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT represents the associated incentive, tmaxsuperscriptsubscript𝑡\mathcal{I}_{t}^{\max}caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT represents the maximum incentive available to distribute to a particular LP at a particular timestep, tl,minsuperscriptsubscript𝑡𝑙\mathcal{I}_{t}^{l,\min}caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l , roman_min end_POSTSUPERSCRIPT is the minimum incentive (portion of tl,maxsubscriptsuperscript𝑙𝑡\mathcal{I}^{l,{\max}}_{t}caligraphic_I start_POSTSUPERSCRIPT italic_l , roman_max end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT), k𝑘kitalic_k is a scaling factor that adjusts the steepness of the sigmoid curve, t𝑚𝑖𝑑lsuperscriptsubscript𝑡𝑚𝑖𝑑𝑙t_{\text{mid}}^{l}italic_t start_POSTSUBSCRIPT mid end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT is a mid-point value around which the transition from the minimum to maximum incentive starts to become significant, and ϱitalic-ϱ\varrhoitalic_ϱ is a new parameter that adjusts the curve’s shape, providing additional control over how rapidly the incentive increases as locking time approach and surpasses mid-point.

A Staking Mechanism for Capital Efficient Liquidity (1)

Now, the role of an investor seeking to lock in an amount would be to quantify the present value of these forward incentive rates at a point in time t𝑡titalic_t, as follows:

PVl=tL=0tL=ttl(tL).eu=0u=tLIR(u)𝑑udtL,formulae-sequence𝑃superscript𝑉𝑙superscriptsubscriptsubscript𝑡𝐿0subscript𝑡𝐿𝑡subscriptsuperscript𝑙𝑡subscript𝑡𝐿superscript𝑒superscriptsubscript𝑢0𝑢subscript𝑡𝐿𝐼𝑅𝑢differential-d𝑢𝑑subscript𝑡𝐿PV^{l}=\int_{t_{L}=0}^{t_{L}=t}\mathcal{I}^{l}_{t}(t_{L}).e^{-\int_{u=0}^{u={t%_{L}}}IR(u)du}dt_{L},italic_P italic_V start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT = ∫ start_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = italic_t end_POSTSUPERSCRIPT caligraphic_I start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_t start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) . italic_e start_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT italic_u = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_u = italic_t start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_I italic_R ( italic_u ) italic_d italic_u end_POSTSUPERSCRIPT italic_d italic_t start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ,(8)

where the integral captures the continuously compounding forward incentive rates888We assume that continuous compounding would be harmonious with the adopting blockchain network’s economics., by additionally introducing an interest rate (IR(t)𝐼𝑅𝑡IR(t)italic_I italic_R ( italic_t )) on top of the incentive rate, aimed at capturing the slope of the interest rate curve. Note, that tLsubscript𝑡𝐿t_{L}italic_t start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT is a variable of integration, representing the time when incentive’s received.

Target 2 (Capital Productivity )

Capital productivity is defined as the productive utilisation of the attracted capital, where productivity is defined as a net positive utility of the expected return (incl. any additional fees generated through increased volume) when adjusted for the cost of capital.

Incentive 2 (Capital Productivity)

We assume market participants to be rational, and therefore, the PoEL protocol assumes that given its sustainable and competitive structure which dynamically responds to changes in exogenous factors, capital productivity is either always achieved, or incentive structures are updated such that there is progress in its direction.

Target 3 (Responsiveness)

The protocol aims to be responsive to changes in state variables(𝐒={S0,S1,,Si}𝐒subscript𝑆0subscript𝑆1normal-…subscript𝑆𝑖\mathbf{S}=\{S_{0},S_{1},\dots,S_{i}\}bold_S = { italic_S start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_S start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT }), to incentivise actions which seek to progress the succeeding state towards its stated goals.

𝓘𝐒0𝓘𝐒0\frac{\partial\bm{\mathcal{I}}}{\partial\mathbf{S}}\neq 0divide start_ARG ∂ bold_caligraphic_I end_ARG start_ARG ∂ bold_S end_ARG ≠ 0(9)
Incentive 3 (Responsiveness)

To achieve the aforementioned condition, it is designed such that it necessitates that any change in incentives progresses the protocol towards its goals, i.e.:

Δ𝑀𝑖𝑛𝑖𝑚𝑖𝑠𝑒(|𝑆𝑡𝑎𝑡𝑒t𝑂𝑏𝑗𝑒𝑐𝑡𝑖𝑣𝑒|)Δ𝑀𝑖𝑛𝑖𝑚𝑖𝑠𝑒subscript𝑆𝑡𝑎𝑡𝑒𝑡superscript𝑂𝑏𝑗𝑒𝑐𝑡𝑖𝑣𝑒\Delta\mathcal{I}\rightarrow\text{Minimise}(|\text{State}_{t}-\text{Objective}%^{\ast}|)roman_Δ caligraphic_I → Minimise ( | State start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - Objective start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT | )(10)

4 Protocol

The preceding sections highlighted that PoEL seeks to aid in sustainably attracting capital to the liquidity pools of a CDA, while efficiently asserting the underlying network’s economic security. This can be understood as optimising the multiplier of a CDA’s operating capital available as staked capital for the underlying network. As such, PoEL is tantamount to a money market protocol in which the lender is the blockchain network, and the borrower is loaned native staking tokens in exchange for multi-asset collateral, without the associated credit risk. This is achieved through the architecture visualised in the schematics presented in Fig. 2.

A Staking Mechanism for Capital Efficient Liquidity (2)

We now proceed to discuss the operational mechanics of this architecture: when an LP submits asset X𝑋Xitalic_X to the i-th CDA’s liquidity pool, they receive LP tokens denoted by X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT, representing an LP’s share in an asset-specific pool, which can be used to further borrow native staking tokens from the network by depositing assets (LP tokens) into the LP token reserve 999If a CDA’s design does not assume distribution of LP tokens to its capital contributors, other approaches can be adopted to record the capital contributors willingness to use its liquidity as collateral to participate in the incentive program.

Definition 4 (LP Token Reserve)

An LP’s token reserve of size - SevX~isubscriptsuperscript𝑆superscriptnormal-~𝑋𝑖subscript𝑒𝑣S^{\tilde{X}^{i}}_{e_{v}}italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT, in a particular epoch, is a unique collateral pool, which is mapped to a particular validator’s address (say, v-th validator), and X~isuperscriptnormal-~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT represents the type of asset (LP token) which can be deposited in the specified reserve.

We denote the sum of the size of all LP token reserves including asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT mapped to all validators by SeX~isubscriptsuperscript𝑆superscript~𝑋𝑖𝑒S^{\tilde{X}^{i}}_{e}\in\mathop{\mathbb{R}}italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ blackboard_R, SeX~i=vSevX~isubscriptsuperscript𝑆superscript~𝑋𝑖𝑒subscript𝑣subscriptsuperscript𝑆superscript~𝑋𝑖subscript𝑒𝑣S^{\tilde{X}^{i}}_{e}=\sum_{v}S^{\tilde{X}^{i}}_{e_{v}}italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT, where v𝑣vitalic_v represents the number of validators involved in the PoEL protocol. Once LP submits collateral (LP tokens) to a reserve pool, and receives a loan of the native staking token (where the amount depends on collateralisation rate (ρeX~i[1,)superscriptsubscript𝜌𝑒superscript~𝑋𝑖1\rho_{e}^{\tilde{X}^{i}}\in[1,\infty)italic_ρ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ∈ [ 1 , ∞ ))), it is delegated to a particular validator (v𝑣vitalic_v). Notably, the amount of the loan extended to the LP is continuously tested against dynamically changing collateralisation requirements, which have to be met at all times, by all borrowers, i.e. for the total amount of native staking tokens (Le[0,)subscript𝐿𝑒0L_{e}\in[0,\infty)italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ [ 0 , ∞ )) loaned to all borrowers.

Definition 5 (Collateralisation Rate (ρeX~isuperscriptsubscript𝜌𝑒superscriptnormal-~𝑋𝑖\rho_{e}^{\tilde{X}^{i}}italic_ρ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT))

The collateralisation rate quantifies the amount of collateral an LP needs to deposit, to be able to borrow desired native staking tokens. It is represented by (ρeX~isuperscriptsubscript𝜌𝑒superscriptnormal-~𝑋𝑖\rho_{e}^{\tilde{X}^{i}}italic_ρ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT), for LP token X~isuperscriptnormal-~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT, and calculated as follows:

ρeX~i=(SeX~i)PeX~iLeX~i,subscriptsuperscript𝜌superscript~𝑋𝑖𝑒subscriptsuperscript𝑆superscript~𝑋𝑖𝑒subscriptsuperscript𝑃superscript~𝑋𝑖𝑒subscriptsuperscript𝐿superscript~𝑋𝑖𝑒\rho^{\tilde{X}^{i}}_{e}=\frac{(S^{\tilde{X}^{i}}_{e})\cdot P^{\tilde{X}^{i}}_%{e}}{L^{\tilde{X}^{i}}_{e}},italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = divide start_ARG ( italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) ⋅ italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG ,(11)

where PeX~i+subscriptsuperscript𝑃superscript~𝑋𝑖𝑒superscriptP^{\tilde{X}^{i}}_{e}\in\mathop{\mathbb{R}}^{+}italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is the price of LP asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT denominated in the native staking token at the epoch e𝑒eitalic_e, and LeX~i+subscriptsuperscript𝐿superscript~𝑋𝑖𝑒superscriptL^{\tilde{X}^{i}}_{e}\in\mathop{\mathbb{R}}^{+}italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT represents the loaned amount of the native staking token, using collateral in asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT.

For securing the network with their borrowed native staking tokens, LPs can earn epoch-specific staking rewards from the network. Once accrued, staking rewards are deposited in the reward pool, which represents the total budget available for the liquidity bootstrapping program, and RPe([0,)RP_{e}\in([0,\infty)italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ ( [ 0 , ∞ ) denotes the size of the epoch-specific reward pool.101010Reward pool is a distinct pool holding accrued rewards generated in PoEL protocol for securing the network, and optimally distributing it to LPs, based on pre-defined rules.

The rules-based mechanism driving the reward distribution seeks to optimise allocation by granting preferential rewards to relatively more desirable assets, thus maintaining capital efficiency in the protocol. This reward distribution policy is further informed by the collateralisation rate, which seeks to help incorporate risk management dynamics, into the reward distribution policy.

  • Budget Distribution: PoEL protocol’s budget distribution mechanism seeks to allocate the available budget across multiple epochs (ReiRPesuperscriptsubscript𝑅𝑒𝑖𝑅subscript𝑃𝑒R_{e}^{i}\leq RP_{e}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≤ italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT), where Reisuperscriptsubscript𝑅𝑒𝑖R_{e}^{i}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT represents the optimal epoch-specific reward for LPs of i-th CDA and RPe𝑅subscript𝑃𝑒RP_{e}italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the maximum budget available for distribution in that epoch, with the intent of striking a balance between capital efficiency and boosting incentive allocation in epochs with elevated user demand.

  • Dynamic Interest Rate: PoEL quantifies a fee on borrowers of the native staking token, which depends on the quality of the asset used for collateral, and serves the purpose of efficiently distributing reward budget, higher quality assets which have a higher demand as operating capital in a CDA are given preferential rates. This rate, represented by IeX~isubscriptsuperscript𝐼superscript~𝑋𝑖𝑒I^{\tilde{X}^{i}}_{e}\in\mathop{\mathbb{R}}italic_I start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ blackboard_R, is specific to an LP token and epoch, and computed as a percentage of the distributable rewards for contributors of that LP token as collateral(ReX~isubscriptsuperscript𝑅superscript~𝑋𝑖𝑒R^{\tilde{X}^{i}}_{e}italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT), that is calculated as follows:

    ReX~i=ReiLeX~iLe.subscriptsuperscript𝑅superscript~𝑋𝑖𝑒subscriptsuperscript𝑅𝑖𝑒subscriptsuperscript𝐿superscript~𝑋𝑖𝑒subscript𝐿𝑒R^{\tilde{X}^{i}}_{e}=R^{i}_{e}\cdot\frac{L^{\tilde{X}^{i}}_{e}}{L_{e}}.italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ divide start_ARG italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG .(12)

    Similarly, the nominal interest payable (IPeX~i𝐼subscriptsuperscript𝑃superscript~𝑋𝑖𝑒IP^{\tilde{X}^{i}}_{e}italic_I italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) is calculated as follows:

    IPeX~i=ReX~iIeX~i𝐼subscriptsuperscript𝑃superscript~𝑋𝑖𝑒subscriptsuperscript𝑅superscript~𝑋𝑖𝑒subscriptsuperscript𝐼superscript~𝑋𝑖𝑒IP^{\tilde{X}^{i}}_{e}=R^{\tilde{X}^{i}}_{e}\cdot I^{\tilde{X}^{i}}_{e}italic_I italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_I start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT(13)
  • Collateralisation Rate: Instead of using a static amount of collateral required to borrow each unit of the native staking token, the protocol sets this rate dynamically, as another tool to assert its pre-specified principles111111Principle 2 requires that ρeXLPi1subscriptsuperscript𝜌subscriptsuperscript𝑋𝑖𝐿𝑃𝑒1\rho^{X^{i}_{LP}}_{e}\geq 1italic_ρ start_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≥ 1. and objectives. Furthermore, the PoEL protocol aims to accommodate any fluctuations in the combined value of assets used as collateral, by modifying the loaned amount as follows:

    ΔLeX~=SeX~iρeX~iPeX~iLe1X~.Δsubscriptsuperscript𝐿~𝑋𝑒subscriptsuperscript𝑆superscript~𝑋𝑖𝑒subscriptsuperscript𝜌superscript~𝑋𝑖𝑒subscriptsuperscript𝑃superscript~𝑋𝑖𝑒subscriptsuperscript𝐿~𝑋𝑒1\Delta L^{\tilde{X}}_{e}=\frac{S^{\tilde{X}^{i}}_{e}}{\rho^{\tilde{X}^{i}}_{e}%}\cdot P^{\tilde{X}^{i}}_{e}-L^{\tilde{X}}_{e-1}.roman_Δ italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = divide start_ARG italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG ⋅ italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e - 1 end_POSTSUBSCRIPT .(14)

    Note that in the event of an adverse price change which leads to curtailment of the loaned amount (ΔLtX~<0Δsubscriptsuperscript𝐿~𝑋𝑡0\Delta L^{\tilde{X}}_{t}<0roman_Δ italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT < 0), ownership of the loaned asset is transferred to the PoEL protocol. It can then be reassigned to another LP capable of providing collateral, or it may trigger the unstaking process to commence the withdrawal of tokens from the PoS scheme and return them to the network 121212Note that if ΔLeX~iΔsubscriptsuperscript𝐿superscript~𝑋𝑖𝑒\Delta L^{\tilde{X}^{i}}_{e}roman_Δ italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is a positive value this does not necessarily assume that the system will extend new loans in that epoch, based on the staking dynamics of the implementing blockchain the extension of new loans in PoEL protocol might be subject to frequency constraints.. Here, ρeX~isubscriptsuperscript𝜌superscript~𝑋𝑖𝑒\rho^{\tilde{X}^{i}}_{e}italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT represents the collateralisation rate of a specific asset.

Essentially, this reward distribution mechanism aims to harmonise individual risk management policies with their respective objectives. It is important to note that the protocol mitigates credit risk by controlling not only the collateral but also the loaned tokens allocated because the borrowed tokens are never accessible to the borrowers.

Finally, rewards are optimally allocated to the different LP token reserves and can be withdrawn by the LPs with the LP tokens.

4.1 Operational Integrity

Operationally, LPs deposit LP tokens in LP token reserves, which are subsequently delegated to validators in the form of a loan, thereby promoting PoEL’s objective to use liquidity submitted in liquidity pools to secure the network. However, this has to be achieved in a manner where the interests of the protocol are aligned with those of its agents.

This alignment is achieved as follows:

  • Validator Due Diligence: The protocol incentivises LPs to conduct their due diligence before selecting the validator as a prospective candidate for the delegation of their assets. One method of achieving this is by slashing the collateral of LPs who delegate to misbehaving validators. If penalised, on a ceteris paribus basis, the change of the total lent amount of the native staking token delegated to a particular validator v𝑣vitalic_v (ΔLevΔsubscript𝐿subscript𝑒𝑣\Delta L_{e_{v}}roman_Δ italic_L start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT) can be calculated as follows:

    ΔLev=Le1v(1ϖe),Δsubscript𝐿subscript𝑒𝑣subscript𝐿𝑒subscript1𝑣1subscriptitalic-ϖ𝑒\Delta L_{e_{v}}=L_{{e-1}_{v}}\cdot(1-\varpi_{e}),roman_Δ italic_L start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_L start_POSTSUBSCRIPT italic_e - 1 start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⋅ ( 1 - italic_ϖ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) ,(15)

    where ϖesubscriptitalic-ϖ𝑒\varpi_{e}italic_ϖ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the slashing rate regulated by the adopting network’s PoS mechanism, or set independently as a parameter in PoEL; and Le1vsubscript𝐿𝑒subscript1𝑣L_{{e-1}_{v}}italic_L start_POSTSUBSCRIPT italic_e - 1 start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT represents the loaned amount of native staking tokens delegated to v-th validator in the previous epoch. On a ceteris paribus basis, once slashed, an LP token reserve balance (SevX~isubscriptsuperscript𝑆superscript~𝑋𝑖subscript𝑒𝑣S^{\tilde{X}^{i}}_{e_{v}}italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT) would change as follows:

    SevX~i=Se1vX~iSe1vX~iPeX~ij=1gSe1vjPejΔLevPeX~i,subscriptsuperscript𝑆superscript~𝑋𝑖subscript𝑒𝑣subscriptsuperscript𝑆superscript~𝑋𝑖𝑒subscript1𝑣subscriptsuperscript𝑆superscript~𝑋𝑖𝑒subscript1𝑣subscriptsuperscript𝑃superscript~𝑋𝑖𝑒subscriptsuperscript𝑔𝑗1subscriptsuperscript𝑆𝑗𝑒subscript1𝑣subscriptsuperscript𝑃𝑗𝑒Δsubscript𝐿subscript𝑒𝑣subscriptsuperscript𝑃superscript~𝑋𝑖𝑒S^{{\tilde{X}^{i}}}_{e_{v}}=S^{{\tilde{X}^{i}}}_{{e-1}_{v}}-\frac{\frac{S^{%\tilde{X}^{i}}_{{e-1}_{v}}\cdot P^{\tilde{X}^{i}}_{e}}{\sum^{g}_{j=1}S^{j}_{{e%-1}_{v}}\cdot P^{j}_{e}}\cdot\Delta L_{e_{v}}}{{P^{\tilde{X}^{i}}_{e}}},italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e - 1 start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT - divide start_ARG divide start_ARG italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e - 1 start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⋅ italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUPERSCRIPT italic_g end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e - 1 start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT ⋅ italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG ⋅ roman_Δ italic_L start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG ,(16)

    where g𝕀+𝑔superscript𝕀g\in\mathop{\mathbb{I}}^{+}italic_g ∈ blackboard_I start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is the highest index of LP tokens submitted to the LP token reserve that are mapped to validator v𝑣vitalic_v’s address (the subject of slashing); and PeX~isubscriptsuperscript𝑃superscript~𝑋𝑖𝑒P^{{\tilde{X}}^{i}}_{e}italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the price of the LP token X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT in e-th epoch.

    Slashing thus serves as a deterrent against LPs who might strategically delegate to malicious validators, possibly intending to compromise network quality, or among other effects, cause a depreciation in the price of the network’s native staking token.

  • Liveness: The network might stall if a sufficient number of validators breach the core principle of minimum staking requirement, leading to their ejection, which if happening concurrently (or cascadingly) could pose a risk to the network’s liveness (Risk 3). This issue must be systematically addressed while considering the unique design and economic characteristics of each adopting blockchain network. We seek to accomplish this by quantifying a ceiling of the amount of loaned native staking tokens that are available to be delegated to validators, whilst considering:

    • Minimum viable number of nodes required for the adopting blockchain network to remain operational.

    • Minimum staking requirement enforced in the adopting blockchain network.

    Additionally, a range of other network-specific factors must be considered. These are generally incorporated into a function used to quantify the loanable ceiling (Cevsubscript𝐶subscript𝑒𝑣C_{e_{v}}italic_C start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT) for each validator, ensuring that CevLevsubscript𝐶subscript𝑒𝑣subscript𝐿subscript𝑒𝑣C_{e_{v}}\geq L_{e_{v}}italic_C start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≥ italic_L start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT.

  • Diversification: PoEL incentivises diversification of assets comprising the collateral base, to manage the resulting impact of volatility stemming from assets locked in the network. In essence, if the asset base had n-many different assets131313Under the presumption that the underlying multivariate distribution characterising the basket of assets maintains the relevance and applicability of the covariance matrix., then the following can be written for the portfolio-level variance.

    σp2=b=1nj=1nwbwjρb,jσbσj,subscriptsuperscript𝜎2𝑝superscriptsubscript𝑏1𝑛superscriptsubscript𝑗1𝑛subscript𝑤𝑏subscript𝑤𝑗subscript𝜌𝑏𝑗subscript𝜎𝑏subscript𝜎𝑗\sigma^{2}_{p}=\sum_{b=1}^{n}\sum_{j=1}^{n}w_{b}\cdot w_{j}\cdot\rho_{b,j}%\cdot\sigma_{b}\cdot\sigma_{j},italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_b = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ⋅ italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ⋅ italic_ρ start_POSTSUBSCRIPT italic_b , italic_j end_POSTSUBSCRIPT ⋅ italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ⋅ italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ,(17)

    where σbsubscript𝜎𝑏\sigma_{b}italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT and σjsubscript𝜎𝑗\sigma_{j}italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT are individual asset volatility, ρb,jsubscript𝜌𝑏𝑗\rho_{b,j}italic_ρ start_POSTSUBSCRIPT italic_b , italic_j end_POSTSUBSCRIPT is the correlation coefficient between two assets, σp2subscriptsuperscript𝜎2𝑝\sigma^{2}_{p}italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is the portfolio variance, wbsubscript𝑤𝑏w_{b}italic_w start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT and wjsubscript𝑤𝑗w_{j}italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT are asset-specific weights.

  • Tenure: PoEL incentivises LPs to lock their assets in a CDA for a longer period, to effectively help smooth out the value of the locked assets, thereby, promoting the long-term participation of LPs and stabilising the system.

In the forthcoming sections, we elaborate on some of the some of the levers used to assert the network’s operational integrity.

4.1.1 Dynamic Collaterisation Rate

The protocol quantifies collateral, which is the amount of an asset that must be staked by LPs to gain access to borrowed native staking tokens to perform work themselves, or delegate it to another validator. To ensure that despite evolving dynamics, the protocol’s state is either at, or always progressing towards meeting its risk-conscious economic objectives, the collateralisation rate is quantified dynamically for individual assets. This rate is dynamically adjusted in keeping with the following objectives, which are continuously tested individually, with resulting changes that are required applied cumulatively.

  • Qualification: A decentralised governance mechanism may be used to enforce a list of criteria, e.g. minimum liquidity, maximum volatility, decentralisation, etc., that must be satisfied before an asset is admissible to the universe acceptable as collateral.

  • Risk hom*ogenisation: We standardise the varying quality of assets provided by LPs as collateral, enabling the protocol to hom*ogenise the risk-adjusted desirability of an asset, leading to the following condition to be held:

    ρX~i(ξX~iξ¯)yy>0proportional-tosuperscript𝜌superscript~𝑋𝑖superscriptsuperscript𝜉superscript~𝑋𝑖¯𝜉𝑦for-all𝑦0\rho^{\tilde{X}^{i}}\propto(\xi^{\tilde{X}^{i}}-\bar{\xi})^{y}\forall y>0italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ∝ ( italic_ξ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT - over¯ start_ARG italic_ξ end_ARG ) start_POSTSUPERSCRIPT italic_y end_POSTSUPERSCRIPT ∀ italic_y > 0(18)

    where ξ𝜉\xiitalic_ξ represents an abstraction of all measures of asset-specific risk; and ξ¯¯𝜉\bar{\xi}over¯ start_ARG italic_ξ end_ARG is the representative risk of all assets in the basket, say the median or mean.

  • Diversification: The quality of collateral is crucial, yet the pursuit of specific assets must be weighed against diversification to mitigate both known and unknown risks. We calculate the collateralisation rate for an asset (ρeX~isubscriptsuperscript𝜌superscript~𝑋𝑖𝑒\rho^{{\tilde{X}}^{i}}_{e}italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) as follows:

    ρeX~i=ρmin+ΔρeX~i,subscriptsuperscript𝜌superscript~𝑋𝑖𝑒subscript𝜌𝑚𝑖𝑛Δsubscriptsuperscript𝜌superscript~𝑋𝑖𝑒\rho^{\tilde{X}^{i}}_{e}=\rho_{min}+\Delta\rho^{\tilde{X}^{i}}_{e},italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_ρ start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT + roman_Δ italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ,(19)

    where ρminsubscript𝜌𝑚𝑖𝑛\rho_{min}italic_ρ start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT is the minimum collateralisation rate, and ΔρeX~iΔsubscriptsuperscript𝜌superscript~𝑋𝑖𝑒\Delta\rho^{{\tilde{X}}^{i}}_{e}roman_Δ italic_ρ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT can be calculated as:

    ΔρeX~iΔsuperscriptsubscript𝜌𝑒superscript~𝑋𝑖\displaystyle\Delta\rho_{e}^{\tilde{X}^{i}}roman_Δ italic_ρ start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT=ηeX~i(e(χ+bsign(weX~iweX~iweX~i))|weX~iweX~iweX~i|1),absentsubscriptsuperscript𝜂superscript~𝑋𝑖𝑒superscript𝑒𝜒𝑏signsubscriptsuperscript𝑤superscript~𝑋𝑖𝑒subscriptsuperscript𝑤superscript~𝑋𝑖𝑒subscriptsuperscript𝑤superscript~𝑋𝑖𝑒subscriptsuperscript𝑤superscript~𝑋𝑖𝑒subscriptsuperscript𝑤superscript~𝑋𝑖𝑒subscriptsuperscript𝑤superscript~𝑋𝑖𝑒1\displaystyle=\eta^{\tilde{X}^{i}}_{e}\cdot\left(e^{\left(\chi+b\cdot\text{%sign}\left(\frac{w^{\tilde{X}^{i}}_{e}-w^{\tilde{X}^{i\ast}}_{e}}{w^{\tilde{X}%^{i\ast}}_{e}}\right)\right)\cdot\left|\frac{w^{\tilde{X}^{i}}_{e}-w^{\tilde{X%}^{i\ast}}_{e}}{w^{\tilde{X}^{i\ast}}_{e}}\right|}-1\right),= italic_η start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ ( italic_e start_POSTSUPERSCRIPT ( italic_χ + italic_b ⋅ sign ( divide start_ARG italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG ) ) ⋅ | divide start_ARG italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG | end_POSTSUPERSCRIPT - 1 ) ,χb.𝜒𝑏\displaystyle\chi\geq b.italic_χ ≥ italic_b .(20)

    Here, ηeX~isubscriptsuperscript𝜂superscript~𝑋𝑖𝑒\eta^{\tilde{X}^{i}}_{e}italic_η start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT specific risk scaling factor in the e-th epoch, which seeks to control the tradeoff between the deviation of an asset’s weight in the asset-basket (risk) from the target rate141414For simplicity, the risk scaling factor would be initially set to be the same for all assets, i.e. ηeX~i=ηeX~,isubscriptsuperscript𝜂superscript~𝑋𝑖𝑒subscript𝜂𝑒for-all~𝑋𝑖\eta^{\tilde{X}^{i}}_{e}=\eta_{e}\forall\tilde{X},iitalic_η start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_η start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∀ over~ start_ARG italic_X end_ARG , italic_i.; χ𝜒\chiitalic_χ adjusts sensitivity to weight deviations from targets by determining the steepness of the exponential curve, allows for control over how expediently the collateralisation rate responds to changes in asset weights; b𝑏bitalic_b adjusts the steepness of the curve dependent on whether there is positive or negative deviation, intended to compel expedient action of asset providers; weX~isubscriptsuperscript𝑤superscript~𝑋superscript𝑖𝑒w^{\tilde{X}^{i^{\ast}}}_{e}italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT represents target weights of asset X~i0superscript~𝑋𝑖0\tilde{X}^{i}\neq 0over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≠ 0151515wtX~i=0subscriptsuperscript𝑤superscript~𝑋superscript𝑖𝑡0w^{\tilde{X}^{i^{\ast}}}_{t}=0italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = 0 would mean that an asset cannot be admitted as collateral.; and weX~isubscriptsuperscript𝑤superscript~𝑋𝑖𝑒{w^{{\tilde{X}}^{i}}_{e}}italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT represents the weight of the asset in the basket in e-th epoch. This approach means that an excess or deficit of a specific asset influences the collateralisation rate. Specifically note that for all practical purposes χ=b𝜒𝑏\chi=bitalic_χ = italic_b, assuming that security considerations mean that system parameters cannot be changed as frequently.

    Explicitly, it should be observed that the exponential function within the expression encapsulates a non-linear reaction to deviations in weight, which is suitably contingent upon both the magnitude and direction of the divergence of weights from the predefined target.

    Now, the target asset-specific mix weX~i+subscriptsuperscript𝑤superscript~𝑋superscript𝑖𝑒superscriptw^{\tilde{X}^{i^{\ast}}}_{e}\in\mathop{\mathbb{R}}^{+}italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is set off-chain using the following optimisation problem:

    Minimise𝐰bjwbwjσbσjρbj,superscript𝐰Minimisesubscript𝑏subscript𝑗subscript𝑤𝑏subscript𝑤𝑗subscript𝜎𝑏subscript𝜎𝑗subscript𝜌𝑏𝑗\underset{\mathbf{w^{\ast}}}{\text{Minimise}}\sum_{b}\sum_{j}w_{b}w_{j}\sigma_%{b}\sigma_{j}\rho_{bj},start_UNDERACCENT bold_w start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_UNDERACCENT start_ARG Minimise end_ARG ∑ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ∑ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT italic_b italic_j end_POSTSUBSCRIPT ,

    subject to,

    wNSTwNSTsubscript𝑤𝑁𝑆𝑇superscriptsubscript𝑤𝑁𝑆𝑇w_{NST}\geq w_{NST}^{\ast}italic_w start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT ≥ italic_w start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT
    σbNSTσ,subscript𝜎𝑏𝑁𝑆𝑇𝜎\sigma_{b\neq NST}\leq\lceil\sigma\rceil,italic_σ start_POSTSUBSCRIPT italic_b ≠ italic_N italic_S italic_T end_POSTSUBSCRIPT ≤ ⌈ italic_σ ⌉ ,
    11CIVaRrp𝑑F(rp)ES,11𝐶𝐼superscriptsubscript𝑉𝑎𝑅subscript𝑟𝑝differential-d𝐹subscript𝑟𝑝𝐸superscript𝑆\frac{1}{1-CI}\int_{-\infty}^{VaR}r_{p}\cdot dF(r_{p})\leq ES^{\ast},divide start_ARG 1 end_ARG start_ARG 1 - italic_C italic_I end_ARG ∫ start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_V italic_a italic_R end_POSTSUPERSCRIPT italic_r start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ⋅ italic_d italic_F ( italic_r start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ) ≤ italic_E italic_S start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ,

    where 𝐰superscript𝐰\mathbf{w^{\ast}}bold_w start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT represents the target weights of different assets in the portfolio; σi+subscript𝜎𝑖superscript\sigma_{i}\in\mathop{\mathbb{R}}^{+}italic_σ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT and ES+𝐸superscript𝑆superscriptES^{\ast}\in\mathop{\mathbb{R}}^{+}italic_E italic_S start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is variance of an individual asset with weight w𝑤witalic_w and expected shortfall limits of the overall asset mix of the portfolio161616This model posits that by imposing a constraint on the expected shortfall of the asset portfolio, the PoEL protocol can effectively minimise financial risks associated with systemic vulnerabilities, such as sudden and significant asset price declines., respectively; σ𝜎\lceil\sigma\rceil⌈ italic_σ ⌉ represents the pre-defined ceiling on the volatility of collateral portfolio; F(R)𝐹𝑅F(R)italic_F ( italic_R ) is the cumulative distribution of returns (rp=j=1nwjrjsubscript𝑟𝑝superscriptsubscript𝑗1𝑛subscript𝑤𝑗subscript𝑟𝑗r_{p}=\sum_{j=1}^{n}w_{j}r_{j}italic_r start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT) of assets comprising the portfolio; CI𝐶𝐼CIitalic_C italic_I is the confidence level; VaR𝑉𝑎𝑅VaRitalic_V italic_a italic_R represents the value at risk; and wNST+subscriptsuperscript𝑤𝑁𝑆𝑇superscriptw^{\ast}_{NST}\in\mathop{\mathbb{R}}^{+}italic_w start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is the target weight allocated to the native staking token in the asset basket, based on the capital staked by capital providers directly in the native staking token, excluding the native staking token that has been borrowed by LPs.

    This problem is comprised of quadratic objectives (portfolio variance) and linear and non-linear constraints (weight and risk constraints). Whilst a standard Quadratic Programming solver could have efficiently tackled a convex optimisation problem comprised of a quadratic objective function and linear constraints, the presence of non-linear constraint in the expected shortfall and inherent uncertainty in variables involved in the optimisation statement, a Stochastic Programming solver would be pertinent, as naturally if there wasn’t any inherent uncertainty, a Conic Optimisation solver could have also sufficed. We only briefly state these alternatives, as the precise methodology to be adopted for solving this off-chain is beyond the scope of this work.

  • Unstaking Time: The unstaking time, as defined previously, is implemented as a security measure in PoS blockchain networks, but can expose the PoEL protocol to Risk 2, i.e. if the length of an epoch is shorter than the unstaking time, an adverse shift in asset price may lead to a scenario where Le>j=1gSejPejsubscript𝐿𝑒subscriptsuperscript𝑔𝑗1subscriptsuperscript𝑆𝑗𝑒subscriptsuperscript𝑃𝑗𝑒L_{e}>\sum^{g}_{j=1}S^{j}_{e}\cdot P^{j}_{e}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT > ∑ start_POSTSUPERSCRIPT italic_g end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_P start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, which is even applicable if the ownership of the loaned NSTs transfers from the user to the protocol. Since this risk cannot be directly mitigated, we seek to manage the impact if this risk were to emerge, through an upper bound on the variance of the portfolio of assets that are accepted as collateral in the system.

  • Operational Robustness: To avoid scenarios where an agent attempts to borrow a significant enough portion of the native staking token to attempt a stake centralisation attack, we seek to enforce a maximum threshold loaned ownership of native staking tokens by LPs. This is achieved by asserting that the weight of native staking tokens directly staked in the PoS (not borrowed from the network) is not below a particular threshold on the loaned asset, i.e.

    wNST=1LeTotal staked capital in the native staking tokenewNSTsubscript𝑤𝑁𝑆𝑇1subscript𝐿𝑒subscriptTotal staked capital in the native staking token𝑒subscriptsuperscript𝑤𝑁𝑆𝑇w_{NST}=1-\frac{L_{e}}{\text{Total staked capital in the native staking token}%_{e}}\geq w^{\ast}_{NST}italic_w start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT = 1 - divide start_ARG italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG Total staked capital in the native staking token start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG ≥ italic_w start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT

    This ensures that the PoEL protocol maximally mitigates Risk 5, and this threshold weight could be used to quantify the amount of native staking tokens which can be borrowed in any epoch(𝒯esubscript𝒯𝑒\mathcal{T}_{e}caligraphic_T start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT), as follows:

    𝒯e=Total staked capital in the native staking tokene(1wNST)subscript𝒯𝑒subscriptTotal staked capital in the native staking token𝑒1subscriptsuperscript𝑤𝑁𝑆𝑇\mathcal{T}_{e}=\text{Total staked capital in the native staking token}_{e}%\cdot(1-w^{\ast}_{NST})caligraphic_T start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = Total staked capital in the native staking token start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ ( 1 - italic_w start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT )

In essence, the dynamic collateralisation rate requiring a higher (or lower) collateral amount on a relative basis to another asset, imposes an opportunity cost on the LP seeking to borrow native staking tokens, thereby, enabling the PoEL protocol to meet its stated risk diversification objective.

To ensure that the system fulfils the operational robustness objective described above, the collaterisation rate needs to dynamically change to accommodate the threshold 𝒯esubscript𝒯𝑒\mathcal{T}_{e}caligraphic_T start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT. As such, we now consider the dynamics of the system when the collateral is comprised of three assets, say, X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT, Z~isuperscript~𝑍𝑖\tilde{Z}^{i}over~ start_ARG italic_Z end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT and Y~isuperscript~𝑌𝑖\tilde{Y}^{i}over~ start_ARG italic_Y end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT, such that the amount of borrowed tokens can be calculated as follows:

Le=h{X~i,Y~i,Z~i}SehPehρeh.subscript𝐿𝑒subscriptsuperscript~𝑋𝑖superscript~𝑌𝑖superscript~𝑍𝑖subscriptsuperscript𝑆𝑒subscriptsuperscript𝑃𝑒subscriptsuperscript𝜌𝑒L_{e}=\sum_{h\in\{\tilde{X}^{i},\tilde{Y}^{i},\tilde{Z}^{i}\}}\frac{S^{h}_{e}%\cdot P^{h}_{e}}{\rho^{h}_{e}}.italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_h ∈ { over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Y end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Z end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT } end_POSTSUBSCRIPT divide start_ARG italic_S start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_P start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG .(21)

If the user continues to add more assets to the LP token reserves, or if the price of an asset increases, the amount of the loaned native staking token could exceed the maximum threshold 𝒯esubscript𝒯𝑒\mathcal{T}_{e}caligraphic_T start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT. For such cases, we introduce the variable m𝑚mitalic_m, which is applied as a multiplier to the collateralisation rate, aiming to increase the collateralisation rate of all assets to a point that would ensure the total borrowed amount Lesubscript𝐿𝑒L_{e}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT does not exceed the predefined threshold Tesubscript𝑇𝑒T_{e}italic_T start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT.

h{X~i,Y~i,Z~i}SehPehρehm=𝒯.subscriptsuperscript~𝑋𝑖superscript~𝑌𝑖superscript~𝑍𝑖subscriptsuperscript𝑆𝑒subscriptsuperscript𝑃𝑒subscriptsuperscript𝜌𝑒𝑚𝒯\sum_{h\in\{\tilde{X}^{i},\tilde{Y}^{i},\tilde{Z}^{i}\}}\frac{S^{h}_{e}\cdot P%^{h}_{e}}{\rho^{h}_{e}\cdot m}=\mathcal{T}.∑ start_POSTSUBSCRIPT italic_h ∈ { over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Y end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Z end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT } end_POSTSUBSCRIPT divide start_ARG italic_S start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_P start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_m end_ARG = caligraphic_T .(22)

We can now rearrange the preceding equation to calculate m𝑚mitalic_m, as follows:

m=h,j,k{X~i,Y~i,Z~i},hjkSehρejρekPehh{X~i,Y~i,Z~i}ρeh𝒯𝑚subscriptformulae-sequence𝑗𝑘superscript~𝑋𝑖superscript~𝑌𝑖superscript~𝑍𝑖𝑗𝑘subscriptsuperscript𝑆𝑒subscriptsuperscript𝜌𝑗𝑒subscriptsuperscript𝜌𝑘𝑒subscriptsuperscript𝑃𝑒subscriptproductsuperscript~𝑋𝑖superscript~𝑌𝑖superscript~𝑍𝑖subscriptsuperscript𝜌𝑒𝒯m=\frac{\sum_{h,j,k\in\{\tilde{X}^{i},\tilde{Y}^{i},\tilde{Z}^{i}\},h\neq j%\neq k}S^{h}_{e}\cdot\rho^{j}_{e}\cdot\rho^{k}_{e}\cdot P^{h}_{e}}{\prod_{h\in%\{\tilde{X}^{i},\tilde{Y}^{i},\tilde{Z}^{i}\}}\rho^{h}_{e}\cdot\mathcal{T}}italic_m = divide start_ARG ∑ start_POSTSUBSCRIPT italic_h , italic_j , italic_k ∈ { over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Y end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Z end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT } , italic_h ≠ italic_j ≠ italic_k end_POSTSUBSCRIPT italic_S start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_ρ start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_ρ start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_P start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG ∏ start_POSTSUBSCRIPT italic_h ∈ { over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Y end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT , over~ start_ARG italic_Z end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT } end_POSTSUBSCRIPT italic_ρ start_POSTSUPERSCRIPT italic_h end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ caligraphic_T end_ARG(23)

4.1.2 Locking Time

The PoEL protocol allows LPs to choose the duration for which they wish to lock their assets in LP token reserves, a period henceforth referred to as the locking time. Concurrently, it provides incentives to encourage sticky capital, thereby promoting the network’s economic security and stability. This is accomplished through the specified incentive for Target 1, where the final reward received by an LP/borrower l𝑙litalic_l in epoch e𝑒eitalic_e is determined by a function, which we reiterate below:

Rel=Relmin+RelmaxRelmin(1+ek(elemidl))νsuperscriptsubscript𝑅𝑒𝑙superscriptsubscript𝑅𝑒superscript𝑙superscriptsubscript𝑅𝑒superscript𝑙superscriptsubscript𝑅𝑒superscript𝑙superscript1superscript𝑒𝑘superscript𝑒𝑙superscriptsubscript𝑒mid𝑙𝜈R_{e}^{l}=R_{e}^{l^{\min}}+\frac{R_{e}^{l^{\max}}-R_{e}^{l^{\min}}}{(1+e^{-k(e%^{l}-e_{\text{mid}}^{l})})^{\nu}}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT = italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT + divide start_ARG italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT - italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + italic_e start_POSTSUPERSCRIPT - italic_k ( italic_e start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT - italic_e start_POSTSUBSCRIPT mid end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT end_ARG(24)

where elsuperscript𝑒𝑙e^{l}italic_e start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT represents the number of epochs for which l-th LP’s capital is locked, Relsuperscriptsubscript𝑅𝑒𝑙R_{e}^{l}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT represents the associated incentive, Relmaxsuperscriptsubscript𝑅𝑒superscript𝑙R_{e}^{l^{\max}}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT represents the maximum incentive available to distribute to a particular LP at a particular epoch, Relminsuperscriptsubscript𝑅𝑒superscript𝑙R_{e}^{l^{\min}}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_min end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT is the minimum incentive (a portion of Relmaxsubscriptsuperscript𝑅superscript𝑙𝑒R^{l^{\max}}_{e}italic_R start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT), k𝑘kitalic_k is a scaling factor that adjusts the steepness of the sigmoid curve, emidsubscript𝑒mide_{\text{mid}}italic_e start_POSTSUBSCRIPT mid end_POSTSUBSCRIPT is a mid-point value around which the transition from the minimum to maximum incentive starts to become significant, and ν𝜈\nuitalic_ν is a new parameter that adjusts the curve’s shape, providing additional control over how rapidly the incentive increases as the locking time approaches and surpasses mid-point.

The maximum reward itself (Relmaxsubscriptsuperscript𝑅superscript𝑙𝑒R^{l^{\max}}_{e}italic_R start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) is computed as follows:

Relmax=StakingRewardsDistributedInterestChargedsubscriptsuperscript𝑅superscript𝑙𝑒StakingRewardsDistributedInterestChargedR^{l^{\max}}_{e}=\text{StakingRewardsDistributed}-\text{InterestCharged}italic_R start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = StakingRewardsDistributed - InterestCharged(25)

Having discussed operational aspects, we now discuss how staking rewards and interest rates are used to achieve the protocol’s objectives.

4.2 Financial Management

To assert the adopting network’s objectives, encourage a risk-aware choice for LPs, and optimally use the budgeted incentives allocated to attract liquidity, the protocol complements income generated from CDA-specific fees with the allocation of preferential rewards (generated from securing the network) and variable lending fees. This approach results in a combination of risks and rewards (preferential incentives) which aid the PoEL protocol in achieving its stated objectives.

4.2.1 Dynamic Reward Allocation

Rewards are accumulated for LPs who delegate their capital to validators, thus enabling them to meet staking requirements and assert the economic security of the network. These rewards are kept in a combined reward pool, as shown in Fig.2. The pool’s resources, reflecting its health, finance the preferential incentive budget. This budget is carefully distributed to support the protocol’s objectives, notably Target 3, which focuses on enhancing capital efficiency and fostering user adoption. The allocation of this budget for preferential incentives in each epoch is determined by the following optimisation problem, which we aim to solve using smart contracts by tracing user on-chain behaviour:

Maximise𝐑1:ϵi𝔼[E1:ϵi(𝐑1:ϵi)]subscriptsuperscript𝐑𝑖:1italic-ϵ𝑀𝑎𝑥𝑖𝑚𝑖𝑠𝑒𝔼delimited-[]subscriptsuperscript𝐸𝑖:1italic-ϵsubscriptsuperscript𝐑𝑖:1italic-ϵ\displaystyle\underset{\mathbf{R}^{i}_{1:\epsilon}}{Maximise}\mathop{\mathbb{E%}}[E^{i}_{1:\epsilon}(\mathbf{R}^{i}_{1:\epsilon})]start_UNDERACCENT bold_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_ϵ end_POSTSUBSCRIPT end_UNDERACCENT start_ARG italic_M italic_a italic_x italic_i italic_m italic_i italic_s italic_e end_ARG blackboard_E [ italic_E start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_ϵ end_POSTSUBSCRIPT ( bold_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_ϵ end_POSTSUBSCRIPT ) ](26)
s.t.
RmineiReiRPeando=1ϵRoi=o=1ϵSRosubscriptsuperscript𝑅𝑖𝑚𝑖subscript𝑛𝑒subscriptsuperscript𝑅𝑖𝑒𝑅subscript𝑃𝑒andsubscriptsuperscriptitalic-ϵ𝑜1subscriptsuperscript𝑅𝑖𝑜subscriptsuperscriptitalic-ϵ𝑜1𝑆subscript𝑅𝑜\displaystyle R^{i}_{{min}_{e}}\leq R^{i}_{e}\leq RP_{e}\>\text{and}\>\sum^{%\epsilon}_{o=1}R^{i}_{o}=\sum^{\epsilon}_{o=1}SR_{o}italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m italic_i italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≤ italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≤ italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT and ∑ start_POSTSUPERSCRIPT italic_ϵ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o = 1 end_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT = ∑ start_POSTSUPERSCRIPT italic_ϵ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o = 1 end_POSTSUBSCRIPT italic_S italic_R start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT

where E1:ϵisubscriptsuperscript𝐸𝑖:1italic-ϵE^{i}_{1:\epsilon}italic_E start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_ϵ end_POSTSUBSCRIPT is the capital efficiency of i-th CDA 171717The described mechanism assumes that only a single CDA is involved in the PoEL program in any epoch, and the system does aim to optimise the reward distribution between different CDAs., which is defined below; RPe𝑅subscript𝑃𝑒RP_{e}italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the size of the reward pool 181818The size of the reward pool could be calculated based on total earned staking rewards from PoS for the borrowed native staking token and distributed rewards to LPs RPe=o=1eSRoo=1eRo1i𝑅subscript𝑃𝑒subscriptsuperscript𝑒𝑜1𝑆subscript𝑅𝑜subscriptsuperscript𝑒𝑜1subscriptsuperscript𝑅𝑖𝑜1RP_{e}=\sum^{e}_{o=1}SR_{o}-\sum^{e}_{o=1}R^{i}_{o-1}italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = ∑ start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o = 1 end_POSTSUBSCRIPT italic_S italic_R start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT - ∑ start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o = 1 end_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_o - 1 end_POSTSUBSCRIPT; Rmineisubscriptsuperscript𝑅𝑖𝑚𝑖subscript𝑛𝑒R^{i}_{{min}_{e}}italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m italic_i italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT is the minimum staking reward that needs to be distributed in the epoch e𝑒eitalic_e as part of the liquidity bootstrapping program and is based on a system parameter; ϵitalic-ϵ\epsilonitalic_ϵ is the maximum number of epochs for which the liquidity mining program is operational191919The period for which the incentive programme is operational may be longer than the period during which staking rewards are distributed to the reward pool, i.e., ϵΩitalic-ϵΩ\epsilon\geq\Omegaitalic_ϵ ≥ roman_Ω, where ΩΩ\Omegaroman_Ω is the number of epochs during which there is a distribution of the staking rewards to the reward pool. In other words, this is intended to reiterate that the duration of the incentive programme is distinct from the duration for which borrowed NSTs could be staked in the network, i.e., the system will continue distributing rewards from the pool to LPs as long as RPe0𝑅subscript𝑃𝑒0RP_{e}\geq 0italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≥ 0, even after the end of the staking reward distribution period; 𝐑1:ϵi={R1i,R2i,,Rϵi}subscriptsuperscript𝐑𝑖:1italic-ϵsubscriptsuperscript𝑅𝑖1subscriptsuperscript𝑅𝑖2subscriptsuperscript𝑅𝑖italic-ϵ\mathbf{R}^{i}_{1:\epsilon}=\{R^{i}_{1},R^{i}_{2},\dots,R^{i}_{\epsilon}\}bold_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_ϵ end_POSTSUBSCRIPT = { italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , … , italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ϵ end_POSTSUBSCRIPT } is a vector of total reward budget distributed to LPs in a particular CDA across epochs; and SRe[0,)]SR_{e}\in[0,\infty)]italic_S italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ [ 0 , ∞ ) ] is the total staking reward earned and distributed to reward pool for borrowed native staking tokens.

Now, to enable us to track the efficiency of any rewards distributed to attract liquidity, we introduce a new measure - Capital Efficiency Rate.

Definition 6 (Capital Efficiency Rate)

The capital efficiency rate for a specific CDA measures the proportion of capital submitted by LPs as operating capital to liquidity pools of a CDA, which has been utilised by the user, and quantified as follows:

Eei=max(LPeieiLPei,0)subscriptsuperscript𝐸𝑖𝑒𝑚𝑎𝑥subscriptsuperscript𝑖𝐿subscript𝑃𝑒subscriptsuperscript𝑖𝑒subscriptsuperscript𝑖𝐿subscript𝑃𝑒0E^{i}_{e}=max(\frac{\mathcal{L}^{i}_{LP_{e}}-\mathcal{L}^{i}_{e}}{\mathcal{L}^%{i}_{LP_{e}}},0)italic_E start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_m italic_a italic_x ( divide start_ARG caligraphic_L start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT - caligraphic_L start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG caligraphic_L start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG , 0 )(27)

where ei[0,)superscriptsubscript𝑒𝑖0\mathcal{L}_{e}^{i}\in[0,\infty)caligraphic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ∈ [ 0 , ∞ ) is the (nominal) capital available in the participating202020For simplicity, we assume that all liquidity pools of a CDA are participating in the PoEL incentivisation program. liquidity pools of i-th CDA in e-th epoch; and LPei+subscriptsuperscript𝑖𝐿subscript𝑃𝑒superscript\mathcal{L}^{i}_{LP_{e}}\in\mathop{\mathbb{R}}^{+}caligraphic_L start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT represents the (nominal) LP capital in e-th epoch, which has been deposited in the pools.

An alternative definition of the preceding measure can be calculated to measure the productivity of distributed rewards for the fees that those rewards generate, i.e. Eei=FeiReisubscriptsuperscript𝐸𝑖𝑒subscriptsuperscript𝐹𝑖𝑒subscriptsuperscript𝑅𝑖𝑒E^{i}_{e}=\frac{F^{i}_{e}}{R^{i}_{e}}italic_E start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = divide start_ARG italic_F start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG, where the Feisubscriptsuperscript𝐹𝑖𝑒F^{i}_{e}italic_F start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the fees earned in nominal terms during the epoch by the CDA(as a result of its usage), and Reisubscriptsuperscript𝑅𝑖𝑒R^{i}_{e}italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the rewards distributed with the epoch to LPs of CDA.

Now this measure can be generalised to different DeFi applications, which enables us to measure if a CDA has the potential to be sustainable beyond the period when additional incentives are provided to attract liquidity, which is largely aimed at breaking the interdependent causal loop referenced in the introductory sections. This potential can be measured by its ability to generate a high enough capital efficiency, which will help maximise the financial value of the transactional volume.

Now, since there is a finite amount of budget available (staking rewards accumulated in the reward pool) to distribute as incentives, we front-load incentives to help kick-start the system in its nascent stages, and when it is experiencing high capital efficiency rates - to meet user demand. Therefore, the reward (Reisubscriptsuperscript𝑅𝑖𝑒R^{i}_{e}italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) is quantified as follows:

Rei=min(SRReLei(max(ζ,1Θ(ei,mei,m)c)),RPe),subscriptsuperscript𝑅𝑖𝑒𝑚𝑖𝑛𝑆𝑅subscript𝑅𝑒superscriptsubscript𝐿𝑒𝑖𝑚𝑎𝑥𝜁1Θsuperscriptsubscriptsuperscript𝑖superscript𝑚𝑒superscriptsubscript𝑒𝑖𝑚𝑐𝑅subscript𝑃𝑒R^{i}_{e}=min(SRR_{e}\cdot L_{e}^{i}\cdot(max(\zeta,1-\Theta\cdot(\mathcal{E}^%{i,m^{\ast}}_{e}-\mathcal{E}_{e}^{i,m})^{c})),RP_{e}),italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_m italic_i italic_n ( italic_S italic_R italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ⋅ ( italic_m italic_a italic_x ( italic_ζ , 1 - roman_Θ ⋅ ( caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_c end_POSTSUPERSCRIPT ) ) , italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ) ,(28)

where m𝑚mitalic_m represents the number of epochs over which the moving average of the capital efficiency (i,msuperscript𝑖𝑚\mathcal{E}^{i,m}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT) is calculated; RPe𝑅subscript𝑃𝑒RP_{e}italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the size of epoch-specific reward pool; ei,msubscriptsuperscript𝑖superscript𝑚𝑒\mathcal{E}^{{i,m}^{\ast}}_{e}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the target capital efficiency rate in a window m𝑚mitalic_m; SRRe𝑆𝑅subscript𝑅𝑒SRR_{e}italic_S italic_R italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the staking reward rate of the adopting blockchain in e𝑒eitalic_e-th epoch; ΘΘ\Thetaroman_Θ and cc%20𝑐for-allpercent𝑐20c\forall c\%2\neq 0italic_c ∀ italic_c % 2 ≠ 0 are parameters governing the relationship between the deviation from target capital efficiency rate and the reward distributed; ζ𝜁\zetaitalic_ζ is a parameter which defines the smallest portion of staking rewards that need to be distributed to bootstrap the liquidity of CDA.

We propose an algorithm (Appendix A) to optimise the protocol’s target (moving average) capital efficiency rate (ei,msubscriptsuperscript𝑖superscript𝑚𝑒\mathcal{E}^{{i,m}^{\ast}}_{e}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT), to enhance a CDA’s average capital efficiency. The algorithm tracks changes in the moving average capital efficiency rate over two distinct time windows, m[e1,e2]𝑚subscript𝑒1subscript𝑒2m\in[e_{1},e_{2}]italic_m ∈ [ italic_e start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_e start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ] and n[e3,e4]𝑛subscript𝑒3subscript𝑒4n\in[e_{3},e_{4}]italic_n ∈ [ italic_e start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT , italic_e start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ], where e1>e3subscript𝑒1subscript𝑒3e_{1}>e_{3}italic_e start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > italic_e start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, e2=e4subscript𝑒2subscript𝑒4e_{2}=e_{4}italic_e start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_e start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT, and e4e3>e2e1subscript𝑒4subscript𝑒3subscript𝑒2subscript𝑒1e_{4}-e_{3}>e_{2}-e_{1}italic_e start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT - italic_e start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT > italic_e start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_e start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. The algorithm initiates by setting an initial target capital efficiency rate (0i,msuperscriptsubscript0𝑖superscript𝑚\mathcal{E}_{0}^{{i,m}^{\ast}}caligraphic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT) and defining lengths for the short (m𝑚mitalic_m) and long (n𝑛nitalic_n) time windows. Global parameters, namely ΥΥ\Upsilonroman_Υ regulate the speed of negative adjustments, and ψ𝜓\psiitalic_ψ regulates the speed of positive adjustments. It calculates the first (i,mesuperscript𝑖𝑚𝑒\frac{\partial\mathcal{E}^{i,m}}{\partial e}divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG) and second (2i,me2superscript2superscript𝑖𝑚superscript𝑒2\frac{\partial^{2}\mathcal{E}^{i,m}}{\partial e^{2}}divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG) derivatives of the moving average of capital efficiency rate over last epoch. The decision logic involves increasing or decreasing the target rate (ei,msubscriptsuperscript𝑖superscript𝑚𝑒\mathcal{E}^{{i,m}^{\ast}}_{e}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) based on the direction and acceleration of these derivatives. If both windows’ first derivative indicate an efficiency increase, the target rate decreases; conversely, it increases if there’s a decrease in efficiency. The extent of adjustment is determined by the alignment of the second derivatives in both windows, with full adjustments made when both windows corroborate the acceleration or deceleration of the trend, and reduced adjustments otherwise. The algorithm outputs the adjusted target capital efficiency rate, effectively balancing short-term responsiveness with long-term trend analysis.

The dynamic formulation presented in Algorithm 1 enables the protocol to use a direct measure of the rate of change, as opposed to its lagged and vulnerable (e.g. to whipsawing markets) proxies like the crossover of moving averages. The use of both long and short windows, first and second derivatives, enables the protocol to be more sensitive to short-term trends, but to accomplish it more effectively in the context of historical data. However, note that because we operate in a discrete-time world, where the capital efficiency rate is measured in equally spaced intervals of one epoch we would be required to approximate the first and second derivatives, as follows, for example:

i,meei,me1i,m,superscript𝑖𝑚𝑒subscriptsuperscript𝑖𝑚𝑒superscriptsubscript𝑒1𝑖𝑚\frac{\partial\mathcal{E}^{i,m}}{\partial e}\approx{\mathcal{E}^{i,m}_{e}-%\mathcal{E}_{e-1}^{i,m}},divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG ≈ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - caligraphic_E start_POSTSUBSCRIPT italic_e - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT ,
2i,me2ei,m+e2i,m2e1i,m.superscript2superscript𝑖𝑚superscript𝑒2superscriptsubscript𝑒𝑖𝑚superscriptsubscript𝑒2𝑖𝑚2superscriptsubscript𝑒1𝑖𝑚\frac{\partial^{2}\mathcal{E}^{i,m}}{\partial e^{2}}\approx\mathcal{E}_{e}^{i,%m}+\mathcal{E}_{e-2}^{i,m}-2\mathcal{E}_{e-1}^{i,m}.divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ≈ caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT + caligraphic_E start_POSTSUBSCRIPT italic_e - 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT - 2 caligraphic_E start_POSTSUBSCRIPT italic_e - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT .

4.2.2 Variable Lending Fee

Complementing the dynamic reward allocation scheme presented in the preceding section, the PoEL protocol uses interest rates to enable it to meet its stated objectives. This interest (IeX~isubscriptsuperscript𝐼superscript~𝑋𝑖𝑒I^{\tilde{X}^{i}}_{e}italic_I start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) is calculated as a portion of total rewards distributable to LPs, which is dynamically calculated to optimise the distribution of rewards between different LPs who submitted different LP tokens and thereby to maximise aggregate capital efficiency. This rate is modulated through a smart contract or a combination of on-chain/off-chain trustless computation logic, aiming to solve a single-objective optimisation problem. It is constrained by a reward budget Resubscript𝑅𝑒R_{e}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT for the e𝑒eitalic_e-th epoch, seeking to maximise the total capital efficiency of the i𝑖iitalic_i-th CDA in the e𝑒eitalic_e-th epoch. This efficiency has a monotonic relationship with the fees earned by a CDA.

maximise𝐈eEei(𝐈e)subscript𝐈𝑒𝑚𝑎𝑥𝑖𝑚𝑖𝑠𝑒subscriptsuperscript𝐸𝑖𝑒subscript𝐈𝑒\displaystyle\underset{\mathbf{I}_{e}}{maximise}E^{i}_{e}(\mathbf{I}_{e})start_UNDERACCENT bold_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_UNDERACCENT start_ARG italic_m italic_a italic_x italic_i italic_m italic_i italic_s italic_e end_ARG italic_E start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ( bold_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT )(29)
s.t.
j=1gRejReisubscriptsuperscript𝑔𝑗1subscriptsuperscript𝑅𝑗𝑒subscriptsuperscript𝑅𝑖𝑒\displaystyle\sum^{g}_{j=1}R^{j}_{e}\leq R^{i}_{e}∑ start_POSTSUPERSCRIPT italic_g end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT italic_R start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ≤ italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

where g𝑔gitalic_g is the highest index of LP tokens from different pools of i-th CDA that are submitted to the PoEL protocol; and 𝐈esubscript𝐈𝑒\mathbf{I}_{e}bold_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is a vector of interest rates charged from rewards distributable for staked NST that has been borrowed using different LP tokens as collateral; Rejsubscriptsuperscript𝑅𝑗𝑒R^{j}_{e}italic_R start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT represents the staking rewards distributable to LP token reserves for a staked native staking token that has been borrowed using j𝑗jitalic_j-th asset as collateral. Logically, solving the above optimisation problem necessitates the system to incentivise pools experiencing increased demand, while reducing incentives for less popular pools. Therefore, we now quantify the capital efficiency rate (EeiXsubscriptsuperscript𝐸superscript𝑖𝑋𝑒E^{i^{X}}_{e}italic_E start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) for an asset pool within a CDA:

EeiX=max(LPeiXeiXLPeiX,0),subscriptsuperscript𝐸superscript𝑖𝑋𝑒𝑚𝑎𝑥subscriptsuperscriptsuperscript𝑖𝑋𝐿subscript𝑃𝑒subscriptsuperscriptsuperscript𝑖𝑋𝑒subscriptsuperscriptsuperscript𝑖𝑋𝐿subscript𝑃𝑒0E^{i^{X}}_{e}=max(\frac{\mathcal{L}^{i^{X}}_{{LP}_{e}}-\mathcal{L}^{i^{X}}_{e}%}{\mathcal{L}^{i^{X}}_{LP_{e}}},0),italic_E start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = italic_m italic_a italic_x ( divide start_ARG caligraphic_L start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT - caligraphic_L start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG caligraphic_L start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG , 0 ) ,(30)

where eiXsubscriptsuperscriptsuperscript𝑖𝑋𝑒\mathcal{L}^{i^{X}}_{e}caligraphic_L start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the (capital) liquidity available in asset pool X𝑋Xitalic_X of the CDA i𝑖iitalic_i at the epoch e𝑒eitalic_e; and LPeiXsubscriptsuperscriptsuperscript𝑖𝑋𝐿subscript𝑃𝑒\mathcal{L}^{i^{X}}_{{LP}_{e}}caligraphic_L start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT is the liquidity of the asset X𝑋Xitalic_X in CDA i𝑖iitalic_i that has been submitted by LPs 212121Similar to the alternative definition of the capital efficiency rate provided for CDAs, an alternative definition of the same measure for a particular asset pool is: EeiX=FeiXReX~isubscriptsuperscript𝐸superscript𝑖𝑋𝑒subscriptsuperscript𝐹superscript𝑖𝑋𝑒subscriptsuperscript𝑅superscript~𝑋𝑖𝑒E^{i^{X}}_{e}=\frac{F^{i^{X}}_{e}}{R^{\tilde{X}^{i}}_{e}}italic_E start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = divide start_ARG italic_F start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG, where FeiXsubscriptsuperscript𝐹superscript𝑖𝑋𝑒F^{i^{X}}_{e}italic_F start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT is the fees earned from utilisation of working capital of asset pool X𝑋Xitalic_X of i-th CDA during the epoch e𝑒eitalic_e.. It can be observed that the aforementioned formulation essentially provides a point-in-time snapshot of the capital efficiency rate, which may leave room for malicious users to manipulate key measures, therefore, instead of using a point-in-time measure, we seek to calculate the capital efficiency rate over a period of time (look-back window of length - m𝑚mitalic_m epochs), and denote it with ei,mXsubscriptsuperscript𝑖superscript𝑚𝑋𝑒\mathcal{E}^{{i,m}^{X}}_{e}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT.

To quantify the optimal interest rate IeX~isubscriptsuperscript𝐼superscript~𝑋𝑖𝑒I^{\tilde{X}^{i}}_{e}\in\mathbb{R}italic_I start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ blackboard_R for various assets, we identify the asset pool within a CDA which exhibits the highest and lowest (moving average) capital efficiency, designated as emaxsuperscriptsubscript𝑒𝑚𝑎𝑥\mathcal{E}_{e}^{max}caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_a italic_x end_POSTSUPERSCRIPT and eminsuperscriptsubscript𝑒𝑚𝑖𝑛\mathcal{E}_{e}^{min}caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_i italic_n end_POSTSUPERSCRIPT, respectively. On a ceteris paribus basis, allocated rewards are positively correlated to the capital efficiency in the system, which leads to a scenario where the asset pool with the lowest capital efficiency (eminsuperscriptsubscript𝑒𝑚𝑖𝑛\mathcal{E}_{e}^{min}caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_i italic_n end_POSTSUPERSCRIPT) attracts the lowest reward, and the asset with the highest capital efficiency (emaxsuperscriptsubscript𝑒𝑚𝑎𝑥\mathcal{E}_{e}^{max}caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_a italic_x end_POSTSUPERSCRIPT) attracts the highest reward. We use these dynamics to scale allocated rewards, using the weight 𝒲eX~isubscriptsuperscript𝒲superscript~𝑋𝑖𝑒\mathcal{W}^{\tilde{X}^{i}}_{e}caligraphic_W start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT, with increasing capital efficiency, as follows:

𝒲eX~i=𝒲+(𝒲𝒲)(1(emaxei,mXemaxemin)𝒦)subscriptsuperscript𝒲superscript~𝑋𝑖𝑒𝒲𝒲𝒲1superscriptsuperscriptsubscript𝑒𝑚𝑎𝑥superscriptsubscript𝑒𝑖superscript𝑚𝑋superscriptsubscript𝑒𝑚𝑎𝑥superscriptsubscript𝑒𝑚𝑖𝑛𝒦\mathcal{W}^{\tilde{X}^{i}}_{e}=\lfloor{\mathcal{W}}\rfloor+(\lceil{\mathcal{W%}}\rceil-\lfloor{\mathcal{W}}\rfloor)\cdot(1-(\frac{\mathcal{E}_{e}^{max}-%\mathcal{E}_{e}^{{i,m}^{X}}}{\mathcal{E}_{e}^{max}-\mathcal{E}_{e}^{min}})^{%\mathcal{K}})caligraphic_W start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = ⌊ caligraphic_W ⌋ + ( ⌈ caligraphic_W ⌉ - ⌊ caligraphic_W ⌋ ) ⋅ ( 1 - ( divide start_ARG caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_a italic_x end_POSTSUPERSCRIPT - caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_a italic_x end_POSTSUPERSCRIPT - caligraphic_E start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m italic_i italic_n end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT caligraphic_K end_POSTSUPERSCRIPT )(31)

where 𝒲𝒲\lfloor{\mathcal{W}}\rfloor⌊ caligraphic_W ⌋ and 𝒲𝒲\lceil{\mathcal{W}}\rceil⌈ caligraphic_W ⌉ are minimum and maximum weights attached to assets; 𝒦𝒦\mathcal{K}caligraphic_K is a system parameter governing the convexity of relationship between weights and the capital efficiency rate; and 𝒢𝒢\mathcal{G}caligraphic_G is the factor which governs the desirability of a higher capital efficiency asset in the portfolio, such that 𝒲=𝒲(1+𝒢)𝒲𝒲1𝒢\lceil{\mathcal{W}}\rceil=\lfloor{\mathcal{W}}\rfloor\cdot(1+\mathcal{G})⌈ caligraphic_W ⌉ = ⌊ caligraphic_W ⌋ ⋅ ( 1 + caligraphic_G ).

Now, the rewards distributable (DReX~i𝐷subscriptsuperscript𝑅superscript~𝑋𝑖𝑒DR^{{\tilde{X}}^{i}}_{e}italic_D italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) to an LP’s token reserves for an asset (X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT) in an epoch is calculated as follows:

DReX~i=LeX~i𝒲eX~ij=1gLej𝒲ejRei,𝐷subscriptsuperscript𝑅superscript~𝑋𝑖𝑒subscriptsuperscript𝐿superscript~𝑋𝑖𝑒subscriptsuperscript𝒲superscript~𝑋𝑖𝑒subscriptsuperscript𝑔𝑗1subscriptsuperscript𝐿𝑗𝑒subscriptsuperscript𝒲𝑗𝑒subscriptsuperscript𝑅𝑖𝑒DR^{{\tilde{X}}^{i}}_{e}=\frac{L^{{\tilde{X}}^{i}}_{e}\cdot\mathcal{W}^{\tilde%{X}^{i}}_{e}}{\sum^{g}_{j=1}L^{j}_{e}\cdot\mathcal{W}^{j}_{e}}\cdot R^{i}_{e},italic_D italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = divide start_ARG italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ caligraphic_W start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG ∑ start_POSTSUPERSCRIPT italic_g end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j = 1 end_POSTSUBSCRIPT italic_L start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ⋅ caligraphic_W start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG ⋅ italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ,(32)

where X~iDReX~isubscriptsuperscript~𝑋𝑖𝐷subscriptsuperscript𝑅superscript~𝑋𝑖𝑒\sum_{\tilde{X}^{i}}DR^{{\tilde{X}}^{i}}_{e}∑ start_POSTSUBSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_D italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT represents the distributable rewards across all assets.

Now, we can also calculate the applicable interest rate charged for each asset (IeX~isubscriptsuperscript𝐼superscript~𝑋𝑖𝑒I^{\tilde{X}^{i}}_{e}\in\mathbb{R}italic_I start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT ∈ blackboard_R), as follows:

IeX~i=1DReX~iReX~i.subscriptsuperscript𝐼superscript~𝑋𝑖𝑒1𝐷subscriptsuperscript𝑅superscript~𝑋𝑖𝑒subscriptsuperscript𝑅superscript~𝑋𝑖𝑒I^{\tilde{X}^{i}}_{e}=1-\frac{DR^{{\tilde{X}}^{i}}_{e}}{R^{\tilde{X}^{i}}_{e}}.italic_I start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = 1 - divide start_ARG italic_D italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG start_ARG italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_ARG .(33)

5 Conclusion

In this work, we have presented the concept of Proof of Efficient Liquidity (PoEL) protocol, which is designed for PoS blockchain infrastructures with intrinsic DeFi applications, seeking to support sustainable liquidity bootstrapping and network security. We have reviewed existing literature (Sec. 2), in the context of which the protocol’s governing principles (Sec. 3), and the proposed protocol architecture (Sec. 4) can be understood.

In forthcoming revisions, we will formally prove that the proposed protocol architecture meets its stated objectives, provide case studies through agent base simulation, and pave the path for expanding the protocol to an algorithmic model for interest rate calculations using LPs on-chain reputation scores and loss modelling, enabling us to price and manage varied risks stemming from liquidity bootstrapping. Finally, we will also explore decentralised automation services to optimise capital allocation and harmonise incentive schemes, in the context of competing incentive programs running on the same blockchain network, albeit for different CDAs.

Appendices

Appendix A Algorithm 1: Target Capital Efficiency Rate

1:Derivative accumulations Dm(1),Dn(1),Dm(2),Dn(2)subscriptsuperscript𝐷1𝑚subscriptsuperscript𝐷1𝑛subscriptsuperscript𝐷2𝑚subscriptsuperscript𝐷2𝑛D^{(1)}_{m},D^{(1)}_{n},D^{(2)}_{m},D^{(2)}_{n}italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT

2:0i,msuperscriptsubscript0𝑖superscript𝑚absent\mathcal{E}_{0}^{{i,m}^{\ast}}\leftarrowcaligraphic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ← Initial target capital efficiency rate

3:m,n𝑚𝑛absentm,n\leftarrowitalic_m , italic_n ← Lengths of the short and long time windows, respectively

4:Υ,ψΥ𝜓absent\Upsilon,\psi\leftarrowroman_Υ , italic_ψ ← Global parameters regulating the speed of adjustments

5:q,q′′superscript𝑞superscript𝑞′′absentq^{{}^{\prime}},q^{{}^{\prime\prime}}\leftarrowitalic_q start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT , italic_q start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ← Parameters governing the extent to which disagreement in second derivatives over long/short horizon augments the scale of change

6:lower(1)superscriptsubscript𝑙𝑜𝑤𝑒𝑟1absent\mathcal{B}_{lower}^{(1)}\leftarrowcaligraphic_B start_POSTSUBSCRIPT italic_l italic_o italic_w italic_e italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ← Lower bound for the first derivative

7:Calculate i,me,2i,me2,i,ne,2i,ne2superscript𝑖𝑚𝑒superscript2superscript𝑖𝑚superscript𝑒2superscript𝑖𝑛𝑒superscript2superscript𝑖𝑛superscript𝑒2\frac{\partial\mathcal{E}^{i,m}}{\partial e},\frac{\partial^{2}\mathcal{E}^{i,%m}}{\partial e^{2}},\frac{\partial\mathcal{E}^{i,n}}{\partial e},\frac{%\partial^{2}\mathcal{E}^{i,n}}{\partial e^{2}}divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG , divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG , divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG

8:iflower(1)max(|i,me|,|Dm(1)|)superscriptsubscript𝑙𝑜𝑤𝑒𝑟1superscript𝑖𝑚𝑒subscriptsuperscript𝐷1𝑚\mathcal{B}_{lower}^{(1)}\leq\max(\left|\frac{\partial\mathcal{E}^{i,m}}{%\partial e}\right|,\left|D^{(1)}_{m}\right|)caligraphic_B start_POSTSUBSCRIPT italic_l italic_o italic_w italic_e italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ≤ roman_max ( | divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG | , | italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | ) andthen

9:lower(1)max(|i,ne|,|Dn(1)|)superscriptsubscript𝑙𝑜𝑤𝑒𝑟1superscript𝑖𝑛𝑒subscriptsuperscript𝐷1𝑛\mathcal{B}_{lower}^{(1)}\leq\max(\left|\frac{\partial\mathcal{E}^{i,n}}{%\partial e}\right|,\left|D^{(1)}_{n}\right|)caligraphic_B start_POSTSUBSCRIPT italic_l italic_o italic_w italic_e italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT ≤ roman_max ( | divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG | , | italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | ) and

10:ifmax(i,me,Dm(1))>0superscript𝑖𝑚𝑒subscriptsuperscript𝐷1𝑚0\max(\frac{\partial\mathcal{E}^{i,m}}{\partial e},D^{(1)}_{m})>0roman_max ( divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG , italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) > 0 and max(ne,Dn(1))>0subscript𝑛𝑒subscriptsuperscript𝐷1𝑛0\max(\frac{\partial\mathcal{E}_{n}}{\partial e},D^{(1)}_{n})>0roman_max ( divide start_ARG ∂ caligraphic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG start_ARG ∂ italic_e end_ARG , italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) > 0then

11:ifmax(2i,mt2,Dm(2))0superscript2superscript𝑖𝑚superscript𝑡2subscriptsuperscript𝐷2𝑚0\max(\frac{\partial^{2}\mathcal{E}^{i,m}}{\partial t^{2}},D^{(2)}_{m})\geq 0roman_max ( divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) ≥ 0 and max(2i,ne2,Dn(2))0superscript2superscript𝑖𝑛superscript𝑒2subscriptsuperscript𝐷2𝑛0\max(\frac{\partial^{2}\mathcal{E}^{i,n}}{\partial e^{2}},D^{(2)}_{n})\geq 0roman_max ( divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ≥ 0then

12:ei,m=ei,mΥsubscriptsuperscript𝑖superscript𝑚𝑒subscriptsuperscript𝑖superscript𝑚𝑒Υ\mathcal{E}^{{i,m}^{\ast}}_{e}=\mathcal{E}^{{i,m}^{\ast}}_{e}-\Upsiloncaligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - roman_Υ

13:else

14:ei,m=ei,mΥmax(q|max(2i,me2,Dm(2))max(2i,ne2,Dn(2))|,1)subscriptsuperscript𝑖superscript𝑚𝑒subscriptsuperscript𝑖superscript𝑚𝑒Υsuperscript𝑞superscript2superscript𝑖𝑚superscript𝑒2subscriptsuperscript𝐷2𝑚superscript2superscript𝑖𝑛superscript𝑒2subscriptsuperscript𝐷2𝑛1\mathcal{E}^{{i,m}^{\ast}}_{e}=\mathcal{E}^{{i,m}^{\ast}}_{e}-\frac{\Upsilon}{%\max({q^{{}^{\prime}}\cdot\left|\max\left(\frac{\partial^{2}\mathcal{E}^{i,m}}%{\partial e^{2}},D^{(2)}_{m}\right)-\max\left(\frac{\partial^{2}\mathcal{E}^{i%,n}}{\partial e^{2}},D^{(2)}_{n}\right)\right|},1)}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT - divide start_ARG roman_Υ end_ARG start_ARG roman_max ( italic_q start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ⋅ | roman_max ( divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) - roman_max ( divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) | , 1 ) end_ARG

15:endif

16:elseifmax(i,me,Dm(1))<0superscript𝑖𝑚𝑒subscriptsuperscript𝐷1𝑚0\max(\frac{\partial\mathcal{E}^{i,m}}{\partial e},D^{(1)}_{m})<0roman_max ( divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG , italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) < 0 and max(i,ne,Dn(1))<0superscript𝑖𝑛𝑒subscriptsuperscript𝐷1𝑛0\max(\frac{\partial\mathcal{E}^{i,n}}{\partial e},D^{(1)}_{n})<0roman_max ( divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG , italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) < 0then

17:ifmax(2i,me2,Dm(2))0superscript2superscript𝑖𝑚superscript𝑒2subscriptsuperscript𝐷2𝑚0\max(\frac{\partial^{2}\mathcal{E}^{i,m}}{\partial e^{2}},D^{(2)}_{m})\leq 0roman_max ( divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) ≤ 0 and max(e2i,ne2,Dn(2))0superscript𝑒2superscript𝑖𝑛superscript𝑒2subscriptsuperscript𝐷2𝑛0\max(\frac{\partial e^{2}\mathcal{E}^{i,n}}{\partial e^{2}},D^{(2)}_{n})\leq 0roman_max ( divide start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ≤ 0then

18:ei,m=ei,m+ψsubscriptsuperscript𝑖superscript𝑚𝑒subscriptsuperscript𝑖superscript𝑚𝑒𝜓\mathcal{E}^{{i,m}^{\ast}}_{e}=\mathcal{E}^{{i,m}^{\ast}}_{e}+\psicaligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT = caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + italic_ψ

19:else

20:jt=ei,m+ψmax(q′′|max(2i,me2,Dm(2))max(2i,ne2,Dn(2))|,1)subscriptsuperscriptsubscript𝑗𝑡subscriptsuperscript𝑖superscript𝑚𝑒𝜓superscript𝑞′′superscript2superscript𝑖𝑚superscript𝑒2subscriptsuperscript𝐷2𝑚superscript2superscript𝑖𝑛superscript𝑒2subscriptsuperscript𝐷2𝑛1\mathcal{E}^{\ast}_{j_{t}}=\mathcal{E}^{{i,m}^{\ast}}_{e}+\frac{\psi}{\max({q^%{{}^{\prime\prime}}\cdot\left|\max\left(\frac{\partial^{2}\mathcal{E}^{i,m}}{%\partial e^{2}},D^{(2)}_{m}\right)-\max\left(\frac{\partial^{2}\mathcal{E}^{i,%n}}{\partial e^{2}},D^{(2)}_{n}\right)\right|},1)}caligraphic_E start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT = caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT + divide start_ARG italic_ψ end_ARG start_ARG roman_max ( italic_q start_POSTSUPERSCRIPT start_FLOATSUPERSCRIPT ′ ′ end_FLOATSUPERSCRIPT end_POSTSUPERSCRIPT ⋅ | roman_max ( divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) - roman_max ( divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) | , 1 ) end_ARG

21:endif

22:endif

23:Dm(1)=0subscriptsuperscript𝐷1𝑚0D^{(1)}_{m}=0italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = 0, Dn(1)=0subscriptsuperscript𝐷1𝑛0D^{(1)}_{n}=0italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0, Dm(2)=0subscriptsuperscript𝐷2𝑚0D^{(2)}_{m}=0italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = 0, and Dn(2)=0subscriptsuperscript𝐷2𝑛0D^{(2)}_{n}=0italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = 0

24:else

25:Dm(1)Dm(1)+i,mesubscriptsuperscript𝐷1𝑚subscriptsuperscript𝐷1𝑚superscript𝑖𝑚𝑒D^{(1)}_{m}\leftarrow D^{(1)}_{m}+\frac{\partial\mathcal{E}^{i,m}}{\partial e}italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG \triangleright Accumulate first derivative in m-window

26:Dn(1)Dn(1)+i,nesubscriptsuperscript𝐷1𝑛subscriptsuperscript𝐷1𝑛superscript𝑖𝑛𝑒D^{(1)}_{n}\leftarrow D^{(1)}_{n}+\frac{\partial\mathcal{E}^{i,n}}{\partial e}italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ← italic_D start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG \triangleright Accumulate first derivative in n-window

27:Dm(2)Dm(2)+2i,me2subscriptsuperscript𝐷2𝑚subscriptsuperscript𝐷2𝑚superscript2superscript𝑖𝑚superscript𝑒2D^{(2)}_{m}\leftarrow D^{(2)}_{m}+\frac{\partial^{2}\mathcal{E}^{i,m}}{%\partial e^{2}}italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG \triangleright Accumulate second derivative in m-window

28:Dn(2)Dn(2)+2i,ne2subscriptsuperscript𝐷2𝑛subscriptsuperscript𝐷2𝑛superscript2superscript𝑖𝑛superscript𝑒2D^{(2)}_{n}\leftarrow D^{(2)}_{n}+\frac{\partial^{2}\mathcal{E}^{i,n}}{%\partial e^{2}}italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ← italic_D start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT + divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_n end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG \triangleright Accumulate second derivative in n-window

29:endif

30:return ei,msubscriptsuperscript𝑖superscript𝑚𝑒\mathcal{E}^{{i,m}^{\ast}}_{e}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Appendix B Service Fee Credits

In the work thus far, we presented how the PoEL protocol described in this work enables blockchains with intrinsic CDAs to attract, and efficiently and sustainably retain capital using budgeted financial incentives. We now explore how the underlying incentive structures used therein can be extended to incentivise the use of auxiliary services (Assuming that the network provides additional services beyond those related to CDA) embedded in the adopting blockchain network (e.g. smart contract transactions) linked to the new capital, with an additional focus on catalysing sustainable, and efficient usage of the network (incl. its resources).

This is achieved by endeavouring to expand the user base, which not only enhances the network’s decentralisation but also sustainable economic rationality222222A higher number of users and transactions helps reduce the fixed cost per transaction, which accounts for gas fees and infrastructural expenses, and thus additionally bolsters the efficiency of the network’s financial and infrastructural resources. This can be distributed over an increased number of transactions if the resources are productively utilised.. Therefore, with more users and transactional volume, there is a better utilisation of liquidity submitted to the CDAs. Furthermore, it is clear that for the sustainable viability of a blockchain network, it must have a foundational number of users and transactions. However, this presents a circular dilemma: users and transactions gravitate towards networks already perceived as viable, meaning a network requires users to generate value, yet it needs to offer value to attract users.

To solve this quandary, we introduce service fee credits which serve the dual purpose of dynamically attracting capital, and incentivising initial network usage, which we hope is extenuated with network effects - a phenomenon when a product or service subject to network effects becomes more valuable as more people use it, e.g. in a social network [3, 20]. These credits complement, not replace, staking rewards, which are earned by LPs who use their assets to contribute to the adopting blockchain network’s economic security.

Definition 7 (Service Fee Credits)

Service fee credits are non-transferable, timed, and limited credits, which are denominated in the native staking token and linked to a user’s wallet address, such that they can be used to offset future costs arising from the user’s use of the network or be delegated to another user. These credits are granted to users when they submit capital to a CDA’s liquidity pool(s) and PoS scheme.

These service credits, represented by D={𝒱,𝒜,𝒞𝒜}𝐷𝒱𝒜subscriptsuperscript𝒞𝒜D=\{\mathcal{V},\mathcal{A},\mathcal{C}^{\mathcal{A}}_{\mathcal{R}}\}italic_D = { caligraphic_V , caligraphic_A , caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT }, where 𝒱𝕀+𝒱superscript𝕀\mathcal{V}\in\mathop{\mathbb{I}}^{+}caligraphic_V ∈ blackboard_I start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT is the number of epochs for which credits are available for use in a period we call, rounds (𝕀+superscript𝕀\mathcal{R}\in\mathop{\mathbb{I}}^{+}caligraphic_R ∈ blackboard_I start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT), and 𝒞𝒜[0,)subscriptsuperscript𝒞𝒜0\mathcal{C}^{\mathcal{A}}_{\mathcal{R}}\in[0,\infty)caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ∈ [ 0 , ∞ ) represents replenishment caps, which represents the round-specific predetermined ceiling to which further credits can be added and used by the user address 𝒜𝒜\mathcal{A}caligraphic_A.

For ease of reader’s convenience, in Fig. 3, we present schematics that exhibit how these credits fit in the context of the wider network, and how its distribution policy is closely linked with the incentive budget allocation process used in the PoEL protocol to attract capital.

A Staking Mechanism for Capital Efficient Liquidity (3)

Now, in the definition of service fee credits, we introduced the notion of round-specific (\mathcal{R}caligraphic_R) replenishment caps (𝒞X~isubscriptsuperscript𝒞superscript~𝑋𝑖\mathcal{C}^{\tilde{X}^{i}}_{\mathcal{R}}caligraphic_C start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT), which change with time and are linked to the nature of assets that comprise the capital submitted to the network. This is calculated as follows:

𝒞X~i=SX~iPX~iγRX~i,subscriptsuperscript𝒞superscript~𝑋𝑖superscriptsubscript𝑆superscript~𝑋𝑖subscriptsuperscript𝑃superscript~𝑋𝑖subscriptsuperscript𝛾superscript~𝑋𝑖𝑅\mathcal{C}^{\tilde{X}^{i}}_{\mathcal{R}}=S_{\mathcal{R}}^{\tilde{X}^{i}}\cdotP%^{\tilde{X}^{i}}_{\mathcal{R}}\cdot\gamma^{\tilde{X}^{i}}_{R},caligraphic_C start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT = italic_S start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ⋅ italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ⋅ italic_γ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ,(34)

where γX~isubscriptsuperscript𝛾superscript~𝑋𝑖\gamma^{\tilde{X}^{i}}_{\mathcal{R}}italic_γ start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT is the rate which dynamically determines the portion of the total submitted capital (in asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT) that can be used to replenish the capital provider’s credit account at the beginning of a particular round; SX~isuperscriptsubscript𝑆superscript~𝑋𝑖S_{\mathcal{R}}^{\tilde{X}^{i}}italic_S start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT is the size of the LP-token reserve at the beginning of a round; and PX~isubscriptsuperscript𝑃superscript~𝑋𝑖P^{\tilde{X}^{i}}_{\mathcal{R}}italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT is the price of LP-token X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT at the beginning of a round.

As also stated in their definition, service fee credits are limited, meaning they are subject to a dynamic (periodic) limit (𝒞𝒜subscriptsuperscript𝒞𝒜\mathcal{C}^{\mathcal{A}}_{\mathcal{R}}caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT), which can be computed for a specific user as follows:

𝒞𝒜=q=1ns𝒜q𝒞Rq,subscriptsuperscript𝒞𝒜superscriptsubscript𝑞1𝑛subscriptsuperscript𝑠superscript𝒜𝑞subscriptsuperscript𝒞𝑞𝑅\mathcal{C}^{\mathcal{A}}_{\mathcal{R}}=\sum_{q=1}^{n}s^{{\mathcal{A}}^{q}}_{%\mathcal{R}}\cdot\mathcal{C}^{q}_{R},caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_q = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_s start_POSTSUPERSCRIPT caligraphic_A start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT ⋅ caligraphic_C start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ,(35)

where n𝑛nitalic_n is the number of LP token reserves in the system, and s𝒜qsubscriptsuperscript𝑠superscript𝒜𝑞s^{{\mathcal{A}}^{q}}_{\mathcal{R}}italic_s start_POSTSUPERSCRIPT caligraphic_A start_POSTSUPERSCRIPT italic_q end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT is the share of the user in the q𝑞qitalic_q-th asset’s LP token reserve. Naturally, given some uncertainty in the user behaviour, we could use a stochastic differential equation to model the inherent uncertainty, e.g.: d𝒞𝒜=μ(𝒞𝒜,t)dt+σ(𝒞𝒜,t)dWt𝑑subscriptsuperscript𝒞𝒜𝜇subscriptsuperscript𝒞𝒜𝑡𝑑𝑡𝜎subscriptsuperscript𝒞𝒜𝑡𝑑subscript𝑊𝑡d\mathcal{C}^{\mathcal{A}}_{\mathcal{R}}=\mu(\mathcal{C}^{\mathcal{A}}_{%\mathcal{R}},t)dt+\sigma(\mathcal{C}^{\mathcal{A}}_{\mathcal{R}},t)dW_{t}italic_d caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT = italic_μ ( caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT , italic_t ) italic_d italic_t + italic_σ ( caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT , italic_t ) italic_d italic_W start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, where dWt𝑑subscript𝑊𝑡dW_{t}italic_d italic_W start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is a Wiener process term representing random fluctuations, and μ𝜇\muitalic_μ and σ𝜎\sigmaitalic_σ represent the drift and volatility terms, respectively. Furthermore, the system could incorporate a time-based locking incentive mechanism for users regarding replenishment cap allocation, akin to the framework suggested in Incentive 1, which will further encourage extended locking periods.

Finally, we calculate the point-in-time (t𝑡titalic_t) balance (t𝒜[0,)subscriptsuperscript𝒜𝑡0\mathcal{B}^{\mathcal{A}}_{t}\in[0,\infty)caligraphic_B start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∈ [ 0 , ∞ )) of the service fee credits for a particular account (𝒜𝒜\mathcal{A}caligraphic_A) in a given round, as follows:

t𝒜=𝒞𝒜𝒮=1VsN𝒜𝒟S.subscriptsuperscript𝒜𝑡subscriptsuperscript𝒞𝒜superscriptsubscript𝒮1𝑉𝑠subscriptsuperscript𝑁superscript𝒟𝑆subscript𝒜\mathcal{B}^{\mathcal{A}}_{t}=\mathcal{C}^{\mathcal{A}}_{\mathcal{R}}-\sum_{%\mathcal{S}=1}^{Vs}N^{{\mathcal{D}}^{S}}_{{\mathcal{A}}_{\mathcal{R}}}.caligraphic_B start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT - ∑ start_POSTSUBSCRIPT caligraphic_S = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_V italic_s end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT caligraphic_D start_POSTSUPERSCRIPT italic_S end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_A start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT end_POSTSUBSCRIPT .(36)

where Vs𝑉𝑠Vsitalic_V italic_s is the number of network services for which service fee credits can be used; and N𝒜𝒟S[0,)subscriptsuperscript𝑁superscript𝒟𝑆subscript𝒜0N^{{\mathcal{D}}^{S}}_{{\mathcal{A}}_{\mathcal{R}}}\in[0,\infty)italic_N start_POSTSUPERSCRIPT caligraphic_D start_POSTSUPERSCRIPT italic_S end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_A start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∈ [ 0 , ∞ ) is the amount of service fee credits that have been utilised by 𝒜𝒜\mathcal{A}caligraphic_A-th user address to pay for the service 𝒮𝒮\mathcal{S}caligraphic_S in the round \mathcal{R}caligraphic_R.

Having defined the baseline concepts, we now consider the impact of bounding time when the service fee credits can be used. Therefore, on a ceteris paribus basis, the change (replenishment) in credit (Δ𝒟𝒜Δsubscriptsuperscript𝒟𝒜\Delta\mathcal{D}^{\mathcal{A}}_{\mathcal{R}}roman_Δ caligraphic_D start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT) at the beginning of a round can be calculated as follows:

Δ𝒟+1𝒜=𝒞𝒜T𝒜Δsubscriptsuperscript𝒟𝒜1subscriptsuperscript𝒞𝒜subscriptsuperscript𝒜superscript𝑇\Delta\mathcal{D}^{\mathcal{A}}_{\mathcal{R}+1}=\mathcal{C}^{\mathcal{A}}_{%\mathcal{R}}-\mathcal{B}^{\mathcal{A}}_{T^{\prime}}roman_Δ caligraphic_D start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R + 1 end_POSTSUBSCRIPT = caligraphic_C start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT - caligraphic_B start_POSTSUPERSCRIPT caligraphic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT(37)

where Tsuperscript𝑇T^{\prime}italic_T start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is the last timestep of the round \mathcal{R}caligraphic_R.

Altogether, from a user’s perspective, their risked capital is eligible for three streams of revenues - (i) PoS rewards, (ii) fees generated from CDAs, and (iii) service fee credits. However, since service fee credits are time-bound, it can be said that at the end of each round when their credits expire, unutilised credits are a source of cost, and therefore, a user’s optimal return maximisation strategy ought to include full utilisation of awarded credits, which would aid the network in bootstrapping userbase and network activity.

Service Fee Credit BudgetingThe PoEL protocol presented a budgeted reward distribution policy, which was used to tactfully incentivise staked capital, which can be modified to budget any credits awarded.

For rounds >11\mathcal{R}>1caligraphic_R > 1, the total budget (BR0,s.t.Bt=1=0formulae-sequencesubscript𝐵𝑅0𝑠𝑡subscript𝐵𝑡10B_{R}\geq 0,s.t.B_{t=1}=0italic_B start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ≥ 0 , italic_s . italic_t . italic_B start_POSTSUBSCRIPT italic_t = 1 end_POSTSUBSCRIPT = 0) available to finance such credits is:

B=B1+ΔBi=1g𝒞1i,subscript𝐵subscript𝐵1Δsubscript𝐵subscriptsuperscript𝑔𝑖1subscriptsuperscript𝒞𝑖1B_{\mathcal{R}}=B_{\mathcal{R}-1}+\Delta{B}_{\mathcal{R}}-\sum^{g}_{i=1}%\mathcal{C}^{i}_{\mathcal{R}-1},italic_B start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT = italic_B start_POSTSUBSCRIPT caligraphic_R - 1 end_POSTSUBSCRIPT + roman_Δ italic_B start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT - ∑ start_POSTSUPERSCRIPT italic_g end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT caligraphic_C start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT caligraphic_R - 1 end_POSTSUBSCRIPT ,(38)

where g𝑔gitalic_g is the highest index of LP tokens; and ΔBΔsubscript𝐵\Delta{B}_{\mathcal{R}}roman_Δ italic_B start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT is the addition to the credit budget in \mathcal{R}caligraphic_R-th epoch, which can be determined using the state of the treasury and governance mechanisms.

If the service fee credit program lasts for a defined number of rounds, and the budget is not static with time, then it can be stated (ex-post) that if the protocol is successful in attracting liquidity in earlier stages of its life, then 10f(x)𝑑x<01superscriptsubscript0superscript𝑓𝑥differential-d𝑥0\frac{1}{\mathcal{R}}\int_{0}^{\mathcal{R}}f^{\prime}(x)dx<0divide start_ARG 1 end_ARG start_ARG caligraphic_R end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT caligraphic_R end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_x ) italic_d italic_x < 0, meaning that in a mature state 2ΔB2<0superscript2Δ𝐵superscript20\frac{\partial^{2}\Delta B}{\partial\mathcal{R}^{2}}<0divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Δ italic_B end_ARG start_ARG ∂ caligraphic_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG < 0, implying that in earlier stages of the protocol, the protocol would seek to invest more in the incentive program and as the network matures, curtail any benefits. In other words, the additional amount (ΔBΔsubscript𝐵\Delta B_{\mathcal{R}}roman_Δ italic_B start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT) needed to finance the incentive program would decrease at an increasing pace over time. This amount (ΔBΔsubscript𝐵\Delta B_{\mathcal{R}}roman_Δ italic_B start_POSTSUBSCRIPT caligraphic_R end_POSTSUBSCRIPT) can be ascertained by inter-temporarily harmonising the network’s fiscal objectives (a component of a blockchain network’s fiscal policy), using a constrained optimisation problem which seeks to maximise the incentives distributed, under the constraint of network’s survivability (defined in terms of the number of users associated with their auxiliary services and CDAs). In essence, this optimisation problem would enable us to ascertain the total (lifetime) distributable budget, and point-in-time budget, using the network’s current state (e.g. including the number of users, the transactional volume, the number of services, etc.), and its precise functional form using the aforementioned state variables. Furthermore, using the framework presented in Sec. 4.2.1, we can ascertain the precise amount of credits available for distribution in each round, based on the distance of state variables to its aspired optimal value. Once a round-specific budget (BRsubscript𝐵𝑅B_{R}italic_B start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT) is ascertained, the credit incentive mechanism can use the baseline PoEL protocol’s variable lending fee modelling to ascertain the correct amount of incentives (by way of estimating the asset-specific replenishment cap) that can be provided for each unit of liquidity brought to the network.

Appendix C List of Notations

NotationDescription
t𝑡titalic_t

A timestep, representing a specific point in time when a change in state variables is observed or input parameters are set.

e𝑒eitalic_e

An epoch, representing a short yet relatively fixed period akin to block time representing instances when the protocol executes critical updates.

elsuperscript𝑒𝑙e^{l}italic_e start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT

Represents the number of epochs for which l-th LP’s capital is locked.

ϵitalic-ϵ\epsilonitalic_ϵ

The maximum number of epochs for which the liquidity mining program is operational.

emidsubscript𝑒mide_{\text{mid}}italic_e start_POSTSUBSCRIPT mid end_POSTSUBSCRIPT

The mid-point value around which the transition from the minimum to maximum incentive starts to become significant.

m,n𝑚𝑛m,nitalic_m , italic_n

Distinct time windows for tracking changes in the moving average capital efficiency rate.

V𝑉Vitalic_V

Traded volume.

𝐒𝐒\mathbf{S}bold_S

A vector of state variables specific to the protocol.

Pisubscript𝑃𝑖P_{i}italic_P start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT

The price of an asset at time t = i.

Sp𝑆𝑝Spitalic_S italic_p

Asset-specific bid-ask spread.

Vt1:t2superscript𝑉:subscript𝑡1subscript𝑡2V^{t_{1}:t_{2}}italic_V start_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT : italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT

Trading volume of an asset over a prespecified look-back window [t1,t2]subscript𝑡1subscript𝑡2[t_{1},t_{2}][ italic_t start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ].

𝐑1:ϵisubscriptsuperscript𝐑𝑖:1italic-ϵ\mathbf{R}^{i}_{1:\epsilon}bold_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_ϵ end_POSTSUBSCRIPT

A vector of total reward budget distributed to LPs in a particular CDA across epochs.

eisuperscriptsubscript𝑒𝑖\mathcal{L}_{e}^{i}caligraphic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT

The (nominal) capital available in participating liquidity pools of the i-th CDA in the e-th epoch.

oesuperscriptsubscript𝑜𝑒\mathcal{I}_{o}^{e}caligraphic_I start_POSTSUBSCRIPT italic_o end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e end_POSTSUPERSCRIPT

Incentives distributed for asset pool o𝑜oitalic_o in e𝑒eitalic_e-th epoch.

tl,maxsuperscriptsubscript𝑡𝑙\mathcal{I}_{t}^{l,\max}caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l , roman_max end_POSTSUPERSCRIPT

Maximum incentives available to distribute to a particular LP.

tl,minsuperscriptsubscript𝑡𝑙\mathcal{I}_{t}^{l,\min}caligraphic_I start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l , roman_min end_POSTSUPERSCRIPT

Minimum incentives available to distribute to a particular LP.

Reisuperscriptsubscript𝑅𝑒𝑖R_{e}^{i}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT

The optimal epoch-specific reward for LPs of i-th CDA.

Relsuperscriptsubscript𝑅𝑒𝑙R_{e}^{l}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT

Represents the associated incentive.

Relmaxsuperscriptsubscript𝑅𝑒superscript𝑙R_{e}^{l^{\max}}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT

Represents the maximum incentive available to distribute to a particular LP at a particular epoch.

Relmaxsuperscriptsubscript𝑅𝑒superscript𝑙R_{e}^{l^{\max}}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT

Represents the minimum incentive (a portion of Relmaxsubscriptsuperscript𝑅superscript𝑙𝑒R^{l^{\max}}_{e}italic_R start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT roman_max end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT) available to distribute to a particular LP at a particular epoch.

Rmineisubscriptsuperscript𝑅𝑖𝑚𝑖subscript𝑛𝑒R^{i}_{{min}_{e}}italic_R start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_m italic_i italic_n start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT

The minimum staking reward that needs to be distributed in the epoch e𝑒eitalic_e as part of the liquidity bootstrapping program and is based on a system parameter.

SRe𝑆subscript𝑅𝑒SR_{e}italic_S italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Staking rewards earned.

SRRe𝑆𝑅subscript𝑅𝑒SRR_{e}italic_S italic_R italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The staking reward rate for the adopting blockchain in the e-th epoch.

𝐈esubscript𝐈𝑒\mathbf{I}_{e}bold_I start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Vector of interest rates charged from rewards distributable for staked NST.

DReX~i𝐷subscriptsuperscript𝑅superscript~𝑋𝑖𝑒DR^{{\tilde{X}}^{i}}_{e}italic_D italic_R start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Rewards distributable to an LP’s token reserves for an asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT in an epoch.

SevX~isubscriptsuperscript𝑆superscript~𝑋𝑖subscript𝑒𝑣S^{\tilde{X}^{i}}_{e_{v}}italic_S start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_POSTSUBSCRIPT

LP Token reserve, representing the size of an LP’s token reserve in a particular epoch, representing a unique collateral pool mapped to the v𝑣vitalic_v-th validator’s address.

PeX~isubscriptsuperscript𝑃superscript~𝑋𝑖𝑒P^{\tilde{X}^{i}}_{e}italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The price of LP asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT denominated in the native staking token at the epoch e𝑒eitalic_e.

LeX~isubscriptsuperscript𝐿superscript~𝑋𝑖𝑒L^{\tilde{X}^{i}}_{e}italic_L start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The loaned amount of the native staking token, using collateral in asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT.

Lesubscript𝐿𝑒L_{e}italic_L start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The total amount of native staking tokens loaned to borrowers.

Q𝑄Qitalic_Q

Size of buy (or sell) order.

IPeX~i𝐼subscriptsuperscript𝑃superscript~𝑋𝑖𝑒IP^{\tilde{X}^{i}}_{e}italic_I italic_P start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Nominal interest payable.

𝒯esubscript𝒯𝑒\mathcal{T}_{e}caligraphic_T start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The amount of native staking tokens which can be borrowed in any epoch.

ρeXLPisubscriptsuperscript𝜌subscriptsuperscript𝑋𝑖𝐿𝑃𝑒\rho^{X^{i}_{LP}}_{e}italic_ρ start_POSTSUPERSCRIPT italic_X start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Collateralisation rate, quantifying the amount of collateral an LP needs to deposit to be able to borrow desired native staking tokens.

ρminsubscript𝜌𝑚𝑖𝑛\rho_{min}italic_ρ start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT

A system parameter denoting the minimum collateralisation rate for all pools.

wsuperscript𝑤w^{\prime}italic_w start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT

Weights associated with each conceptual objective.

weX~isubscriptsuperscript𝑤superscript~𝑋𝑖𝑒{w^{{\tilde{X}}^{i}}_{e}}italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The weight of the asset in the basket in e-th epoch.

wtX~isubscriptsuperscript𝑤superscript~𝑋superscript𝑖𝑡w^{\tilde{X}^{i^{\ast}}}_{t}italic_w start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT

target weights of asset X~i0superscript~𝑋𝑖0\tilde{X}^{i}\neq 0over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ≠ 0.

𝒲,𝒲𝒲𝒲\lfloor{\mathcal{W}}\rfloor,\lceil{\mathcal{W}}\rceil⌊ caligraphic_W ⌋ , ⌈ caligraphic_W ⌉

Minimum and maximum permissible weights of an asset.

𝒲eX~isubscriptsuperscript𝒲superscript~𝑋𝑖𝑒\mathcal{W}^{\tilde{X}^{i}}_{e}caligraphic_W start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Weight associated with the capital efficiency of asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT in the portfolio.

σ𝜎\sigmaitalic_σ

Realised standard deviation of a particular asset.

λOL1subscript𝜆𝑂subscript𝐿1\lambda_{{OL}_{1}}italic_λ start_POSTSUBSCRIPT italic_O italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT

Probabilistic threshold for the likelihood of the occurrence of prespecified operational risk events.

ϕjsubscriptitalic-ϕ𝑗\phi_{j}italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT

Market impact function of j-th asset.

MINSTϕNST,V𝑀subscriptsuperscript𝐼subscriptitalic-ϕ𝑁𝑆𝑇𝑉𝑁𝑆𝑇MI^{\phi_{NST},V}_{NST}italic_M italic_I start_POSTSUPERSCRIPT italic_ϕ start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT , italic_V end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_N italic_S italic_T end_POSTSUBSCRIPT

market impact of executing a fixed notional value V𝑉Vitalic_V in the native staking token with a specific market impact function.

ηeX~isubscriptsuperscript𝜂superscript~𝑋𝑖𝑒\eta^{\tilde{X}^{i}}_{e}italic_η start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The risk scaling factor for asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT.

b𝑏bitalic_b

Steepness of collateral diversification curve.

ζ𝜁\zetaitalic_ζ

The smallest portion of staking rewards that need to be distributed to bootstrap the liquidity of CDA.

ei,msubscriptsuperscript𝑖superscript𝑚𝑒\mathcal{E}^{{i,m}^{\ast}}_{e}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Target (moving average) capital efficiency rate to enhance a CDA’s average capital efficiency.

0i,msuperscriptsubscript0𝑖superscript𝑚\mathcal{E}_{0}^{{i,m}^{\ast}}caligraphic_E start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT

Initial target capital efficiency rate.

i,me,2i,me2superscript𝑖𝑚𝑒superscript2superscript𝑖𝑚superscript𝑒2\frac{\partial\mathcal{E}^{i,m}}{\partial e},\frac{\partial^{2}\mathcal{E}^{i,%m}}{\partial e^{2}}divide start_ARG ∂ caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e end_ARG , divide start_ARG ∂ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m end_POSTSUPERSCRIPT end_ARG start_ARG ∂ italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG

First and second derivatives of the moving average of capital efficiency rate over the last epoch, respectively.

ΥΥ\Upsilonroman_Υ

Global parameter regulating the speed of negative adjustments.

ψ𝜓\psiitalic_ψ

Global parameter regulating the speed of positive adjustments.

rtsubscript𝑟𝑡r_{t}italic_r start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT

Realised return of a particular asset.

κ𝜅\kappaitalic_κ

Scaling factor adjusting the steepness of the sigmoid function controlling the incentive awarded based on tenure, in comparison to the target tenure.

ϱitalic-ϱ\varrhoitalic_ϱ

Parameter adjusting the steepness of available incentive’s relationship with the tenure of deposit (i.e. locking time).

k𝑘kitalic_k

The scaling factor adjusting steepness of the sigmoid curve governing the reward in relation to the locking time.

ν𝜈\nuitalic_ν

A new parameter that adjusts the curve’s shape, providing additional control over how rapidly the incentive increases as the locking time approaches and surpasses mid-point.

E1:ϵisubscriptsuperscript𝐸𝑖:1italic-ϵE^{i}_{1:\epsilon}italic_E start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 : italic_ϵ end_POSTSUBSCRIPT

The capital efficiency of i-th CDA.

RPe𝑅subscript𝑃𝑒RP_{e}italic_R italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

The size of reward pool.

eiX,LPeiXsubscriptsuperscriptsuperscript𝑖𝑋𝑒subscriptsuperscriptsuperscript𝑖𝑋𝐿subscript𝑃𝑒\mathcal{L}^{i^{X}}_{e},\mathcal{L}^{i^{X}}_{{LP}_{e}}caligraphic_L start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT , caligraphic_L start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_P start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT end_POSTSUBSCRIPT

Liquidity available in asset pool X𝑋Xitalic_X of the CDA i𝑖iitalic_i at the epoch e𝑒eitalic_e.

ei,mXsubscriptsuperscript𝑖superscript𝑚𝑋𝑒\mathcal{E}^{{i,m}^{X}}_{e}caligraphic_E start_POSTSUPERSCRIPT italic_i , italic_m start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Capital efficiency rate over a period of time (look-back window of length - m𝑚mitalic_m epochs).

χ𝜒\chiitalic_χ

The sensitivity to weight deviations in the collateral basket from its target.

𝒦𝒦\mathcal{K}caligraphic_K

System parameter governing the convexity of the relationship between weights and the capital efficiency rate.

𝒢𝒢\mathcal{G}caligraphic_G

Factor governing the desirability of a higher capital efficiency asset in the portfolio.

IeX~isubscriptsuperscript𝐼superscript~𝑋𝑖𝑒I^{\tilde{X}^{i}}_{e}italic_I start_POSTSUPERSCRIPT over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Interest rate charged for each asset X~isuperscript~𝑋𝑖\tilde{X}^{i}over~ start_ARG italic_X end_ARG start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT.

Resubscript𝑅𝑒R_{e}italic_R start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Reward budget for the e𝑒eitalic_e-th epoch.

g𝑔gitalic_g

Highest index of LP tokens from different pools of the i𝑖iitalic_i-th CDA.

Rejsubscriptsuperscript𝑅𝑗𝑒R^{j}_{e}italic_R start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Staking rewards distributable to LP token reserves for a staked NST borrowed using the j𝑗jitalic_j-th asset.

EeiXsubscriptsuperscript𝐸superscript𝑖𝑋𝑒E^{i^{X}}_{e}italic_E start_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_X end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_e end_POSTSUBSCRIPT

Capital efficiency rate for an asset pool within a CDA.

References

  • [1]AAVE.AAVE.https://aave.com/.[Online; accessed 20-September-2023].
  • [2]Carlo Acerbi and Dirk Tasche.On the coherence of expected shortfall.Journal of banking & finance, 26(7):1487–1503, 2002.
  • [3]Allan Afuah.Are network effects really all about size? the role of structure andconduct.Strategic Management Journal, 34(3):257–273, 2013.
  • [4]Alchemix.Alchemix.https://alchemix.fi/.[Online; accessed 20-September-2023].
  • [5]Balancer.Balancer.https://balancer.fi/.[Online; accessed 20-September-2023].
  • [6]Balancer.Balancer Liquidity Mining.https://balancer.gitbook.io/balancer/core-concepts/bal-liquidity-mining.[Online; accessed 14-September-2023].
  • [7]Benqi.Benqi.https://benqi.fi.[Online; accessed 20-September-2023].
  • [8]Benjamin Clapham, Peter Gomber, Jens Lausen, and Sven Panz.Liquidity provider incentives in fragmented securities markets.Journal of Empirical Finance, 60:16–38, 2021.
  • [9]Coindesk.FCoin Crypto Exchange Draws Fire for Controversial Business Model.https://www.coindesk.com/markets/2018/06/22/fcoin-crypto-exchange-draws-fire-for-controversial-business-model/.[Online; accessed 25-September-2023].
  • [10]Compound.Compound.https://compound.finance.[Online; accessed 20-September-2023].
  • [11]Simon Cousaert, Jiahua Xu, and Toshiko Matsui.Sok: Yield aggregators in defi.In 2022 IEEE International Conference on Blockchain andCryptocurrency (ICBC), pages 1–14. IEEE, 2022.
  • [12]Curve.Curve.https://curve.fi/.[Online; accessed 20-September-2023].
  • [13]Curve.Curve Understanding Gauges.https://resources.curve.fi/reward-gauges/understanding-gauges/.[Online; accessed 15-September-2023].
  • [14]JagjeevS Dosanjh.Market maker incentives and market efficiency: Evidence from theaustralian etf market.Technical report, Citeseer, 2013.
  • [15]dYdX.dYdX.https://dydx.exchange/.[Online; accessed 21-September-2023].
  • [16]Sizheng Fan, Tian Min, Xiao Wu, and Cai Wei.Towards understanding governance tokens in liquidity mining: a casestudy of decentralized exchanges.World Wide Web, 26(3):1181–1200, 2023.
  • [17]Michael Feng, Rajiv Bhat, and CarloP LasMarias.Liquidity mining: A marketplace-based approach to market makercompensation.Hummingbot research paper, 2019.
  • [18]IDEX.IDEX.https://idex.io/.[Online; accessed 21-September-2023].
  • [19]InsurAce.InsurAce.https://www.insurace.io/.[Online; accessed 20-September-2023].
  • [20]SumitK Majumdar and Sriram Venkataraman.Network effects and the adoption of new technology: evidence from theus telecommunications industry.Strategic Management Journal, 19(11):1045–1062, 1998.
  • [21]AlbertJ Menkveld and Ting Wang.How do designated market makers create value for small-caps?Journal of Financial Markets, 16(3):571–603, 2013.
  • [22]Nexus Mutual.Nexus Mutual.https://nexusmutual.io/.[Online; accessed 20-September-2023].
  • [23]Osmosis.Osmosis.https://osmosis.zone/.[Online; accessed 21-September-2023].
  • [24]Osmosis.Superfluid Staking.https://docs.osmosis.zone/osmosis-core/modules/superfluid/.[Online; accessed 2-September-2023].
  • [25]ArthurAB Pessa, Matjaž Perc, and HaroldoV Ribeiro.Age and market capitalization drive large price variations ofcryptocurrencies.Scientific Reports, 13(1):3351, 2023.
  • [26]Perpetual Protocol.Perpetual Protocol.https://perp.com/.[Online; accessed 21-September-2023].
  • [27]Qasar.Qasar.https://www.quasar.fi/.[Online; accessed 21-September-2023].
  • [28]Sushiswap.Sushiswap.https://www.sushi.com/.[Online; accessed 20-September-2023].
  • [29]Synthetix.Synthetix.https://synthetix.io/.[Online; accessed 21-September-2023].
  • [30]Uniswap.Uniswap.https://uniswap.org/.[Online; accessed 20-September-2023].
  • [31]Jimmy Yin and Mac Ren.On liquidity mining for uniswap v3.arXiv preprint arXiv:2108.05800, 2021.
A Staking Mechanism for Capital Efficient Liquidity (2024)
Top Articles
Latest Posts
Article information

Author: Kareem Mueller DO

Last Updated:

Views: 5638

Rating: 4.6 / 5 (66 voted)

Reviews: 81% of readers found this page helpful

Author information

Name: Kareem Mueller DO

Birthday: 1997-01-04

Address: Apt. 156 12935 Runolfsdottir Mission, Greenfort, MN 74384-6749

Phone: +16704982844747

Job: Corporate Administration Planner

Hobby: Mountain biking, Jewelry making, Stone skipping, Lacemaking, Knife making, Scrapbooking, Letterboxing

Introduction: My name is Kareem Mueller DO, I am a vivacious, super, thoughtful, excited, handsome, beautiful, combative person who loves writing and wants to share my knowledge and understanding with you.