Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Get proposer head #9134

Merged
merged 2 commits into from
Feb 19, 2025
Merged

Get proposer head #9134

merged 2 commits into from
Feb 19, 2025

Conversation

gfukushima
Copy link
Contributor

PR Description

Modifies get_proposer_head to include the inclusion list validation.

Fixed Issue(s)

Fixes #9099

Documentation

  • I thought about documentation and added the doc-change-required label to this PR if updates are required.

Changelog

  • I thought about adding a changelog entry, and added one if I deemed necessary.

Signed-off-by: Gabriel Fukushima <gabrielfukushima@gmail.com>
Signed-off-by: Gabriel Fukushima <gabrielfukushima@gmail.com>
@gfukushima gfukushima merged commit 8c2df73 into Consensys:focil Feb 19, 2025
14 checks passed
@@ -182,6 +182,10 @@ public Bytes32 getProposerHead(final Bytes32 headRoot, final UInt64 slot) {
LOG.debug("getProposerHead - return parentRoot - isHeadWeak true && isParentStrong true");
return head.getParentRoot();
}
if (!getStore().satisfiesInclusionList(headRoot)) {
Copy link
Contributor

Choose a reason for hiding this comment

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

Not sure about adding the IL check at this stage since we might end up never reaching this block.
The new spec states:

reorg_prerequisites = all([shuffling_stable, ffg_competitive, finalization_ok,
                           proposing_on_time, single_slot_reorg, head_weak, parent_strong])

    # Check that the head block is in the unsatisfied inclusion list blocks
    inclusion_list_not_satisfied = head_root in store.unsatisfied_inclusion_list_blocks  # [New in EIP-7805]

    if reorg_prerequisites and (head_late or inclusion_list_not_satisfied):
        return parent_root
    else:
        return head_root

So IMU the inclusion_list_not_satisfied should be taken into consideration in the other checks reorg_prerequisites

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants