REP with attenuation

From DAO Governance Wiki
Jump to navigation Jump to search


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. This is called attenuation. In this page, we use REP tokenomics formulas to give valuation formulas for REP tokens with attenuation.

Valuation[edit | edit source]

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 of the reputation salary. 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[edit | edit source]