From 00d1542dc7c8dc0b44e7863f7563cb9df8eb17f2 Mon Sep 17 00:00:00 2001
From: NC <17676176+ensi321@users.noreply.github.com>
Date: Thu, 2 Oct 2025 15:58:02 +0800
Subject: [PATCH 1/5] Small fixes to Gloas spec

---
 specs/gloas/beacon-chain.md | 3 ++-
 specs/gloas/validator.md    | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/specs/gloas/beacon-chain.md b/specs/gloas/beacon-chain.md
index 3eeb35d9c7..17e3f2cf5d 100644
--- a/specs/gloas/beacon-chain.md
+++ b/specs/gloas/beacon-chain.md
@@ -788,7 +788,7 @@ def is_builder_payment_withdrawable(
     """
     builder = state.validators[withdrawal.builder_index]
     current_epoch = compute_epoch_at_slot(state.slot)
-    return builder.withdrawable_epoch >= current_epoch or not builder.slashed
+    return current_epoch > withdrawable.withdrawable_epoch or builder.slashed
 ```
 
 ##### Modified `get_expected_withdrawals`
@@ -1029,6 +1029,7 @@ def process_execution_payload_bid(state: BeaconState, block: BeaconBlock) -> Non
             fee_recipient=bid.fee_recipient,
             amount=amount,
             builder_index=builder_index,
+            withdrawable_epoch=FAR_FUTURE_EPOCH,
         ),
     )
     state.builder_pending_payments[SLOTS_PER_EPOCH + bid.slot % SLOTS_PER_EPOCH] = pending_payment
diff --git a/specs/gloas/validator.md b/specs/gloas/validator.md
index 20805af1ab..412576c8c6 100644
--- a/specs/gloas/validator.md
+++ b/specs/gloas/validator.md
@@ -275,7 +275,7 @@ def get_data_column_sidecars_from_column_sidecar(
     assert len(cells_and_kzg_proofs) == len(sidecar.kzg_commitments)
 
     return get_data_column_sidecars(
-        sidecar.signed_block_header.message.body_root,
+        sidecar.beacon_block_root,
         sidecar.kzg_commitments,
         cells_and_kzg_proofs,
     )

From 103b8a08266750a768655e709989e20e30aa32af Mon Sep 17 00:00:00 2001
From: NC <17676176+ensi321@users.noreply.github.com>
Date: Thu, 2 Oct 2025 23:31:14 +0800
Subject: [PATCH 2/5] lint

---
 specs/gloas/beacon-chain.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specs/gloas/beacon-chain.md b/specs/gloas/beacon-chain.md
index 17e3f2cf5d..8b8f165db0 100644
--- a/specs/gloas/beacon-chain.md
+++ b/specs/gloas/beacon-chain.md
@@ -788,7 +788,7 @@ def is_builder_payment_withdrawable(
     """
     builder = state.validators[withdrawal.builder_index]
     current_epoch = compute_epoch_at_slot(state.slot)
-    return current_epoch > withdrawable.withdrawable_epoch or builder.slashed
+    return current_epoch >= withdrawal.withdrawable_epoch or builder.slashed
 ```
 
 ##### Modified `get_expected_withdrawals`

From cf7a9442ec3c1ffb3525e773007d0413f7db2b7a Mon Sep 17 00:00:00 2001
From: NC <17676176+ensi321@users.noreply.github.com>
Date: Mon, 6 Oct 2025 17:42:23 +0800
Subject: [PATCH 3/5] Update is_builder_payment_withdrawable

---
 specs/gloas/beacon-chain.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specs/gloas/beacon-chain.md b/specs/gloas/beacon-chain.md
index 8b8f165db0..8c45c28cd3 100644
--- a/specs/gloas/beacon-chain.md
+++ b/specs/gloas/beacon-chain.md
@@ -788,7 +788,7 @@ def is_builder_payment_withdrawable(
     """
     builder = state.validators[withdrawal.builder_index]
     current_epoch = compute_epoch_at_slot(state.slot)
-    return current_epoch >= withdrawal.withdrawable_epoch or builder.slashed
+    return current_epoch >= withdrawal.withdrawable_epoch and builder.slashed
 ```
 
 ##### Modified `get_expected_withdrawals`

From 336195fc26186bffdddc2577ace0047a478e4f45 Mon Sep 17 00:00:00 2001
From: NC <17676176+ensi321@users.noreply.github.com>
Date: Wed, 15 Oct 2025 16:47:30 +0800
Subject: [PATCH 4/5] Update condition

---
 specs/gloas/beacon-chain.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specs/gloas/beacon-chain.md b/specs/gloas/beacon-chain.md
index 687d34c96a..e0b1aac898 100644
--- a/specs/gloas/beacon-chain.md
+++ b/specs/gloas/beacon-chain.md
@@ -788,7 +788,7 @@ def is_builder_payment_withdrawable(
     """
     builder = state.validators[withdrawal.builder_index]
     current_epoch = compute_epoch_at_slot(state.slot)
-    return current_epoch >= withdrawal.withdrawable_epoch and builder.slashed
+    return withdrawal.withdrawable_epoch >= current_epoch or not builder.slashed
 ```
 
 ##### Modified `get_expected_withdrawals`

From 934934d59455b46ac4773e14f0d580fcf524f49f Mon Sep 17 00:00:00 2001
From: NC <17676176+ensi321@users.noreply.github.com>
Date: Thu, 16 Oct 2025 22:00:26 +0800
Subject: [PATCH 5/5] Address comment

---
 specs/gloas/beacon-chain.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specs/gloas/beacon-chain.md b/specs/gloas/beacon-chain.md
index e0b1aac898..b4f24ef79a 100644
--- a/specs/gloas/beacon-chain.md
+++ b/specs/gloas/beacon-chain.md
@@ -788,7 +788,7 @@ def is_builder_payment_withdrawable(
     """
     builder = state.validators[withdrawal.builder_index]
     current_epoch = compute_epoch_at_slot(state.slot)
-    return withdrawal.withdrawable_epoch >= current_epoch or not builder.slashed
+    return builder.withdrawable_epoch >= current_epoch or not builder.slashed
 ```
 
 ##### Modified `get_expected_withdrawals`