REP with attenuation: Difference between revisions

From DAO Governance Wiki
Jump to navigation Jump to search
(Created page with " REP tokens can be programmed to have a finite lifetime, where they lose their power after a finite amount of time. REP tokens can also be programmed to diminish in value in much more complicated ways than merely programming an expiration date. We can instead design the DAOs in DGF can also program their REP tokens to shrink (or grow) in power as time goes on. In this page, we use REP tokenomics formulas to give valuation...")
 
Line 10: Line 10:
To justify the form of <math>R(t)</math> in Equation 13, consider how at time <math>t</math> the term <math>L(t-s)</math> attenuates the tokens that have aged <math>t-s</math> units of time. The integral in Equation 13 sums all the tokens ever minted, with the term <math>dR^T/dt</math> over all times <math>s</math> before time <math>t</math> modified by how much they have attenuated in their current age <math>L(t-s)</math>.
To justify the form of <math>R(t)</math> in Equation 13, consider how at time <math>t</math> the term <math>L(t-s)</math> attenuates the tokens that have aged <math>t-s</math> units of time. The integral in Equation 13 sums all the tokens ever minted, with the term <math>dR^T/dt</math> over all times <math>s</math> before time <math>t</math> modified by how much they have attenuated in their current age <math>L(t-s)</math>.


Assuming a single token was minted at time <math>t=0</math> the fees it earns is given by [[Validation Pool#Vote|<math display="block">f_0^{1,L}(t)=\int_0^t f'(s)\frac{L(s)}{R(s)}ds</math>]]Then as before, the present value of a single token with attenuation (but without policing) has present value [[Validation Pool#Vote|<math display="block">PVf_0^{1,L}=\int_0^\infty e^{-rt} \frac{d}{dt} f_0^{1,L} (t)dt</math>]]
Assuming a single token was minted at time <math>t=0</math> the fees it earns is given by [[Validation Pool#Vote|<math display="block">f_0^{1,L}(t)=\int_0^t f'(s)\frac{L(s)}{R(s)}ds</math>]]Then as before, the present value of a single token with attenuation (but without policing) has present value [[Validation Pool#Vote|<math display="block">PVf_0^{1,L}=\int_0^\infty e^{-rt} \frac{d}{dt} f_0^{1,L} (t)dt.</math>]]
 
== Applications ==
 
* [[Executive governance#Attenuation function & policing|REP with atttenuation & policing]]

Revision as of 14:25, 18 June 2023


REP tokens can be programmed to have a finite lifetime, where they lose their power after a finite amount of time. REP tokens can also be programmed to diminish in value in much more complicated ways than merely programming an expiration date. We can instead design the DAOs in DGF can also program their REP tokens to shrink (or grow) in power as time goes on. In this page, we use REP tokenomics formulas to give valuation formulas for REP tokens with attenuation.

Valuation

To program a REP token with attenuation, we specify an attenuation function which means that a token minted at time will have potency at time . So is a multiplier for the value of any token minted at time . This means that one token minted at time pays out the fraction of the fees the DAO earns at time instead of the usual fraction . Typically will naturally be constrained , but the formulas are valid for more general functions. In particular, these formulas can be used by a DAO’s governing body to account for the reputation tokenomics consequences from diminishing or enhancing older power according to any chosen design, which amounts to choosing a time formula for .

Here as before, represents the total amount of token power that exists in the DAO at time . This is different from which is defined to be the total number of tokens ever minted (ignoring attenuation). As before satisfies

where which gives
This time, however, we have
Equation 13

To justify the form of in Equation 13, consider how at time the term attenuates the tokens that have aged units of time. The integral in Equation 13 sums all the tokens ever minted, with the term over all times before time modified by how much they have attenuated in their current age .

Assuming a single token was minted at time the fees it earns is given by

Then as before, the present value of a single token with attenuation (but without policing) has present value

Applications