From a28f52729dde6f79a87c87eddcfd1f82fbc5e014 Mon Sep 17 00:00:00 2001 From: Aditya Asgaonkar Date: Wed, 27 Jan 2021 15:58:19 -0800 Subject: [PATCH] Rename variables for clarity --- specs/phase0/weak-subjectivity.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/specs/phase0/weak-subjectivity.md b/specs/phase0/weak-subjectivity.md index 42034ed1a..f91a04d7e 100644 --- a/specs/phase0/weak-subjectivity.md +++ b/specs/phase0/weak-subjectivity.md @@ -102,13 +102,13 @@ def compute_weak_subjectivity_period(state: BeaconState) -> uint64: D = SAFETY_DECAY 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)) ) - arg2 = ( + epochs_for_balance_top_ups = ( 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: ws_period += ( 3 * N * D * t // (200 * Delta * (T - t))