diff --git a/Pledge-Based Saturation Limit Under a Closed System/README.md b/Pledge-Based Saturation Limit Under a Closed System/README.md new file mode 100644 index 000000000..b3f0a2cd0 --- /dev/null +++ b/Pledge-Based Saturation Limit Under a Closed System/README.md @@ -0,0 +1,252 @@ +--- +CIP: 0045? +Title: Pledge-Based Saturation Limit Under a Closed System +Author: Jay Pseudonym Cappucino +Comments-URI: https://forum.cardano.org/t/cip-stake-decentralization-using-pledge-as-a-bidding-parameter-to-determine-saturation-limit/95936 +Status: Draft +Type: Process +Created: 2022-02-28 +--- +# **Abstract** +This proposal attempts to solve the ongoing stake centralization by allocating pool saturation limit in proportion to pool pledge while at the same time guaranteeing that the total saturation limit is always equal to the circulating supply regardless of the number of pools and pledge status, _i.e._, whether the ecosystem is under-pledged, fully-pledged, or over-pledged. The specification under this proposal is governed in a very dynamic manner using a set of well-defined equations which allows the staking mechanism to operate without the need for frequent network consensus. + +# **Motivation** +With the current saturation limit set at 68 M per pool and with 3119 pools (epoch 321), the current staking mechanism can accommodate a total stake of 212.1 B ADA (68M*3119). This amount of ADA is 543% in excess of the current circulating supply of 33B. Because of this substantial saturation limit, one can set up a few pools and offer lucrative rewards to capture a sizeable amount of stake (_e.g._, Binance APY is 17.7%). This leads to centralization and weakening of the ecosystem against Sybil attack. Staying true to the nature of **Ouroboros**, we describe a mechanism that uses pledge as a stake-bidding parameter under a **closed system**, _i.e._, the ecosystem total saturation limit is always equal to the total ADA in circulation. The proposed mechanism ensures that no single entity can get away with excessive stake without putting up a hefty pledge and expending for computing and related infrastructure. This expense, likewise, confers the ecosystem a very high resistance against Sybil attack. For epoch 321, the cost to conduct a Sybil attack under this CIP is millions in pledge and at least 1108 adversarial pools. We dare say that the cost to conduct a Sybil attack under the current protocol is 0 pledge in ADA and at least 177 adversarial pools **only**. This number of adversarial pools needed to attack the ecosystem under the current protocol does not change even if the total number of pools increases, unless the saturation limit (68 M) is decreased. These pools can be readily saturated using lucrative ISPOs and had been demonstrated during the Sundaeswap ISPO which involved 98 pools that were at or near saturation. We, therefore, posit that this CIP is not only fair to all but also enhances decentralization and better security than the current protocol. + +# **Specification** +## **Nonmathematical Description** +Under this CIP, there is no barrier to entry to set up a pool, but there exists an **optimal pledge** which is used as a yardstick to determine pool saturation limit in proportion to pledge. +* The ecosystem **total saturation limit is always equal to total ADA in circulation**. +* The optimal pool saturation limit is equal to the **total ADA in circulation divided by the total number of pools**. +* Individual pool saturation limit is optimal when **pool pledge = optimal pledge** +* Individual pool saturation limit decreases exponentially when **pool pledge < optimal pledge**. +* Individual pool saturation limit increases **only incrementally** past the optimal saturation limit when **pool pledge > optimal pledge**. +* The ecosystem is **under-pledged** when the **ecosystem total saturation limit < circulating supply**. The saturation limit unclaimed by under-pledged pools is equal to the circulating supply minus the ecosystem total saturation limit. + - Under this condition, pools can over-pledge to “borrow” additional saturation limit unclaimed by the under-pledged pools. + - If there is still unclaimed saturation limit even after some pools have over-pledged, the unclaimed saturation limit will be distributed in accordance with Equation 1. + - However, the distributed unclaimed saturation limit can still be claimed by any pool by continuing to pledge. +* The ecosystem is in **equilibrium** when the **total saturation limit = circulating supply**. Under this condition, only the under-pledged pools can continue to pledge to take back the borrowed saturation limit that was supposed to be allocated for them. The over-pledge pools’ excess saturation limit, on the otherhand, will continue to decrease as under-pledge pools continue to pledge until all excess had been returned. This and the proposition from the previous bullet point ensures that: + - a **closed system** is maintained, which means that the ecosystem total saturation limit is always equal to the total ADA in circulation regardless of the pledge status of the ecosystem, _i.e._, under-pledged, fully-pledged, or over-pledged. **TRULY OUROBOROS**. + - no single pool has a saturation limit that dwarfs other pools’ limits, encouraging decentralization. + - since the ecosystem total saturation limit is always equal to ADA in circulation, the ADA delegation per pool will be more or less even. +* Optimal pledge decreases down to a minimum as the total number of pools increases but increases exponentially as the total number of pools decreases. This mechanism addresses Sybil attack: + - optimal pledge becomes expensive when the total number of pools decreases, thereby increasing the expense to conduct a Sybil attack. + - expense to conduct Sybil attack also increases as the total number of pools increases because although the optimal pledge decreases, optimal saturation limit decreases as well. Therefore, the attacker needs to setup a very large number of pools in order to obtain 51% of the total delegated ADA. + +## **Mathematical Description** +### _**Calculating Optimal Pledge**_
+
+ +![equation1](https://drive.google.com/uc?export=view&id=1O_gmZ9LwpVV3xs2RVNqaXLh3um3zfFKs) + +where **_popt_** is the optimal pledge, **φ** is the amount of ADA in circulation (currently 33B), **_k_** is the total number of pools, and **_n_** is a variable that is determined via consensus to warrant an economically viable optimal pledge (**_popt_**). Therefore, it appears that **_n_** is a variable that the community can vote for adjustment to increase or decrease **_popt_**. In effect, it can be used to control the total number of pools (**_k_**) so that at some value **_n_**, the ecosystem gradually settles to some value **_k_** which the community thinks is the optimal value. It is very important that **_k_** is tightly controlled by **_n_**, and **_k_** should only increase according to some parameters, for example, with increasing user demand. So that even if **_k_** is large, all pools are still minting blocks because of high user demand. + +If we set **_n_** =15, + +**scenario 1** (very small number of pools): +* **_k_** = 500, +* **_popt_** = ~ 774,763 ADA per pool + +**scenario 2** (current number of pools): +* **_k_** = 3119 (epoch 321) +* **_popt_** = 47,205 ADA per pool + +**scenario 3** (very large number of pools): +* **_k_** = infinity +* **_popt_** = 27,440 ADA per pool + + +**Conclusion**: **_popt_** becomes cheaper as the total number of pools (**_k_**) increases, but more expensive as the total number of pools decreases. Setting **_n_** = 15 is only for illustration purposes. The Cardano scientists and engineers may want to place a more restrictive value of this parameter. For example, at **_n_** = 14 and **_k_** = 3119, **_popt_** = 124k ADA.
+
+### **_Calculating Saturation Limit (α)_** + +**case 1: _pa ≤ popt_** +![equation2](https://drive.google.com/uc?export=view&id=1vwM9i8voMM6AnNtlxIzuwu8mQj1ntgi5) + +where:
+**_φ_/_k_** is the optimal saturation limit
+**_pa_** = actual pool pledge +**_popt_** = optimal pledge +**_αunc_** = saturation limit left unclaimed even after some pools have over-pledged. This variable is defined in Equation 7. +**_Ta_** = pool accumulated time of operation (in days) counting from day 1 of operation (read explanation below). +**_Ttot_**= total accumulated time of operation (in days) of all nonover-pledging pools only (read explanation below). + +The first term of Equation 2 allocates saturation limit based on pledge, and ensures that saturation limit increases or decreases exponentially with pledge. + + It is ideal that **_αunc_** = 0, but if **_αunc_** > 0, the second term of Equation 2 ensures its distribution. The distributed **_αunc_**, however, can still be claimed by any pool by increasing its pledge. + +Distribution of **_αunc_** based, yet again, on pledge will further disadvantage those who are under-pledged. Therefore, we use accumulated time of operation,**_Ta_**, as a parameter for the distribution of **_αunc_**. This mechanism ensures that the unclaimed saturation limit is distributed into pools that had been securing the ecosystem for the longest time. This manner of distribution prevents any would-be attacker, likely someone who had just registered a pool (or pools), from getting a significant portion of **_αunc_**. This mechanism is very important when the number of pools (**_k_**) suddenly decreases to a very low number, making **_popt_** very expensive and leading to significant under-pledging. Under this condition, pools that are under-pledged but had been in operation for a significant amount of time will be rewarded with a significant portion of **_αunc_**. + +**Example 1** +* **_k_** = 3119 (epoch 321) +* **_popt_** = 47,205 ADA (at **_n_** = 15, see calculation in the previous section) +* **_pa_** = 47,205 ADA +* **_αunc_** = 0 (we will deal with nonzero values later) +* **_φ_** = 33B (current ADA in circulation) + +**_α_** = $\frac{33B}{3119}$ $e^{1 - 47,205/47,205}$ = $\frac{33B}{3119}$ = 10.6M + +**Conclusion**: Epoch 321 saturation limit for pools with at least 47,205 ADA in pledge is 10.6M (at **_n_** = 15). Setting the saturation limit to 10.6M would make some large pools to become oversaturated which will encourage delegators of these pools to move their stakes to small pools. It is very important that the number of pools (**_k_**) is properly controlled by the parameter **_n_** so that **_k_** remains optimal - _i.e._, even if **_k_** is large but optimal, no pool will be devoid of blocks. + +**Example 2** (same variable values as in example 1 but lower **_pa_**). +* **_k_** = 3119 (epoch 321) +* **_popt_** = 47,205 ADA +* **_pa_** = 30,000 ADA (for example) +* **_αunc_** = 0 (we will deal with nonzero values later) +* **_φ_** = 33B (current ADA in circulation) + +**_α_** = $\frac{33B}{3119}$ $e^{1 - 47,205/30000}$ = 6.0 M + +**Conclusion**: +Saturation limit decreases exponentially when **_pa_**<**_popt_** which should encourage pools to achieve **_popt_**. In an under-pledged ecosystem, pools can over-pledge to borrow saturation limit unclaimed by the under-pledged pools (see next case).
+
+ +**case 2: _pa_>_popt_ (**the equation is quite complex so please bear with me**)**. + +![equation3](https://drive.google.com/uc?export=view&id=1852sEfSyWtUbJPzyJ5Nbp8P4nafsMLfx) +where: +![equation4](https://drive.google.com/uc?export=view&id=1JhEh0dmbdUaENq512t_ftz3HyI-EY0x6) + +* The function /\ must be defined such that if the quotient of two numbers is not an integer, the quotient is rounded off to the **next** integer (_e.g._ 4/\3 = 2 but also 6/\3 = 2). +* **$\frac{(x-|x|)}{2}$** returns 0 when x is positive, otherwise it returns the value of x. +* The first term in equation 3 (**blue** text) is the guaranteed saturation limit since the pool exceeded **_popt_**. +* The second term in equation 3 (**red** + **green** text) calculates saturation limit in excess of the guaranteed limit. +* The second factor of the second term in equation 3 (**green** text), is the penalty factor that is accounted when the ecosystem is over-pledged. This factor decreases (eventually going to zero) as under-pledge pools continue to increase their pledges. The decrease in the penalty factor, in turn, leads to the decrease in the excess saturation limit (**red** text) of all over-pledged pools. Therefore, the penalty factor ensures that over-pledged pools "return" the borrowed saturation limit even without further intervention. + + +**Example 1**: **ecosystem is not over-pledged**. +* **_pa_** = 110,000 ADA +* **_popt_** = 47,205 ADA (**_n_** = 15) +* **Δ = 1** (Please accept this for now. Proof is provided later.) +* current circulation supply (**_φ_**) = 33B ADA +* current total number of pools (**_k_**, epoch 321) = 3119 + +Because the system is not over-pledged, Equation 3 is reduced to: + +![sample1](https://drive.google.com/uc?export=view&id=1cJg4uaHTGhaKv4pZvL5win3sTbOJeYoo) + +Plugging in the values, + +![sample2](https://drive.google.com/uc?export=view&id=1HUxMMwBfo8hAcHH8gAQn6rCboPvR3pkW) + +**Conclusion**: Since **_pa_**/**_popt_** = $\frac{110000}{47205}$ = 2.33, the pool is guaranteed a saturation limit that is twice of $\frac{33B}{3119}$. The other additional limit $\frac{33B}{3119}$ $e^{-2.028}$ comes from the 0.33 fractional excess and is penalized exponentially.
+
+ +**Example 2**: **ecosystem is over-pledged**. +Here, we will provide the derivation for the penalty factor (**Δ**) and we will prove that it leads to a closed system, _i.e._, the total saturation limit is always equal to the circulation supply no matter how under-pledged or over-pledged the ecosystem is. The penalty factor (**Δ**) has the following characteristics: +* **Δ** = 1, when the ecosystem is either under-pledged or at equilibrium. Under this condition, the excess saturation limit of over-pledged pools are unaffected. In essence, they are not yet "returning" any of the borrowed excess. +* **Δ** ⟶ 0, when the ecosystem is over-pledged and under-pledged pools keep pledging. Under this condition, the excess saturation limit of over-pledged pools decreases and approaches zero. In essence, they are "returning" the borrowed excess. + +Using Equation 2, we first calculate the total saturation limit (**_αtotal_**) excluding: + - saturation limit from over-pledges. + - unclaimed saturation limit (**_αunc_**). + +![Equation5](https://drive.google.com/uc?export=view&id=19VQyenWAntcKh8VavMpJxscc4scqT6_O) + +where **_pai_** is the actual pledge of pool _i_. Since the total saturation limit (**_αtotal_**) can never exceed circulating supply (**_φ_**), the unclaimed saturation limit (**_αunc_**) is then calculated as follows: + +![Equation6](https://drive.google.com/uc?export=view&id=1JcYX5u499lXnhN9Ha7WSeN49d1WcSbtz) + +Realistically, some pools will be over-pledged and their total excess saturation limit (**_αovp_**) may be deducted from the circulating supply (**_φ_**) as follows: + +![Equation7](https://drive.google.com/uc?export=view&id=1Yj-_PGbl1WcWttDMX1acEex0e7ZFHWDM) + +Solving for **_αovp_** we have, + +![Equation8](https://drive.google.com/uc?export=view&id=1NnoNPLEhp8cihYNvscXdXKP8lPikuADQ) + +Now, we have to remember that the second term in Equation 3 calculates the excess saturation limit of an over-pledged pool. Therefore, the total excess saturation limit (**_αovp_**) can also be expressed as the sum of the second term in Equation 3 of all over-pledged pools and is given as follows: + +![Equation9](https://drive.google.com/uc?export=view&id=15FezfQXXCskq6rblQdauD1jJOEtCFSpH) + +where _j_ is any over-pledging pool. Plugging in Equation 9 into Equation 8, we have: + +![Equation10](https://drive.google.com/uc?export=view&id=15iwumKXAAhPy6t98uHZpiJk0CsltAWkd) + +Dividing both sides of Equation 10 by the left-hand side and simplifying, we have: + +![Equation10](https://drive.google.com/uc?export=view&id=1lQYewlKuCotMs0QQ8I3xJcc4rfddyHk3) + + +**Now, we will prove that Equation 11 guarantees a closed system, _i.e._,** + +**Δ** **= 1**, when the ecosystem is either under-pledged or at equilibrium. +**Δ** **⟶ 0**, when the ecosystem is over-pledged, and under-pledged pools continue to pledge.
+
+ +**Case 1**: Ecosystem is under-pledged and over-pledged pools keep over-pledging to borrow additional saturation limit: the total excess saturation limit is going to increase (red arrow) while unclaimed saturation limit is going to decrease (blue arrow). Therefore the numerator is going to increase (because the third term is negative) by the same magnitude as the denominator. + + ![logic1](https://drive.google.com/uc?export=view&id=1-vvc_xUd8KSY5zmkR9xXP8ebZ_re3y6h)
+
+ + **Case 2**: Ecosystem is under-pledged and under-pledged pools keep pledging to claim the remaining saturation limit allocated for them: the second term in the numerator is going to increase (red arrow) while the third term is going to decrease by the same magnitude (blue arrow): + +![logic2](https://drive.google.com/uc?export=view&id=1XK1F2zG1zyaLPn2sz8rrISKPFEI0_r8B)
+
+ +**Case 3**: Ecosystem is over-pledged (**_αunc = 0_**) and under-pledged pools keep pledging to take back the saturation limit borrowed by the over-pledged pools: the total saturation limit of under-pledged pools increases (red arrow) which causes a decrease in the numerator (blue arrow) and, therefore, a decrease in the penalty factor. The decrease in the penalty factor, in turn, causes a decrease in an over-pledged pool’s excess saturation limit (see Equation 3). In this scenario, an over-pledged pool is simply returning the “borrowed” excess. + +![logic2](https://drive.google.com/uc?export=view&id=182u2H0u72eDxSX04vjulPkeXWzjEdZmW)
+
+**Case 4**: Ecosystem is over-pledged (**_αunc = 0_**) and fully-pledged and over-pledged pools keep over-pledging even when there’s no longer any saturation limit left for them to borrow: the denominator increases which causes the penalty factor to decrease. This, in turn, decreases the excess saturation limit of over-pledged pools but leave the saturation limit of all non-overpledging pools unaffected. This situation will cause the total saturation limit to go below the circulation supply (**_αtotal < φ_**) even if the ecosystem is over-pledged. This decrease should be sufficient to prevent fully-pledged and over-pledged pools from continuing to pledge when **_αunc = 0_**. However, such weakness may possiby be exploited. Hence, when **_αunc = 0_**, continuing pledge from fully-pledged and over-pledged pools should be rejected. + +![logic2](https://drive.google.com/uc?export=view&id=1j45ZEEhqwDDJoXcVxs4p1NqixegXGbmM) + +## **_Sybil Attack_** + +We can calculate the total pledge to conduct a Sybil attack using the following equation: + +![cost](https://drive.google.com/uc?export=view&id=1cqZJ7y9oBi1bA6rOYWzlseUAIyOH3avg) + +We consider a scenario where some pools turn adversarial (**_kadversarial_**), and we can give the best scenario for the attackers by assuming that their pools are fully saturated. We can then plot the total pledge to conduct a Sybil attack as well as **_kadversarial_** vs the number of pools (**_k_**). + +![costfuncpools](https://drive.google.com/uc?export=view&id=1lW93crB3YIFeOd4Y8iG0fxkmKHZKlrgr) + +We found that under this CIP, the number of pools needed to attack the ecosystem (**_kadversarial_**) increases linearly with the total number of pools (left figure). This observation is in line with the expectation that an ecosystem's security should become more robust as the number of pools increases. Unfortunately, this expectation is **not true** for the protocol currently implemented in Cardano. In addition, notice the existence of a minimum in the plot (right figure) at around 1600 pools. The total pledge to conduct a Sybil attack at this minimum is 45 M ADA in pledge (when **_n_** = 15) and at least 600 pools turning adversarial. The total pledge to conduct a Sybil attack increases as the number of pools either decreases or increases from this minimum. For epoch 321 at **_n_** = 15, the total pledge to conduct a Sybil attack is 52 M ADA in pledge and at least 1108 adversarial pools. We dare say that the total pledge to conduct a Sybil attack under the current protocol is 0 ADA in pledge and only 177 adversarial pools. This number of adversarial pools needed to attack the ecosystem under the current protocol does not change even if the total number of pools increases, unless the saturation limit (68 M) is decreased. These pools can easily get saturated by implementing lucrative (and maybe fake) ISPOs. This mechanism of stake centralization had already been demonstrated during the Sundaeswap ISPO which involved 98 pools that were at or near saturation. + +## **_New Reward Structure_** +This CIP describes a protocol that attempts to enhance decentralization but is vastly different from the current protocol that uses a reward structure which is a function of stake, pledge, and saturation limit. The current reward structure has known issues (described below) that is actually antagonistic to decentralization. While the current protocol is formulated based on game theory, the would-be protocol from this CIP is not. The reason is because there are only two decisions that a pool need to choose: to pledge or not to pledge, and these decisions are not influenced by the decision of any other pool. Here, we propose a simple reward structure (in general terms) that is fair to all. + +Currently, pool operators are paid a fixed cost of 340 ADA plus a margin per epoch. As long as a pool is minting even just a block in an epoch, the pool gets the fixed cost plus the margin of which both are subtracted from the total reward before the rest is distributed to the pool delegators. This mechanism appears to be not sustainable for small pools because the pool reward erodes the already meager delegators reward - _i.e._, a fixed cost of 340 ADA plus a margin is going to take a significant portion from the delegators reward since small pools mint fewer blocks. + +Because we no longer need the current reward structure and it is expected that pools would have more or less the same delegation under this CIP, we propose that pool operators are paid for each block they minted. First, the **reward per block** is calculated by dividing the **reward pot (reserve + fees)** by the number of blocks in an epoch. Then, the reward for the pool operator for any block he mints is a FEW PERCENT of the **reward per block** multiplied by the "fullness" of the minted block - _i.e.,_ if the minted block is only 80% filled, then the operator reward for that block is multiplied by 0.8. This multiplier has an effect of decreasing the operator reward if the pool fails to completely fill the block to maximum capacity. In this manner, pools are encouraged to fill each block up to maximum capacity. Then, after deducting the total pool reward from the reward pot, 20% of the **reward pot** is then allocated to the treasury and the rest are allocated to the delegators with the delegator reward fixed at 0.0616% per epoch (or 4.5% annually) **regardless** of which pool a delegator is staked, except if he is in an oversaturated pool. If there remains an undistributed reward, this must be redirected to the treasury or reserve. The 4.5% reward declines exponentially for delegators in an oversaturated pool according to the following equation: + +![reward](https://drive.google.com/uc?export=view&id=1B32FcDnIPnkl2aqMLTv-Ul2Sfc7QBsDy)
+where +* **_rd_** is the delegator reward +* **_δ_** is the pool delegation +* **_α_** is the pool saturation limit +* the factor 10 in the exponent ensures that the reward drops by ~60% when pool delegation exceeds by 10% of the saturation limit. + +The mechanism described above further enhance decentralization. In the current protocol, delegators are biased towards nearly saturated pools because these pools generate better rewards just because of how the reward mechanism is structured in the current protocol. This bias causes centralization of stake towards pools that are at near saturation. In this CIP, such bias is eliminated because it no longer matter which pool a delegator is staked - all delegators are getting the same reward of 4.5% unless they are staked in an oversaturated pool. Finally, the delegator reward may be increased as Cardano adoption increases, making delegation more attractive and allowing better security for the ecosystem. + +# **Rationale** +The steady centralization of stake concentrated to only a few MPOs primarily arises from the substantial saturation limit (68M) allocated for each pool. This large allocation allows moneyed MPOs to gain substantial delegation simply by setting up multiple pools and offering lucrative rewards. If left unchanged, the current state of affairs deters would-be SPOs from setting up pools and discourages current SPOs from continuing to operate because, for a significant number of them, the cost/reward is economically disadvantageous. This only leads to further centralization. + +To mitigate the problem outlined above, we recognized that saturation limit needs to get decreased to some minimum that allow fair distribution of stake but avoids the potential risk of oversaturation by guaranteeing that the total saturation limit is always equal to the circulating supply. We may do this by allocating saturation limit based on pledge. This idea was first explored by Casey Gibson in his CIP which you may find here. We found that there may be potential weaknesses to his ideas, but the same weaknesses are addressed in our proposal. These weaknesses are: +* **The Gibson proposal appears to be less effective at solving stake centralization.** +To illustrate this argument, let's detemine how the Gibson proposal would affect a current MPO that has 60 pools and controls 2.8B ADA. First, we take note that this MPO has total control of the stakes delegated to it. The Gibson proposal, in its current form, allocates 100% of K (65M in stake) for every 500,000 ADA in pledge. Therefore, each pool from this MPO requires 65.5M (65 M in stake plus 0.5 M pledge) to setup and get fully saturated. The number of pools that this MPO needs to retain all 2.8B stake is just 43 pools ($\frac{2.8B}{65.5M}$), which is lower than the MPOs current number of pools (60 pools). The total pledge would amount to 21.5M (43*500,000) but this pledge is irrelevant for this MPO because it has total control of the stake delegated to it. + + The numbers from our proposal would be 282 pools and 12.8M in pledge to retain all 2.8B in stake at **_n_** = 15 and **_k_** = 3119 (epoch 321). The calculation is as follows + + **_popt_** = 33B\*e^(1-15*(1+erf(-100/(3119-60+pools)))) + **_α_** = $\frac{33B}{3119-60+pools}$ + **_pools_** = 2.8B/(**_α_**+**_popt_**) + + We have three equations and three unknowns which resolves to **_pools_** = 282 and total pledge to 12.8M (282 pools * 45.5K in pledge). These numbers will increase as the number of pools increases. + +* **The Gibson proposal may disenfranchise a significant portion of ADA in circulation from getting staked at low pool number.** +Because the Gibson proposal does not gurantee that the total saturation limit of all pools is equal to the amount of ADA in circulation, there exists a significant risk of disenfranchising some portion of ADA in circulation. For example, if the number of pools abruptly drops to 500, all pools need to pledge at maximum (500,000 ADA to get 65M saturation limit) so that the ecosystem can achieve a total saturation limit that is approximately equal to the total ADA in circulation. However, all pools pledging at maximum is a very unlikely scenario, leaving some ADA disenfranchised. Risk of disenfranchisement exists even at the current number of pools. In contrast, the total saturation limit under our proposal is always equal to ADA in circulation regardless of the pledge status in the ecosystem. + + +* **The Gibson proposal may be less effective in dealing with abrupt changes in the staking parameters.** +Since the Gibson proposal rely on parameters that can only be changed when there is network consensus, such design is less robust against abrupt changes in the ecosystem, _e.g._, when there is a need for the number of validators to scale up with demand or when the number of pools declines abruptly due to extreme events. Our proposal scales up and down without further intervention because the protocol is governed by equations. + + +Finally, **this CIP effectively increases the **_keffective_** parameter.** +The **_keffective_** is a parameter that attempts to measure decentralization, and is defined by the equation shown as follows: +![k-effective](https://drive.google.com/uc?export=view&id=1A_foc_uYzkbSG3lJlcQt5F2IMh5T-e1z)
+The parameter **_keffective_** should increase as decentralization increases. However, recently it had plateaued between the values 40 to 43. The strategy described in this CIP effectively increases this parameter as the number of pools increases. This is due to the fact that as the number of pools increases, the saturation limit (**_α_**) decreases. This decrease in the saturation limit, in turn, should decrease the ratio of group stake to total stake in Equation 14, which then leads to the increase of **_keffective_**. +# **Copyright** +This CIP is licensed under [CC-BY-4.0](https://creativecommons.org/licenses/by/4.0/legalcode) +