status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Rename variables for clarity

This commit is contained in:
Aditya Asgaonkar 2021-01-27 15:58:19 -08:00
parent 742d21e914
commit a28f52729d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
specs/phase0/weak-subjectivity.md
View File

@ -102,13 +102,13 @@ def compute_weak_subjectivity_period(state: BeaconState) -> uint64:
D = SAFETY_DECAY D = SAFETY_DECAY
if T * (200 + 3 * D) < t * (200 + 12 * D): if T * (200 + 3 * D) < t * (200 + 12 * D):
arg1 = ( epochs_for_validator_set_churn = (
N * (t * (200 + 12 * D) - T * (200 + 3 * D)) // (600 * delta * (2 * t + T)) N * (t * (200 + 12 * D) - T * (200 + 3 * D)) // (600 * delta * (2 * t + T))
) )
arg2 = ( epochs_for_balance_top_ups = (
N * (200 + 3 * D) // (600 * Delta) N * (200 + 3 * D) // (600 * Delta)
) )
ws_period += max(arg1, arg2) ws_period += max(epochs_for_validator_set_churn, epochs_for_balance_top_ups)
else: else:
ws_period += ( ws_period += (
3 * N * D * t // (200 * Delta * (T - t)) 3 * N * D * t // (200 * Delta * (T - t))