status-im/eth2.0-specs
2
0
Fork 0
mirror of https://github.com/status-im/eth2.0-specs.git synced 2025-02-26 09:15:17 +00:00
Code Issues Projects Releases Wiki Activity

fix references to eip4844

Browse Source
This commit is contained in:
Paul Harris 2023-02-08 09:22:28 +10:00 committed by Dankrad Feist
parent 901303f14f
commit 470c1b14b3
No known key found for this signature in database
GPG Key ID: 6815E6A20BEBBABA
9 changed files with 35 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -25,7 +25,7 @@ Features are researched and developed in parallel, and then consolidated into se
| Code Name or Topic | Specs | Notes | | Code Name or Topic | Specs | Notes |
| - | - | - | | - | - | - |
| Capella (tentative) | <ul><li>Core</li><ul><li>[Beacon chain changes](specs/capella/beacon-chain.md)</li><li>[Capella fork](specs/capella/fork.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol changes](specs/capella/light-client/sync-protocol.md) ([fork](specs/capella/light-client/fork.md), [full node](specs/capella/light-client/full-node.md), [networking](specs/capella/light-client/p2p-interface.md))</li></ul><ul><li>[Validator additions](specs/capella/validator.md)</li><li>[P2P networking](specs/capella/p2p-interface.md)</li></ul></ul> | | Capella (tentative) | <ul><li>Core</li><ul><li>[Beacon chain changes](specs/capella/beacon-chain.md)</li><li>[Capella fork](specs/capella/fork.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol changes](specs/capella/light-client/sync-protocol.md) ([fork](specs/capella/light-client/fork.md), [full node](specs/capella/light-client/full-node.md), [networking](specs/capella/light-client/p2p-interface.md))</li></ul><ul><li>[Validator additions](specs/capella/validator.md)</li><li>[P2P networking](specs/capella/p2p-interface.md)</li></ul></ul> |
| Deneb (tentative) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/deneb/beacon-chain.md)</li><li>[EIP-4844 fork](specs/deneb/fork.md)</li><li>[Polynomial commitments](specs/deneb/polynomial-commitments.md)</li><li>[Fork choice changes](specs/deneb/fork-choice.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol changes](specs/deneb/light-client/sync-protocol.md) ([fork](specs/deneb/light-client/fork.md), [full node](specs/deneb/light-client/full-node.md), [networking](specs/deneb/light-client/p2p-interface.md))</li></ul><ul><li>[Honest validator guide changes](specs/deneb/validator.md)</li><li>[P2P networking](specs/deneb/p2p-interface.md)</li></ul></ul> | | Deneb (tentative) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/deneb/beacon-chain.md)</li><li>[Deneb fork](specs/deneb/fork.md)</li><li>[Polynomial commitments](specs/deneb/polynomial-commitments.md)</li><li>[Fork choice changes](specs/deneb/fork-choice.md)</li></ul><li>Additions</li><ul><li>[Light client sync protocol changes](specs/deneb/light-client/sync-protocol.md) ([fork](specs/deneb/light-client/fork.md), [full node](specs/deneb/light-client/full-node.md), [networking](specs/deneb/light-client/p2p-interface.md))</li></ul><ul><li>[Honest validator guide changes](specs/deneb/validator.md)</li><li>[P2P networking](specs/deneb/p2p-interface.md)</li></ul></ul> |
| Sharding (outdated) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/sharding/beacon-chain.md)</li></ul><li>Additions</li><ul><li>[P2P networking](specs/sharding/p2p-interface.md)</li></ul></ul> | | Sharding (outdated) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/sharding/beacon-chain.md)</li></ul><li>Additions</li><ul><li>[P2P networking](specs/sharding/p2p-interface.md)</li></ul></ul> |
| Custody Game (outdated) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/custody_game/beacon-chain.md)</li></ul><li>Additions</li><ul><li>[Honest validator guide changes](specs/custody_game/validator.md)</li></ul></ul> | Dependent on sharding | | Custody Game (outdated) | <ul><li>Core</li><ul><li>[Beacon Chain changes](specs/custody_game/beacon-chain.md)</li></ul><li>Additions</li><ul><li>[Honest validator guide changes](specs/custody_game/validator.md)</li></ul></ul> | Dependent on sharding |
| Data Availability Sampling (outdated) | <ul><li>Core</li><ul><li>[Core types and functions](specs/das/das-core.md)</li><li>[Fork choice changes](specs/das/fork-choice.md)</li></ul><li>Additions</li><ul><li>[P2P Networking](specs/das/p2p-interface.md)</li><li>[Sampling process](specs/das/sampling.md)</li></ul></ul> | <ul><li> Dependent on sharding</li><li>[Technical explainer](https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/B1YJPGkpD)</li></ul> | | Data Availability Sampling (outdated) | <ul><li>Core</li><ul><li>[Core types and functions](specs/das/das-core.md)</li><li>[Fork choice changes](specs/das/fork-choice.md)</li></ul><li>Additions</li><ul><li>[P2P Networking](specs/das/p2p-interface.md)</li><li>[Sampling process](specs/das/sampling.md)</li></ul></ul> | <ul><li> Dependent on sharding</li><li>[Technical explainer](https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/B1YJPGkpD)</li></ul> |

