Tracking: EIP-4844

[onbjerg]

Describe the feature

Tracking issue for EIP-4844: Shard Blob Transactions

These are from the devnet-6 testnet spec found here

Primitives

Preview Give feedback

1. Add cancun header fields and validate checks #3941
   A-consensus M-eip +2
2. feat: add kzg_to_versioned_hash #4085
   +0
3. Add verify_kzg_proof (single proof) and verify_kzg_proofs (multiple proofs) - included in c-kzg
4. Add EIP-4844 blob transaction type #3746
   C-enhancement D-good-first-issue +2
   

Relevant documents:

• Polynomial commitment helpers, specifically verify_blob_kzg_proof and verify_blob_kzg_proof_batch

Execution

Preview Give feedback

1. EIP-4844: Shard Blob Transactions bluealloy/revm#526
   hf-cancun +1

Calculations/Consensus

Preview Give feedback

1. Add calc_excess_data_gas to calculate excess_data_gas
2. Add dummy fork for EIP-4844 testing

Relevant PRs:

• Update EIP-4844: add data_gas_used to header ethereum/EIPs#7062: This PR adds data_gas_used to the header (in addition to the pre-existing 4844 field excess_data_gas)
• Update EIP-4844: Cleanup transaction network payload references ethereum/EIPs#7038: Reorders the RLP encoding of blob transactions
• Update EIP-4844: Specify precompile input's z and y to be encoded as big endian ethereum/EIPs#7020: Note on the precompile inputs (z and y) being big endian

Engine API

Preview Give feedback

1. Support engine_newPayloadV3
2. Support engine_getPayloadV3
3. Support engine_forkchoiceUpdatedV3

Relevant documents:

• Engine API blob extension spec

Relevant PRs:

• Assert array items in BlobsBundleV1 to be of same length ethereum/execution-apis#404: Limits the number of blobs in BlobsBundleV1 to MAX_BLOBS_PER_BLOCK
• Add EIP-4844 transaction and receipt ethereum/execution-apis#398: Adds dataGasUsed and dataGasPrice to receipts for EIP-4844 transactions

Networking

Preview Give feedback

1. Add support for blob transactions
2. newpooledtransaction changes https://eips.ethereum.org/EIPS/eip-5793
3. Add blob txs PooledTransactions representation #3944
   A-networking C-enhancement E-cancun S-stale +4

Relevant documents:

• Networking section of the EIP

Transaction pool

Preview Give feedback

1. Add blob transaction ordering by new blob gas/fees fields
2. Add blob transaction validation

Relevant documents:

• Networking section of the EIP

Tests

Preview Give feedback

1. Support the engine API blob tests in hive

TODOS

Preview Give feedback

1. Add TxEip4844 to the Transaction enum
2. Additional gas/fee functions for blobs
3. Additional optional block data (similar to withdrawals): excessDataGas, dataGasUsed
4. RPC type updates: add optional extra fields, versioned hashes, blob gas fee cap
5. engine API V3 updates: Blobsbundle
6. Additional consensus checks
7. EIP4844 support in txpool
8. forkid/cancun timestamps
9. new transaction errors similar to dynamic fee: "max fee per data gas too low", "max blobs/data reached"
10. network/download changes: custom propagation sqrt peers is too big
11. Add eip4844 fields to genesis type #3929
    C-enhancement D-good-first-issue +2

Relevant PRs:

• simulators/ethereum/engine: Engine API Cancun ethereum/hive#759

Additional context

No response

[0xJepsen]

I have been working the parts of this in revm here bluealloy/revm#536
I have a full implementation i did with akworks in the "point_evaluation_old" and just pushed an updated version with the c-kzg ffi bindings that the EF audited here: https://github.com/ethereum/c-kzg-4844/tree/main/bindings/csharp

[0xJepsen]

You can grab the primitive you want from either implementations if you like or just use as an example. Where should they fit in the reth architecture? I'm happy to add them.

[tcoratger]

Item add TxEip4844 to the Transaction enum should be closed with #3953 no?

[mattsse]

completed