Fix slashing parameter

[yuta0x89]

Altair upgrade states MIN_SLASHING_PENALTY_QUOTIENT_ALTAIR is 2**6 (= 64).
In Ethereum Economic Model, the value of MIN_SLASHING_PENALTY_QUOTIENT in Mathematical_specification.md is 32 and 64 in the other files.

[yuta0x89]

The current Ethereum Economic Model is based on Altair (Blue Loop / v1.1.0-alpha.7 release), so if we wanted to establish the model on Bellatrix, we would need to change the value of penalty parameters such as MIN_SLASHING_PENALTY_QUOTIENT and PROPORTIONAL_SLASHING_MULTIPLIER.

Name	Value in Altair	Value in Bellatrix
MIN_SLASHING_PENALTY_QUOTIENT	uint64(2**6) (= 64)	uint64(2**5) (= 32)
PROPORTIONAL_SLASHING_MULTIPLIER	uint64(2)	uint64(3)

[BenSchZA]

Thanks for the contribution @uta0x89! I'll merge this PR, and I'm happy for you to open a new PR for the upgrade to Bellatrix - were there any other significant updates apart from the parameters above?

[yuta0x89]

Thank you for the merge!

I'm happy for you to open a new PR for the upgrade to Bellatrix

Of course, I will create a new PR for the upgrade to Bellatrix!

were there any other significant updates apart from the parameters above?

No, there weren’t. The reasons are as follows.

---

As described here, the Bellatrix upgrade added transaction execution and updated penalty parameters.

Since the Ethereum Economic Model models only the behavior of the consensus layer, not the execution layer, we can ignore transaction execution.
The updated penalty parameters are INACTIVITY_PENALTY_QUOTIENT, MIN_SLASHING_PENALTY_QUOTIENT, and PROPORTIONAL_SLASHING_MULTIPLIER. The current Ethereum Economic Model does not model the inactivity leak mechanism, so we can ignore INACTIVITY_PENALTY_QUOTIENT.

Therefore, we only need to update MIN_SLASHING_PENALTY_QUOTIENT and PROPORTIONAL_SLASHING_MULTIPLIER to upgrade the Ethereum Economic Model from Altair to Bellatrix.