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

specially mark the EIP4844 changes

Browse Source
This commit is contained in:
Hsiao-Wei Wang 2023-06-07 17:45:39 +08:00
parent 468b5be7b8
commit a547d47264
No known key found for this signature in database
GPG Key ID: AE3D6B174F971DE4
9 changed files with 44 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -41,16 +41,15 @@
## Introduction ## Introduction
This upgrade adds blobs to the beacon chain as part of Deneb. This is an extension of the Capella upgrade. Deneb is a consensus-layer upgrade containing a number of features. Including:
* [EIP-4844](https://eips.ethereum.org/EIPS/eip-4844): Shard Blob Transactions scale data-availability of Ethereum in a simple, forwards-compatible manner.
The blob transactions are packed into the execution payload by the EL/builder with their corresponding blobs being independently transmitted and are limited by `MAX_DATA_GAS_PER_BLOCK // DATA_GAS_PER_BLOB`. However the CL limit is independently defined by `MAX_BLOBS_PER_BLOCK`.
## Custom types ## Custom types
| Name | SSZ equivalent | Description | | Name | SSZ equivalent | Description |
| - | - | - | | - | - | - |
| `VersionedHash` | `Bytes32` | | | `VersionedHash` | `Bytes32` | [New in Deneb:EIP4844] |
| `BlobIndex` | `uint64` | | | `BlobIndex` | `uint64` | [New in Deneb:EIP4844] |
## Constants ## Constants
@ -73,8 +72,11 @@ The blob transactions are packed into the execution payload by the EL/builder wi
| Name | Value | Description | | Name | Value | Description |
| - | - | - | | - | - | - |
| `MAX_BLOB_COMMITMENTS_PER_BLOCK` | `uint64(2**12)` (= 4096) | hardfork independent fixed theoretical limit same as `LIMIT_BLOBS_PER_TX` (see EIP 4844) | | `MAX_BLOB_COMMITMENTS_PER_BLOCK` | `uint64(2**12)` (= 4096) | [New in Deneb:EIP4844] hardfork independent fixed theoretical limit same as `LIMIT_BLOBS_PER_TX` (see EIP 4844) |
| `MAX_BLOBS_PER_BLOCK` | `uint64(2**2)` (= 4) | Maximum number of blobs in a single block limited by `MAX_BLOB_COMMITMENTS_PER_BLOCK` | | `MAX_BLOBS_PER_BLOCK` | `uint64(2**2)` (= 4) | [New in Deneb:EIP4844] Maximum number of blobs in a single block limited by `MAX_BLOB_COMMITMENTS_PER_BLOCK` |
*Note*: The blob transactions are packed into the execution payload by the EL/builder with their corresponding blobs being independently transmitted
and are limited by `MAX_DATA_GAS_PER_BLOCK // DATA_GAS_PER_BLOB`. However the CL limit is independently defined by `MAX_BLOBS_PER_BLOCK`.
## Configuration ## Configuration
@ -100,9 +102,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 Deneb] execution_payload: ExecutionPayload # [Modified in Deneb:EIP4844]
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_BLOB_COMMITMENTS_PER_BLOCK] # [New in Deneb] blob_kzg_commitments: List[KZGCommitment, MAX_BLOB_COMMITMENTS_PER_BLOCK] # [New in Deneb:EIP4844]
``` ```
#### `ExecutionPayload` #### `ExecutionPayload`
@ -126,8 +128,8 @@ class ExecutionPayload(Container):
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]
withdrawals: List[Withdrawal, MAX_WITHDRAWALS_PER_PAYLOAD] withdrawals: List[Withdrawal, MAX_WITHDRAWALS_PER_PAYLOAD]
data_gas_used: uint64 # [New in Deneb] data_gas_used: uint64 # [New in Deneb:EIP4844]
excess_data_gas: uint64 # [New in Deneb] excess_data_gas: uint64 # [New in Deneb:EIP4844]
``` ```
#### `ExecutionPayloadHeader` #### `ExecutionPayloadHeader`
@ -151,8 +153,8 @@ class ExecutionPayloadHeader(Container):
block_hash: Hash32 # Hash of execution block block_hash: Hash32 # Hash of execution block
transactions_root: Root transactions_root: Root
withdrawals_root: Root withdrawals_root: Root
data_gas_used: uint64 # [New in Deneb] data_gas_used: uint64 # [New in Deneb:EIP4844]
excess_data_gas: uint64 # [New in Deneb] excess_data_gas: uint64 # [New in Deneb:EIP4844]
``` ```
## Helper functions ## Helper functions
@ -205,7 +207,7 @@ def verify_and_notify_new_payload(self: ExecutionEngine,
if not self.is_valid_block_hash(new_payload_request.execution_payload): if not self.is_valid_block_hash(new_payload_request.execution_payload):
return False return False
# [New in Deneb] # [New in Deneb:EIP4844]
if not self.is_valid_versioned_hashes(new_payload_request): if not self.is_valid_versioned_hashes(new_payload_request):
return False return False
@ -232,11 +234,11 @@ def process_execution_payload(state: BeaconState, body: BeaconBlockBody, executi
# Verify timestamp # Verify timestamp
assert payload.timestamp == compute_timestamp_at_slot(state, state.slot) assert payload.timestamp == compute_timestamp_at_slot(state, state.slot)
# [New in Deneb] Verify commitments are under limit # [New in Deneb:EIP4844] Verify commitments are under limit
assert len(body.blob_kzg_commitments) <= MAX_BLOBS_PER_BLOCK assert len(body.blob_kzg_commitments) <= MAX_BLOBS_PER_BLOCK
# Verify the execution payload is valid # Verify the execution payload is valid
# [Modified in Deneb] Pass `versioned_hashes` to Execution Engine # [Modified in Deneb:EIP4844] Pass `versioned_hashes` to Execution Engine
versioned_hashes = [kzg_commitment_to_versioned_hash(commitment) for commitment in body.blob_kzg_commitments] versioned_hashes = [kzg_commitment_to_versioned_hash(commitment) for commitment in body.blob_kzg_commitments]
assert execution_engine.verify_and_notify_new_payload( assert execution_engine.verify_and_notify_new_payload(
NewPayloadRequest(execution_payload=payload, versioned_hashes=versioned_hashes) NewPayloadRequest(execution_payload=payload, versioned_hashes=versioned_hashes)
@ -259,8 +261,8 @@ def process_execution_payload(state: BeaconState, body: BeaconBlockBody, executi
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),
data_gas_used=payload.data_gas_used, # [New in Deneb] data_gas_used=payload.data_gas_used, # [New in Deneb:EIP4844]
excess_data_gas=payload.excess_data_gas, # [New in Deneb] excess_data_gas=payload.excess_data_gas, # [New in Deneb:EIP4844]
) )
``` ```

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

@ -25,6 +25,8 @@ This is the modification of the fork choice accompanying the Deneb upgrade.
#### `is_data_available` #### `is_data_available`
[New in Deneb:EIP4844]
The implementation of `is_data_available` will become more sophisticated during later scaling upgrades. The implementation of `is_data_available` will become more sophisticated during later scaling upgrades.
Initially, verification requires every verifying actor to retrieve all matching `Blob`s and `KZGProof`s, and validate them with `verify_blob_kzg_proof_batch`. Initially, verification requires every verifying actor to retrieve all matching `Blob`s and `KZGProof`s, and validate them with `verify_blob_kzg_proof_batch`.
@ -76,7 +78,7 @@ def on_block(store: Store, signed_block: SignedBeaconBlock) -> None:
) )
assert store.finalized_checkpoint.root == finalized_checkpoint_block assert store.finalized_checkpoint.root == finalized_checkpoint_block
# [New in Deneb] # [New in Deneb:EIP4844]
# 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(hash_tree_root(block), block.body.blob_kzg_commitments) assert is_data_available(hash_tree_root(block), block.body.blob_kzg_commitments)

6
specs/deneb/fork.md
View File

@ -83,8 +83,8 @@ def upgrade_to_deneb(pre: capella.BeaconState) -> BeaconState:
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,
data_gas_used=uint64(0), # [New in Deneb] data_gas_used=uint64(0), # [New in Deneb:EIP4844]
excess_data_gas=uint64(0), # [New in Deneb] excess_data_gas=uint64(0), # [New in Deneb:EIP4844]
) )
post = BeaconState( post = BeaconState(
# Versioning # Versioning
@ -126,7 +126,7 @@ def upgrade_to_deneb(pre: capella.BeaconState) -> BeaconState:
current_sync_committee=pre.current_sync_committee, current_sync_committee=pre.current_sync_committee,
next_sync_committee=pre.next_sync_committee, next_sync_committee=pre.next_sync_committee,
# Execution-layer # Execution-layer
latest_execution_payload_header=latest_execution_payload_header, # [Modified in Deneb] latest_execution_payload_header=latest_execution_payload_header, # [Modified in Deneb:EIP4844]
# Withdrawals # Withdrawals
next_withdrawal_index=pre.next_withdrawal_index, next_withdrawal_index=pre.next_withdrawal_index,
next_withdrawal_validator_index=pre.next_withdrawal_validator_index, next_withdrawal_validator_index=pre.next_withdrawal_validator_index,

4
specs/deneb/light-client/fork.md
View File

@ -41,8 +41,8 @@ def upgrade_lc_header_to_deneb(pre: capella.LightClientHeader) -> LightClientHea
block_hash=pre.execution.block_hash, block_hash=pre.execution.block_hash,
transactions_root=pre.execution.transactions_root, transactions_root=pre.execution.transactions_root,
withdrawals_root=pre.execution.withdrawals_root, withdrawals_root=pre.execution.withdrawals_root,
data_gas_used=uint64(0), # [New in Deneb] data_gas_used=uint64(0), # [New in Deneb:EIP4844]
excess_data_gas=uint64(0), # [New in Deneb] excess_data_gas=uint64(0), # [New in Deneb:EIP4844]
), ),
execution_branch=pre.execution_branch, execution_branch=pre.execution_branch,
) )