22
specs/deneb/beacon-chain.md
View File

@ -1,4 +1,4 @@
# EIP-4844 -- The Beacon Chain # Deneb -- The Beacon Chain
**Notice**: This document is a work-in-progress for researchers and implementers. **Notice**: This document is a work-in-progress for researchers and implementers.
@ -37,7 +37,7 @@
## Introduction ## Introduction
This upgrade adds blobs to the beacon chain as part of EIP-4844. This is an extension of the Capella upgrade. This upgrade adds blobs to the beacon chain as part of Deneb. This is an extension of the Capella upgrade.
## Custom types ## Custom types
@ -86,9 +86,9 @@ class BeaconBlockBody(Container):
voluntary_exits: List[SignedVoluntaryExit, MAX_VOLUNTARY_EXITS] voluntary_exits: List[SignedVoluntaryExit, MAX_VOLUNTARY_EXITS]
sync_aggregate: SyncAggregate sync_aggregate: SyncAggregate
# Execution # Execution
execution_payload: ExecutionPayload # [Modified in EIP-4844] execution_payload: ExecutionPayload # [Modified in Deneb]
bls_to_execution_changes: List[SignedBLSToExecutionChange, MAX_BLS_TO_EXECUTION_CHANGES] bls_to_execution_changes: List[SignedBLSToExecutionChange, MAX_BLS_TO_EXECUTION_CHANGES]
blob_kzg_commitments: List[KZGCommitment, MAX_BLOBS_PER_BLOCK] # [New in EIP-4844] blob_kzg_commitments: List[KZGCommitment, MAX_BLOBS_PER_BLOCK] # [New in Deneb]
``` ```
#### `ExecutionPayload` #### `ExecutionPayload`
@ -108,7 +108,7 @@ class ExecutionPayload(Container):
timestamp: uint64 timestamp: uint64
extra_data: ByteList[MAX_EXTRA_DATA_BYTES] extra_data: ByteList[MAX_EXTRA_DATA_BYTES]
base_fee_per_gas: uint256 base_fee_per_gas: uint256
excess_data_gas: uint256 # [New in EIP-4844] excess_data_gas: uint256 # [New in Deneb]
# Extra payload fields # Extra payload fields
block_hash: Hash32 # Hash of execution block block_hash: Hash32 # Hash of execution block
transactions: List[Transaction, MAX_TRANSACTIONS_PER_PAYLOAD] transactions: List[Transaction, MAX_TRANSACTIONS_PER_PAYLOAD]
@ -132,7 +132,7 @@ class ExecutionPayloadHeader(Container):
timestamp: uint64 timestamp: uint64
extra_data: ByteList[MAX_EXTRA_DATA_BYTES] extra_data: ByteList[MAX_EXTRA_DATA_BYTES]
base_fee_per_gas: uint256 base_fee_per_gas: uint256
excess_data_gas: uint256 # [New in EIP-4844] excess_data_gas: uint256 # [New in Deneb]
# Extra payload fields # Extra payload fields
block_hash: Hash32 # Hash of execution block block_hash: Hash32 # Hash of execution block
transactions_root: Root transactions_root: Root
@ -152,7 +152,7 @@ def kzg_commitment_to_versioned_hash(kzg_commitment: KZGCommitment) -> Versioned
#### `tx_peek_blob_versioned_hashes` #### `tx_peek_blob_versioned_hashes`
This function retrieves the hashes from the `SignedBlobTransaction` as defined in EIP-4844, using SSZ offsets. This function retrieves the hashes from the `SignedBlobTransaction` as defined in Deneb, using SSZ offsets.
Offsets are little-endian `uint32` values, as defined in the [SSZ specification](../../ssz/simple-serialize.md). Offsets are little-endian `uint32` values, as defined in the [SSZ specification](../../ssz/simple-serialize.md).
See [the full details of `blob_versioned_hashes` offset calculation](https://gist.github.com/protolambda/23bd106b66f6d4bb854ce46044aa3ca3). See [the full details of `blob_versioned_hashes` offset calculation](https://gist.github.com/protolambda/23bd106b66f6d4bb854ce46044aa3ca3).
@ -192,12 +192,12 @@ def process_block(state: BeaconState, block: BeaconBlock) -> None:
process_block_header(state, block) process_block_header(state, block)
if is_execution_enabled(state, block.body): if is_execution_enabled(state, block.body):
process_withdrawals(state, block.body.execution_payload) process_withdrawals(state, block.body.execution_payload)
process_execution_payload(state, block.body.execution_payload, EXECUTION_ENGINE) # [Modified in EIP-4844] process_execution_payload(state, block.body.execution_payload, EXECUTION_ENGINE) # [Modified in Deneb]
process_randao(state, block.body) process_randao(state, block.body)
process_eth1_data(state, block.body) process_eth1_data(state, block.body)
process_operations(state, block.body) process_operations(state, block.body)
process_sync_aggregate(state, block.body.sync_aggregate) process_sync_aggregate(state, block.body.sync_aggregate)
process_blob_kzg_commitments(state, block.body) # [New in EIP-4844] process_blob_kzg_commitments(state, block.body) # [New in Deneb]
``` ```
#### Execution payload #### Execution payload
@ -230,7 +230,7 @@ def process_execution_payload(state: BeaconState, payload: ExecutionPayload, exe
timestamp=payload.timestamp, timestamp=payload.timestamp,
extra_data=payload.extra_data, extra_data=payload.extra_data,
base_fee_per_gas=payload.base_fee_per_gas, base_fee_per_gas=payload.base_fee_per_gas,
excess_data_gas=payload.excess_data_gas, # [New in EIP-4844] excess_data_gas=payload.excess_data_gas, # [New in Deneb]
block_hash=payload.block_hash, block_hash=payload.block_hash,
transactions_root=hash_tree_root(payload.transactions), transactions_root=hash_tree_root(payload.transactions),
withdrawals_root=hash_tree_root(payload.withdrawals), withdrawals_root=hash_tree_root(payload.withdrawals),
@ -247,7 +247,7 @@ def process_blob_kzg_commitments(state: BeaconState, body: BeaconBlockBody) -> N
## Testing ## Testing
*Note*: The function `initialize_beacon_state_from_eth1` is modified for pure EIP-4844 testing only. *Note*: The function `initialize_beacon_state_from_eth1` is modified for pure Deneb testing only.
The `BeaconState` initialization is unchanged, except for the use of the updated `deneb.BeaconBlockBody` type The `BeaconState` initialization is unchanged, except for the use of the updated `deneb.BeaconBlockBody` type
when initializing the first body-root. when initializing the first body-root.

6
specs/deneb/fork-choice.md
View File

@ -1,4 +1,4 @@
# EIP-4844 -- Fork Choice # Deneb -- Fork Choice
## Table of contents ## Table of contents
<!-- TOC --> <!-- TOC -->
@ -19,7 +19,7 @@
## Introduction ## Introduction
This is the modification of the fork choice accompanying the EIP-4844 upgrade. This is the modification of the fork choice accompanying the Deneb upgrade.
## Containers ## Containers
@ -100,7 +100,7 @@ def on_block(store: Store, signed_block: SignedBeaconBlock) -> None:
# Check block is a descendant of the finalized block at the checkpoint finalized slot # Check block is a descendant of the finalized block at the checkpoint finalized slot
assert get_ancestor(store, block.parent_root, finalized_slot) == store.finalized_checkpoint.root assert get_ancestor(store, block.parent_root, finalized_slot) == store.finalized_checkpoint.root
# [New in EIP-4844] # [New in Deneb]
# Check if blob data is available # Check if blob data is available
# If not, this block MAY be queued and subsequently considered when blob data becomes available # If not, this block MAY be queued and subsequently considered when blob data becomes available
assert is_data_available(block.slot, hash_tree_root(block), block.body.blob_kzg_commitments) assert is_data_available(block.slot, hash_tree_root(block), block.body.blob_kzg_commitments)

10
specs/deneb/fork.md
View File

@ -1,4 +1,4 @@
# EIP-4844 -- Fork Logic # Deneb -- Fork Logic
**Notice**: This document is a work-in-progress for researchers and implementers. **Notice**: This document is a work-in-progress for researchers and implementers.
@ -12,7 +12,7 @@
- [Helper functions](#helper-functions) - [Helper functions](#helper-functions)
- [Misc](#misc) - [Misc](#misc)
- [Modified `compute_fork_version`](#modified-compute_fork_version) - [Modified `compute_fork_version`](#modified-compute_fork_version)
- [Fork to EIP-4844](#fork-to-eip-4844) - [Fork to Deneb](#fork-to-deneb)
- [Fork trigger](#fork-trigger) - [Fork trigger](#fork-trigger)
- [Upgrading the state](#upgrading-the-state) - [Upgrading the state](#upgrading-the-state)
@ -20,7 +20,7 @@
## Introduction ## Introduction
This document describes the process of EIP-4844 upgrade. This document describes the process of Deneb upgrade.
## Configuration ## Configuration
@ -53,7 +53,7 @@ def compute_fork_version(epoch: Epoch) -> Version:
return GENESIS_FORK_VERSION return GENESIS_FORK_VERSION
``` ```
## Fork to EIP-4844 ## Fork to Deneb
### Fork trigger ### Fork trigger
@ -82,7 +82,7 @@ def upgrade_to_deneb(pre: capella.BeaconState) -> BeaconState:
timestamp=pre.latest_execution_payload_header.timestamp, timestamp=pre.latest_execution_payload_header.timestamp,
extra_data=pre.latest_execution_payload_header.extra_data, extra_data=pre.latest_execution_payload_header.extra_data,
base_fee_per_gas=pre.latest_execution_payload_header.base_fee_per_gas, base_fee_per_gas=pre.latest_execution_payload_header.base_fee_per_gas,
excess_data_gas=uint256(0), # [New in EIP-4844] excess_data_gas=uint256(0), # [New in Deneb]
block_hash=pre.latest_execution_payload_header.block_hash, block_hash=pre.latest_execution_payload_header.block_hash,
transactions_root=pre.latest_execution_payload_header.transactions_root, transactions_root=pre.latest_execution_payload_header.transactions_root,
withdrawals_root=pre.latest_execution_payload_header.withdrawals_root, withdrawals_root=pre.latest_execution_payload_header.withdrawals_root,

10
specs/deneb/p2p-interface.md
View File

@ -1,6 +1,6 @@
# EIP-4844 -- Networking # Deneb -- Networking
This document contains the consensus-layer networking specification for EIP-4844. This document contains the consensus-layer networking specification for Deneb.
The specification of these changes continues in the same format as the network specifications of previous upgrades, and assumes them as pre-requisite. The specification of these changes continues in the same format as the network specifications of previous upgrades, and assumes them as pre-requisite.
@ -50,7 +50,7 @@ class SignedBeaconBlockAndBlobsSidecar(Container):
## The gossip domain: gossipsub ## The gossip domain: gossipsub
Some gossip meshes are upgraded in the fork of EIP-4844 to support upgraded types. Some gossip meshes are upgraded in the fork of Deneb to support upgraded types.
### Topics and messages ### Topics and messages
@ -69,7 +69,7 @@ The new topics along with the type of the `data` field of a gossipsub message ar
#### Global topics #### Global topics
EIP-4844 introduces a new global topic for beacon block and blobs-sidecars. Deneb introduces a new global topic for beacon block and blobs-sidecars.
##### `beacon_block` ##### `beacon_block`
@ -107,7 +107,7 @@ details on how to handle transitioning gossip topics for this upgrade.
**Protocol ID:** `/eth2/beacon_chain/req/beacon_blocks_by_range/2/` **Protocol ID:** `/eth2/beacon_chain/req/beacon_blocks_by_range/2/`
The EIP-4844 fork-digest is introduced to the `context` enum to specify EIP-4844 beacon block type. The Deneb fork-digest is introduced to the `context` enum to specify Deneb beacon block type.
Per `context = compute_fork_digest(fork_version, genesis_validators_root)`: Per `context = compute_fork_digest(fork_version, genesis_validators_root)`:

6
specs/deneb/polynomial-commitments.md
View File

@ -1,4 +1,4 @@
# EIP-4844 -- Polynomial Commitments # Deneb -- Polynomial Commitments
## Table of contents ## Table of contents
@ -48,7 +48,7 @@
## Introduction ## Introduction
This document specifies basic polynomial operations and KZG polynomial commitment operations as they are needed for the EIP-4844 specification. The implementations are not optimized for performance, but readability. All practical implementations should optimize the polynomial operations. This document specifies basic polynomial operations and KZG polynomial commitment operations as they are needed for the Deneb specification. The implementations are not optimized for performance, but readability. All practical implementations should optimize the polynomial operations.
Functions flagged as "Public method" MUST be provided by the underlying KZG library as public functions. All other functions are private functions used internally by the KZG library. Functions flagged as "Public method" MUST be provided by the underlying KZG library as public functions. All other functions are private functions used internally by the KZG library.
@ -337,7 +337,7 @@ def evaluate_polynomial_in_evaluation_form(polynomial: Polynomial,
### KZG ### KZG
KZG core functions. These are also defined in EIP-4844 execution specs. KZG core functions. These are also defined in Deneb execution specs.
#### `blob_to_kzg_commitment` #### `blob_to_kzg_commitment`

6
specs/deneb/validator.md
View File

@ -1,4 +1,4 @@
# EIP-4844 -- Honest Validator # Deneb -- Honest Validator
**Notice**: This document is a work-in-progress for researchers and implementers. **Notice**: This document is a work-in-progress for researchers and implementers.
@ -25,14 +25,14 @@
## Introduction ## Introduction
This document represents the changes to be made in the code of an "honest validator" to implement EIP-4844. This document represents the changes to be made in the code of an "honest validator" to implement Deneb.
## Prerequisites ## Prerequisites
This document is an extension of the [Capella -- Honest Validator](../capella/validator.md) guide. This document is an extension of the [Capella -- Honest Validator](../capella/validator.md) guide.
All behaviors and definitions defined in this document, and documents it extends, carry over unless explicitly noted or overridden. All behaviors and definitions defined in this document, and documents it extends, carry over unless explicitly noted or overridden.
All terminology, constants, functions, and protocol mechanics defined in the updated [Beacon Chain doc of EIP-4844](./beacon-chain.md) are requisite for this document and used throughout. All terminology, constants, functions, and protocol mechanics defined in the updated [Beacon Chain doc of Deneb](./beacon-chain.md) are requisite for this document and used throughout.
Please see related Beacon Chain doc before continuing and use them as a reference throughout. Please see related Beacon Chain doc before continuing and use them as a reference throughout.
## Helpers ## Helpers

2
tests/core/pyspec/eth2spec/test/helpers/sharding.py
View File

@ -12,7 +12,7 @@ from eth2spec.utils.ssz.ssz_impl import serialize
# #
# Containers from EIP-4844 # Containers from Deneb
# #
MAX_CALLDATA_SIZE = 2**24 MAX_CALLDATA_SIZE = 2**24
MAX_VERSIONED_HASHES_LIST_SIZE = 2**24 MAX_VERSIONED_HASHES_LIST_SIZE = 2**24

6
tests/generators/transition/main.py
View File

@ -16,8 +16,8 @@ from eth2spec.test.altair.transition import (
test_slashing as test_altair_slashing, test_slashing as test_altair_slashing,
test_operations as test_altair_operations, test_operations as test_altair_operations,
) )
from eth2spec.test.eip4844.transition import ( from eth2spec.test.deneb.transition import (
test_operations as test_eip4844_operations, test_operations as test_deneb_operations,
) )
@ -46,7 +46,7 @@ if __name__ == "__main__":
test_altair_leaking, test_altair_leaking,
test_altair_slashing, test_altair_slashing,
test_altair_operations, test_altair_operations,
test_eip4844_operations, test_deneb_operations,
) )
for transition_test_module in all_tests: for transition_test_module in all_tests:
for pre_fork, post_fork in ALL_PRE_POST_FORKS: for pre_fork, post_fork in ALL_PRE_POST_FORKS: