Fixed-period BOND: Difference between revisions

From DAO Governance Wiki
Jump to navigation Jump to search
(Created page with " A Fixed-period BOND is a BOND token which expires after a fixed lifetime . Suppose we pay a developer with  newly minted BOND tokens, which dilutes the total REP in the DAO as fees are now shared with the  tokens. The number  of tokens determines the rate of payout, as a larger  means a larger share of the REP salary. The exact rate of payout for  BOND token is proportional to the incoming fees as === 1.1.1      Infinite lifetime === Under the assumption tha...")
 
 
(10 intermediate revisions by the same user not shown)
Line 1: Line 1:


A fixed-period BOND is a [[BOND tokens|BOND token]] which expires after a fixed lifetime <math>L_B</math>. This page details the design of the contracts which govern these tokens so their valuation is fair. The variables of payout rate, the expiration time<ref>Expiration date, lifetime, term, and period are all interchangeable terminology for the amount of time a BOND is active, denoted <math>L_B</math>.</ref>, and the value of the BOND are dependent on each other. A DAO can choose two of the variables at will, then solve for the third to determine a fair contract using REP tokenomics theory.


A Fixed-period BOND is a BOND token which expires after a fixed lifetime .
The results and notation from the [[Reputation tokenomics|reputation tokenomics page]] are used here derive the formulas governing fixed-period BOND contracts under the assumptions that a DAO's underlying REP tokens have infinite lifetime and when they have finite lifetime, under the further assumptions that the fees the DAO earns are constant.  


Suppose we pay a developer with  newly minted BOND tokens, which dilutes the total REP in the DAO as fees are now shared with the  tokens. The number  of tokens determines the rate of payout, as a larger  means a larger share of the REP salary. The exact rate of payout for  BOND token is proportional to the incoming fees as
Variable-period BONDs can be programmed with more complicated formulas as discussed [[Riskless BONDs|here]].


=== 1.1.1      Infinite lifetime ===
== Overview ==
Under the assumption that REP lifetime is unbounded, , then the income stream  of one BOND token is the same as a REP token  
Suppose we wish to pay a developer a bounty worth <math>$b</math>, but we do so BONDs which have a fixed expiration date of <math>L_B</math>. These fixed-period BONDs pay out the same as a REP token would by participating in the REP salary. Our goal is to find formulas determining how large we should set the expiration date given the rate of payout and the value. 


When we pay the developer with <math>q</math> newly minted BOND tokens, which dilutes the total REP in the DAO as fees are now shared with the <math>q+R</math> tokens. The number <math>q</math> of tokens determines the rate of payout, as a larger <math>q</math> means a larger share of the REP salary. The exact rate of payout for <math>q</math> BOND token is proportional to the incoming fees as <math>f'q/(q+R)</math>. 


In general, we have  The term  represents all the BONDs which are active at time .
Depending on whether the REP token design of the DAO has REP tokens with finite or infinite lifetime we get different formulas for how long the lifetime <math>L_B</math> should be set for a fixed-period BOND.  


Now suppose you want to find the lifetime  of a BOND that will give an expected payout of  for  tokens. We therefore hope to solve the equation
== Mechanism design ==


However, the terms  and  are complicated.  is a stopping time, and  is a stochastic process. Nevertheless, these terms behave relatively well, since we know the expected value of  will be an increasing function of , because  is increasing, because . Simply taking the expected value
=== Fixed-period BOND contracts under infinite-lifetime REP ===
Under the assumption that a DAO's REP lifetime is unbounded, <math>L= \infty</math>, we wish to find the lifetime <math>L_B</math> we should set for a BOND so that it will have a particular value. In this case the income stream <math>f_B^1(t)</math> of one BOND token is the same as one REP token <math>f_0^1(t)</math>