2
specs/deneb/light-client/full-node.md
View File

@ -47,7 +47,7 @@ def block_to_light_client_header(block: SignedBeaconBlock) -> LightClientHeader:
withdrawals_root=hash_tree_root(payload.withdrawals), withdrawals_root=hash_tree_root(payload.withdrawals),
) )
# [New in Deneb] # [New in Deneb:EIP4844]
if epoch >= DENEB_FORK_EPOCH: if epoch >= DENEB_FORK_EPOCH:
execution_header.data_gas_used = payload.data_gas_used execution_header.data_gas_used = payload.data_gas_used
execution_header.excess_data_gas = payload.excess_data_gas execution_header.excess_data_gas = payload.excess_data_gas

2
specs/deneb/light-client/sync-protocol.md
View File

@ -66,7 +66,7 @@ def get_lc_execution_root(header: LightClientHeader) -> Root:
def is_valid_light_client_header(header: LightClientHeader) -> bool: def is_valid_light_client_header(header: LightClientHeader) -> bool:
epoch = compute_epoch_at_slot(header.beacon.slot) epoch = compute_epoch_at_slot(header.beacon.slot)
# [New in Deneb] # [New in Deneb:EIP4844]
if epoch < DENEB_FORK_EPOCH: if epoch < DENEB_FORK_EPOCH:
if header.execution.data_gas_used != uint64(0) or header.execution.excess_data_gas != uint64(0): if header.execution.data_gas_used != uint64(0) or header.execution.excess_data_gas != uint64(0):
return False return False

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

