主页EIPs
EIPsEIP-7045
EIP-7045

Increase max attestation inclusion slot

Increases max attestaton inclusion slot to the last slot in `N+1` where `N` is the epoch containing the attestation's slot.
ReviewStandards Track: Core
创建时间: 2023-05-18
Danny Ryan (@djrtwo)
社区讨论原文链接编辑
1 分钟了解

相关视频
欢迎补充好内容
去提交
正文

Abstract

Increases max attestation inclusion slot from attestation.slot + SLOTS_PER_EPOCH to the last slot of epoch N+1 where N is the epoch containing the attestation slot.

This increase is critical to the current LMD-GHOST security analysis as well as the confirmation rule.

Motivation

Attestations can currently be included after some minimum delay (1 slot on mainnet) up until SLOTS_PER_EPOCH slots after the slot the attestation was created in. This rolling window of one epoch was decided upon during Phase 0 because the equal inclusion window for any attestation was assessed as "fair". The alternative considered path was to allow inclusion during the current and next epoch which means attestations created during the start of an epoch have more potential slots of inclusion than those at the end of the epoch.

Since this decision, it has become apparent that the alternative design is critical for current LMD-GHOST security proofs as well as a new confirmation rule (which will allow for block confirmations in approximately 3-4 slots in normal mainnet conditions).

This specification thus increases the max inclusion slot for attestations in accordance with the learned security proof and confirmation rule needs.

Specification

Constants

NameValueComment
FORK_TIMESTAMPTBDMainnet

Execution layer

This requires no changes to the Execution Layer.

Consensus layer

Specification changes are built into the Consensus Specs Deneb upgrade.

The specification makes two minor changes to the state transition function:

  • Modify process_attestation to not have an upper bound on the slot check and instead define the inclusion range via the minimum slot as well as the target epoch being in either current or previous epoch.
  • Modify get_attestation_participation_flag_indices to set the TIMELY_TARGET_FLAG without consideration of inclusion_delay to ensure that the extended inclusion attestations have a non-zero reward.

Additionally, the specification modifies the attestation and aggregate attestation gossip conditions to allow for gossip during this extended range.

Rationale

Extended max inclusion slot

As discussed in the Motivation, extending this max inclusion slot to the end of the next epoch is critical for LMD-GHOST security proofs and confirmation rule.

Removal of inclusion_delay consideration for target reward

Previously, get_attestation_participation_flag_indices would only set the TIMELY_TARGET_FLAG (and thus reward for an attestation with correct target vote) if the attestation was included within a SLOTS_PER_EPOCH window.

The inclusion_delay consideration for this flag is removed to ensure that whatever the valid inclusion window is for an attestation, it can receive a baseline non-zero reward for correct target. This ensures that clients will still attempt to pack such attestations into blocks which is important for the security analysis.

Note, this was the intended behavior with the previously defined range which was equivalent to the max.

Backwards Compatibility

This EIP introduces backwards incompatible changes to the block validation rule set on the consensus layer and must be accompanied by a hard fork.

Security Considerations

This improves LMD-GHOST security as well as enables a fast confirmation rule.

There are no known negative impacts to security.

Copyright and related rights waived via CC0.

扩展阅读
欢迎补充好内容
去提交
相关项目
欢迎补充好内容
去提交

不想错过最新的 EIP 动态?

订阅 EIPs Fun 周刊以跟进相关更新,建⽴你与 EIP 之间的连接 ,更好地建设以太坊。

详情
聚集 EIP 贡献者, 扩展以太坊
资源
GitHub
支持社区