<math display="block">f_B^1(t)=\int_{0}^{t} \frac{f'(s)}{q(s)+R(s)}ds</math>


setting it equal to  and solving for  gives you the desired stopping time . There is no simple formula for the expected values of fractions, so we make no further elaboration of the general case in this presentation. However, Jensen’s inequality allows us to give an estimate of the general case, and the following calculations give an upper limit.
until the BOND expires. In general, we have <math display="inline">R(t)=R_0+ \int_{0}^{t} m*f'(s)ds.</math> The term <math>q(s)</math> represents all the BONDs which are active at time <math>t=s</math>.


Now assume the rate of fees is constant  and no further BOND tokens are minted during the lifetime . Then there is a minor change in the previous formulas
Now suppose you want to find the lifetime <math>L_B</math> of a BOND that will give an expected payout of <math>$b</math> for <math>q</math> tokens. We therefore hope to solve the equation<math display="block">qf_B^1(L_B)=b</math>


Therefore, to pay a developer  tokens that will have payout with value  at time  we solve the equation
However, the terms <math>L_B</math> and <math>f'</math> are complicated. <math>L_B</math> is a stopping time, and <math>f'</math> is a stochastic process. Nevertheless, these terms behave relatively well, since we know the expected value <math>E[f_B^1(t)]</math> will be an increasing function of <math>t</math>, because <math>f_B^1(t)</math> is increasing, because <math>f'(s)\geq0</math>. Simply taking the expected value


for ''.'' We get 
<math display="block">E_0 \left[f_B^1(t) \right ]=\int_{0}^{t}E_0 \left [ \frac{f'(s)}{q(0)+R_0+\int_{0}^sm*f'(u)du} \right ] ds</math>setting it equal to <math>b</math> and solving for <math>t=t^*</math> gives you the desired stopping time <math>t^*=E_0[L_B]</math>. There is no simple formula for the expected values of fractions, so we make no further elaboration of the general case in this presentation. However, Jensen’s inequality allows us to give an estimate of the general case, and the following calculations give an upper limit.


Further, we can find the present value of a single BOND token with arbitrary lifetime  under the assumption of constant fees is  
Now assume the rate of fees is constant <math>f'(s)=f'_0</math> and no further BOND tokens are minted during the lifetime <math>L_B</math>. Then there is a minor change in the previous formulas<math display="block">f_B^1(t)=\int_{0}^{t} \frac{f'_0}{q_0+R_0+smf'_0}ds=\frac{1}{m}ln\left ( \frac{q+R_0+mtf'_0}{q+R_0}\right )</math>Therefore, to pay a developer <math>q</math> tokens that will have payout with value <math>$b</math> at time <math>L_B</math> we solve the equation <math display="inline">f_B^1(L_B)=b</math> for <math>L_B</math>''.'' We get <math display="block">L_B=(q+R_0) \frac{e^{mb}-1}{mf'_0}</math>
 
Further, we can find the present value of a single BOND token with arbitrary lifetime <math>L_B</math> under the assumption of constant fees is<math display="block">PVf_B^1=\int_0^{L_B}e^{-rt}\frac{d}{dt}f_B^1(t)dt=\frac{1}{m}exp\left ( \frac{r(q+R_0)}{mf'_0} \right)\int_{\frac{r(q+R_0)}{mf'_0}}^{L_B}\frac{e^{-s}}{s}ds</math>


Therefore we have the following solutions:
Therefore we have the following solutions:


'''Proposition 5:''' ''Assume the rate of fees is constant  and that no further'' BOND ''tokens are minted during the lifetime .''
'''Proposition 5:''' ''Assume the rate of fees is constant <math>f'_0</math> and that no further'' BOND ''tokens are minted during the lifetime <math>L_B</math>.''
 
''Then <math>q</math> ''BOND ''tokens will have payout <math>$b</math> by time <math>L_B</math> at a payout rate of <math>qf'_0</math> by setting the lifetime of a'' BOND ''to be<math display="block">L_B=(q+R_0) \frac{e^{mb}-1}{mf'_0}</math>''


''Then  ''BOND ''tokens will have payout  by time  at a payout rate of  by setting the lifetime of a'' BOND ''to be''
''Again, assuming constant rate of fees, if you wish to pay a developer <math>q</math> ''BOND ''tokens with arbitrary predetermined lifetime <math>0 \leq L_B \leq \infty</math> that will have expected present value worth <math>$b</math> solve the following equation for <math>q</math><math display="block">b=q\frac{1}{m}exp\left ( \frac{r(q+R_0)}{mf'_0} \right)\int_{\frac{r(q+R_0)}{mf'_0}}^{L_B}\frac{e^{-s}}{s}ds  \qquad  \quad  {\scriptstyle\text{(Equation 7)}}</math>''


''To pay a developer  ''BOND ''tokens with arbitrary predetermined lifetime  that will have present value worth  solve the equation for''
Equation 7 has no elementary solution, but admits efficient solutions through standard numerical approximation algorithms. However, next we assume the REP tokens have finite lifetimes, which guarantees explicit elementary solutions.


=== Fixed-period BOND contracts under finite-lifetime REP ===
Next, we consider the situation when there is a finite lifetime ''<math>L<\infty</math>'' on a DAO's REP tokens. We make the further assumptions of constant minting ratio ''<math>m</math>'' and constant fees ''<math>f'_0</math>''. We assume the BOND tokens are minted after the system reaches equilibrium. In this case, there are always ''<math>R_{\infty}=mf'_0L</math>'' of the REP tokens in the system. Then diluting the system with ''<math>q</math>'' artificially minted BOND tokens at time ''<math>t_0=0</math>'' which have the same lifetime ''<math>L_B=L</math>'' gives''<math display="block">f_B^1 (t)=f_0^1 (t)= \begin{cases}t \frac{f'_0}{q+mf'_0L} & \text{if }t\leq L \\ \frac{f'_0L}{q+mf'_0L} & \text{if }t\geq L \end{cases}</math>''


Equation 7
So<math display="block">PVf_B^1=\int_0^\infty e^{-rt} \frac{d}{dt} f_0^1 (t)dt=\frac{f'_0}{q+mf'_0L}\int_0^L e^{-rt}dt=\frac{f'_0}{q+mf'_0L}\left ( \frac{1-e^{-rL}}{r}\right ).</math>Therefore we solve the equation <math>qPVf_B^1=b</math> for <math>q</math>  to get


Equation 7 has no elementary solution, but admits efficient solutions through standard numerical algorithms. However, next we assume the REP tokens have finite lifetimes which guarantees explicit elementary solutions.
'''Proposition 6:''' A''ssume the rate of fees <math>f'_0</math>'' ''is constant, and the lifetime of all tokens (REP and BONDs) is <math>L<\infty</math>. To pay a bounty with present value worth <math>$b</math> a DAO can mint <math>q</math> BOND tokens where<math display="block">q= \frac{brmf'_0L}{f'_0(1-e^{-rL})-rb}</math>''


=== 1.1.2      Finite lifetime ===
Similar calculations can be made to get the formula for the number  of BOND tokens when we choose the lifetime  independently of the lifetime  of the normal REP tokens.
Next, we consider the situation when there is a finite lifetime on all tokens. We make the further assumptions of constant minting ratio  and constant fees . We assume the BOND tokens are minted after the system reaches equilibrium. In this case, there are always  of the REP tokens in the system. Then diluting the system with  artificially minted BOND tokens at time  which have the same lifetime  gives


So
Notice Proposition 6 gives a bound on the value ''<math>$b</math>'' of BOND tokens that can be minted based on the amount of fees ''<math>f'_0</math>'' the DAO is earning ''<math display="inline">b<f'_0(1-e^{-rL})/r</math>''.


The major problem with these formulas is that the assumption that the rate of fees ''<math>f'_0</math>'' is constant is false and will often be very inaccurate, especially when a DAO is small. The above solutions make BONDs a gamble for both the developer and the DAO. If the rate of fees ''<math>f'</math>'' increases during the lifetime ''<math>L_B</math>'' then the reward’s value will be greater than ''<math>$b</math>'', and if the rate of fees decreases it will be worth less. However, as mentioned above, Jensen’s inequality gives us a bound, showing these results are conservative. Specifically, if the fees’ rate is not constant, but that the fees merely have expected value ''<math>f'_0</math>'' then these formulas will be generous to the BOND holder. If however, the actual values of the fees have an average less than this expected value, the BOND holders can still end with less than ''<math>$b</math>'' remuneration in present value.


Therefore we solve the equation
Such uncertainties can be eliminated by more complicated contracts which have [[Riskless BONDs|variable lifetimes]].


for   to get
== Code ==


'''Proposition 6:''' A''ssume the rate of fees is constant  and the lifetime of all tokens is . To pay a bounty with present value worth  a DAO can mint  BOND tokens where''
==Applications==
==See Also==


Similar calculations can be made to get the formula for the number  of BOND tokens when we choose the lifetime  independently of the lifetime  of the normal REP tokens.
* [[Riskless BONDs]]
*


The major problem with these formulas is that the assumption that the rate of fees  is constant is usually false. The above solutions make BONDs a gamble for both the developer and the DAO. If the rate of fees  increases during the lifetime  then the reward’s value will be greater than , and if the rate of fees decreases it will be worth less. However, as mentioned above, Jensen’s inequality gives us a bound, showing these results are conservative. Specifically, if the fees’ rate is not constant, but that the fees merely have expected value  then these formulas will be generous to the BOND holder. If however, the actual values of the fees have an average less than this expected value, the BOND holders can still end with less than  remuneration in present value.
==Notes & References==

Latest revision as of 10:13, 4 May 2023

A fixed-period BOND is a BOND token which expires after a fixed lifetime . This page details the design of the contracts which govern these tokens so their valuation is fair. The variables of payout rate, the expiration time[1], and the value of the BOND are dependent on each other. A DAO can choose two of the variables at will, then solve for the third to determine a fair contract using REP tokenomics theory.

The results and notation from the reputation tokenomics page are used here derive the formulas governing fixed-period BOND contracts under the assumptions that a DAO's underlying REP tokens have infinite lifetime and when they have finite lifetime, under the further assumptions that the fees the DAO earns are constant.

Variable-period BONDs can be programmed with more complicated formulas as discussed here.

Overview[edit | edit source]

Suppose we wish to pay a developer a bounty worth , but we do so BONDs which have a fixed expiration date of . These fixed-period BONDs pay out the same as a REP token would by participating in the REP salary. Our goal is to find formulas determining how large we should set the expiration date given the rate of payout and the value.

When we pay the developer with  newly minted BOND tokens, which dilutes the total REP in the DAO as fees are now shared with the  tokens. The number  of tokens determines the rate of payout, as a larger  means a larger share of the REP salary. The exact rate of payout for  BOND token is proportional to the incoming fees as .

Depending on whether the REP token design of the DAO has REP tokens with finite or infinite lifetime we get different formulas for how long the lifetime should be set for a fixed-period BOND.

Mechanism design[edit | edit source]

Fixed-period BOND contracts under infinite-lifetime REP[edit | edit source]

Under the assumption that a DAO's REP lifetime is unbounded, , we wish to find the lifetime we should set for a BOND so that it will have a particular value. In this case the income stream  of one BOND token is the same as one REP token

until the BOND expires. In general, we have  The term  represents all the BONDs which are active at time .

Now suppose you want to find the lifetime  of a BOND that will give an expected payout of  for  tokens. We therefore hope to solve the equation

However, the terms  and  are complicated.  is a stopping time, and  is a stochastic process. Nevertheless, these terms behave relatively well, since we know the expected value  will be an increasing function of , because  is increasing, because . Simply taking the expected value

setting it equal to  and solving for  gives you the desired stopping time . There is no simple formula for the expected values of fractions, so we make no further elaboration of the general case in this presentation. However, Jensen’s inequality allows us to give an estimate of the general case, and the following calculations give an upper limit.

Now assume the rate of fees is constant  and no further BOND tokens are minted during the lifetime . Then there is a minor change in the previous formulas

Therefore, to pay a developer  tokens that will have payout with value  at time  we solve the equation for . We get

Further, we can find the present value of a single BOND token with arbitrary lifetime  under the assumption of constant fees is

Therefore we have the following solutions:

Proposition 5: Assume the rate of fees is constant  and that no further BOND tokens are minted during the lifetime .

Then  BOND tokens will have payout  by time  at a payout rate of  by setting the lifetime of a BOND to be

Again, assuming constant rate of fees, if you wish to pay a developer  BOND tokens with arbitrary predetermined lifetime  that will have expected present value worth  solve the following equation for

Equation 7 has no elementary solution, but admits efficient solutions through standard numerical approximation algorithms. However, next we assume the REP tokens have finite lifetimes, which guarantees explicit elementary solutions.

Fixed-period BOND contracts under finite-lifetime REP[edit | edit source]

Next, we consider the situation when there is a finite lifetime on a DAO's REP tokens. We make the further assumptions of constant minting ratio  and constant fees . We assume the BOND tokens are minted after the system reaches equilibrium. In this case, there are always  of the REP tokens in the system. Then diluting the system with  artificially minted BOND tokens at time  which have the same lifetime  gives

So

Therefore we solve the equation for   to get

Proposition 6: Assume the rate of fees is constant, and the lifetime of all tokens (REP and BONDs) is . To pay a bounty with present value worth  a DAO can mint  BOND tokens where

Similar calculations can be made to get the formula for the number  of BOND tokens when we choose the lifetime  independently of the lifetime  of the normal REP tokens.

Notice Proposition 6 gives a bound on the value of BOND tokens that can be minted based on the amount of fees the DAO is earning .

The major problem with these formulas is that the assumption that the rate of fees  is constant is false and will often be very inaccurate, especially when a DAO is small. The above solutions make BONDs a gamble for both the developer and the DAO. If the rate of fees  increases during the lifetime  then the reward’s value will be greater than , and if the rate of fees decreases it will be worth less. However, as mentioned above, Jensen’s inequality gives us a bound, showing these results are conservative. Specifically, if the fees’ rate is not constant, but that the fees merely have expected value  then these formulas will be generous to the BOND holder. If however, the actual values of the fees have an average less than this expected value, the BOND holders can still end with less than  remuneration in present value.

Such uncertainties can be eliminated by more complicated contracts which have variable lifetimes.

Code[edit | edit source]

Applications[edit | edit source]

See Also[edit | edit source]

Notes & References[edit | edit source]

  1. Expiration date, lifetime, term, and period are all interchangeable terminology for the amount of time a BOND is active, denoted .