@ -50,6 +50,8 @@ The specification of these changes continues in the same format as the network s
#### `BlobSidecar` #### `BlobSidecar`
[New in Deneb:EIP4844]
```python ```python
class BlobSidecar(Container): class BlobSidecar(Container):
block_root: Root block_root: Root
@ -64,6 +66,8 @@ class BlobSidecar(Container):
#### `SignedBlobSidecar` #### `SignedBlobSidecar`
[New in Deneb:EIP4844]
```python ```python
class SignedBlobSidecar(Container): class SignedBlobSidecar(Container):
message: BlobSidecar message: BlobSidecar
@ -72,6 +76,8 @@ class SignedBlobSidecar(Container):
#### `BlobIdentifier` #### `BlobIdentifier`
[New in Deneb:EIP4844]
```python ```python
class BlobIdentifier(Container): class BlobIdentifier(Container):
block_root: Root block_root: Root
@ -107,7 +113,7 @@ The new topics along with the type of the `data` field of a gossipsub message ar
| Name | Message Type | | Name | Message Type |
| - | - | | - | - |
| `blob_sidecar_{subnet_id}` | `SignedBlobSidecar` (new) | | `blob_sidecar_{subnet_id}` | `SignedBlobSidecar` [New in Deneb:EIP4844] |
##### Global topics ##### Global topics
@ -124,6 +130,8 @@ New validation:
###### `blob_sidecar_{subnet_id}` ###### `blob_sidecar_{subnet_id}`
[New in Deneb:EIP4844]
This topic is used to propagate signed blob sidecars, where each blob index maps to some `subnet_id`. This topic is used to propagate signed blob sidecars, where each blob index maps to some `subnet_id`.
The following validations MUST pass before forwarding the `signed_blob_sidecar` on the network, assuming the alias `sidecar = signed_blob_sidecar.message`: The following validations MUST pass before forwarding the `signed_blob_sidecar` on the network, assuming the alias `sidecar = signed_blob_sidecar.message`:
@ -191,7 +199,7 @@ No more than `MAX_REQUEST_BLOCKS_DENEB` may be requested at a time.
**Protocol ID:** `/eth2/beacon_chain/req/blob_sidecars_by_root/1/` **Protocol ID:** `/eth2/beacon_chain/req/blob_sidecars_by_root/1/`
New in deneb. [New in Deneb:EIP4844]
The `<context-bytes>` field is calculated as `context = compute_fork_digest(fork_version, genesis_validators_root)`: The `<context-bytes>` field is calculated as `context = compute_fork_digest(fork_version, genesis_validators_root)`:
@ -240,7 +248,7 @@ Clients MAY limit the number of blocks and sidecars in the response.
**Protocol ID:** `/eth2/beacon_chain/req/blob_sidecars_by_range/1/` **Protocol ID:** `/eth2/beacon_chain/req/blob_sidecars_by_range/1/`
New in deneb. [New in Deneb:EIP4844]
The `<context-bytes>` field is calculated as `context = compute_fork_digest(fork_version, genesis_validators_root)`: The `<context-bytes>` field is calculated as `context = compute_fork_digest(fork_version, genesis_validators_root)`:

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

@ -336,7 +336,7 @@ def evaluate_polynomial_in_evaluation_form(polynomial: Polynomial,
### KZG ### KZG
KZG core functions. These are also defined in Deneb execution specs. KZG core functions. These are also defined in Deneb execution specs for EIP-4844.
#### `blob_to_kzg_commitment` #### `blob_to_kzg_commitment`

2
specs/deneb/validator.md
View File

@ -98,6 +98,8 @@ All validator responsibilities remain unchanged other than those noted below.
##### Blob KZG commitments ##### Blob KZG commitments
[New in Deneb:EIP4844]
1. After retrieving the execution payload from the execution engine as specified in Capella, 1. After retrieving the execution payload from the execution engine as specified in Capella,
use the `payload_id` to retrieve `blobs`, `blob_kzg_commitments`, and `blob_kzg_proofs` use the `payload_id` to retrieve `blobs`, `blob_kzg_commitments`, and `blob_kzg_proofs`
via `get_payload(payload_id).blobs_bundle`. via `get_payload(payload_id).blobs_bundle`.