Shard Blob Transactions

[Ming]

EIP

https://eips.ethereum.org/EIPS/eip-4844

• new transaction BLOB_TX_TYPE := Bytes1(0x03) with new fields max_fee_per_blob_gas, blob_versioned_hashes in Transaction RLP

• new field excess_blob_gas in block header => this field is mandatory to compute gas cost.

  we might ignore another new field blob_gas_used and only re-included it when 1. block_hash 2. excess_blob_gas both computation are shift to prover work within circuit

• new opcode HASH_OPCODE_BYTE := Bytes1(0x49)

• new precompile defined at address POINT_EVALUATION_PRECOMPILE_ADDRESS := Bytes20(0x0A)

  can't leverage existing precompile https://eips.ethereum.org/EIPS/eip-197 to verify pairing since curve are different