From f67ee2521d279732b0113c5f140fbe8dd0874e42 Mon Sep 17 00:00:00 2001 From: djrtwo Date: Thu, 18 May 2023 10:20:54 -0600 Subject: [PATCH 1/3] create attestation inclusion range eip --- EIPS/eip-X.md | 72 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 72 insertions(+) create mode 100644 EIPS/eip-X.md diff --git a/EIPS/eip-X.md b/EIPS/eip-X.md new file mode 100644 index 00000000000000..151bacd780f6d0 --- /dev/null +++ b/EIPS/eip-X.md @@ -0,0 +1,72 @@ +--- +eip: X +title: Increase attestation slot inclusion range +description: Increases attestaton slot inclusion range from `SLOTS_PER_EPOCH` to all slots greater than the attestation's slot and within epoch `N` and `N+1` where `N` the epoch containing the attestations slot. +author: Danny Ryan (@djrtwo) +discussions-to: +status: Draft +type: Standards Track +category: Core +created: 2023-05-18 +--- + +## Abstract + +Increases attestaton slot inclusion range from `SLOTS_PER_EPOCH` to all slots greater than the attestation's min inclusion slot and within epoch `N` and `N+1` where `N` the epoch containing the attestations 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 was initially made, 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 slot inclusion range for attestations in accordance with the learned security proof and confirmation rule needs. + +## Specification + +### Constants + +| Name | Value | Comment | +| - | - | - | +|`FORK_TIMESTAMP` | *TBD* | Mainnet | + +### Execution layer + +This requires no changes to the Execution Layer. + +### Consensus layer + +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 just rely on 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 inclusion range + +As discussed in the Motivation, extending this inclusion range to the current and 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 that an attestation 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. + +## 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 enabling a fast confirmation rule. + +There are no known negative impacts to security. + +## Copyright + +Copyright and related rights waived via [CC0](../LICENSE.md). + From e345e8b2c72e6dcc0777aba3e75445916e31fcfa Mon Sep 17 00:00:00 2001 From: djrtwo Date: Thu, 18 May 2023 10:24:50 -0600 Subject: [PATCH 2/3] add EIP number --- EIPS/{eip-X.md => eip-7045.md} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename EIPS/{eip-X.md => eip-7045.md} (99%) diff --git a/EIPS/eip-X.md b/EIPS/eip-7045.md similarity index 99% rename from EIPS/eip-X.md rename to EIPS/eip-7045.md index 151bacd780f6d0..088071503ea4d9 100644 --- a/EIPS/eip-X.md +++ b/EIPS/eip-7045.md @@ -1,5 +1,5 @@ --- -eip: X +eip: 7045 title: Increase attestation slot inclusion range description: Increases attestaton slot inclusion range from `SLOTS_PER_EPOCH` to all slots greater than the attestation's slot and within epoch `N` and `N+1` where `N` the epoch containing the attestations slot. author: Danny Ryan (@djrtwo) From 20c8e663ad5e7cb2718038fbeadc61061172074b Mon Sep 17 00:00:00 2001 From: djrtwo Date: Thu, 18 May 2023 10:27:28 -0600 Subject: [PATCH 3/3] add discussi5osn to for eip 7045 --- EIPS/eip-7045.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/EIPS/eip-7045.md b/EIPS/eip-7045.md index 088071503ea4d9..d26ec8bf5fcb2e 100644 --- a/EIPS/eip-7045.md +++ b/EIPS/eip-7045.md @@ -3,7 +3,7 @@ eip: 7045 title: Increase attestation slot inclusion range description: Increases attestaton slot inclusion range from `SLOTS_PER_EPOCH` to all slots greater than the attestation's slot and within epoch `N` and `N+1` where `N` the epoch containing the attestations slot. author: Danny Ryan (@djrtwo) -discussions-to: +discussions-to: https://ethereum-magicians.org/t/eip-7045-increase-attestation-slot-inclusion-range/14342 status: Draft type: Standards Track category: Core