Skip to content

eip7805: rebase FOCIL onto Gloas#4714

Closed
jihoonsong wants to merge 1 commit intoethereum:masterfrom
jihoonsong:focil-onto-gloas
Closed

eip7805: rebase FOCIL onto Gloas#4714
jihoonsong wants to merge 1 commit intoethereum:masterfrom
jihoonsong:focil-onto-gloas

Conversation

@jihoonsong
Copy link
Member

@jihoonsong jihoonsong commented Oct 30, 2025

This PR rebases FOCIL onto Gloas. For detailed explanation, please refer to this article, which is updated accordingly with this PR.

One thing to note is that either PTC or attesters can enforce the IL constraints. This PR chose to use PTC to achieve better beacon chain stability. However, if people found attesters is a better approach, this PR could be changed accordingly.

@jihoonsong jihoonsong force-pushed the focil-onto-gloas branch 4 times, most recently from d9a4d04 to 47a421b Compare October 30, 2025 13:48
@jtraglia jtraglia marked this pull request as draft October 30, 2025 14:42
@jihoonsong jihoonsong force-pushed the focil-onto-gloas branch 2 times, most recently from 7a153e9 to 486271d Compare October 30, 2025 14:48
@jihoonsong jihoonsong force-pushed the focil-onto-gloas branch 3 times, most recently from e80e1d3 to c2b273d Compare November 2, 2025 16:54
@jihoonsong jihoonsong marked this pull request as ready for review November 2, 2025 17:01
Comment on lines +309 to +312
- Sign the `inclusion_list` using the helper `get_inclusion_list_signature` and
obtain the `signature`.
- Set `signed_inclusion_list.message` to `inclusion_list`.
- Set `signed_inclusion_list.signature` to `signature`.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For consistency, there should be a "create a signed_inclusion_list object" item like line 301. Then the instructions at 309 can be joined into 312. Something like:

  • Set signed_inclusion_list.signature to the result of get_inclusion_list_signature.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good point, thanks! I've changed it in harmony with specs/gloas/builder.md.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

By the way, I've noticed Constructing XYZ section is written in an inconsistent way; some are indexed while others are listed. Additionally, in specs/gloas/validator.md, XYZ in such sections are variable names, rather than container classes. All other sections in the spec use container classes. Do we want to polish this (probably in other PRs)?

```python
def get_attester_head(store: Store, head_root: Root) -> Root:
head_block = store.blocks[head_root]
head_hash = head_block.body.signed_execution_payload_bid.message.block_hash
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

shouldn't this be the parent_block_hash, or would it be simpler to just call is_inclusion_list_satisfied_block here as well, similar to get_proposer_head?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think calling is_inclusion_list_satisfied_block would be better. Thanks!

@barnabasbusa
Copy link
Member

Could we please remove gloas label from this PR, and possibly tag it with Heze?

@jtraglia
Copy link
Member

Could we please remove gloas label from this PR, and possibly tag it with Heze?

There's a misunderstanding. This PR is adding FOCIL to the Gloas specs.

Since we decided against this, we should just close the PR.

@jtraglia jtraglia closed this Jan 22, 2026
@jflo
Copy link

jflo commented Feb 3, 2026

Suggest reopening and tagging with Heze now that this is CFI'd for Hegotá

@jihoonsong
Copy link
Member Author

@jflo Thanks for suggestion! I was waiting for the headliner decision but I can make a PR that rebases EIP-7805 on Gloas.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants