-
Notifications
You must be signed in to change notification settings - Fork 39
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Implement Blob transactions (type-3) and BLOBHASH opcode (#50)
* Implement Blob transactions * Add new header fields blob_gas_used and excess_blob_gas * Add missing 'BlockBlobBaseFee' in interpreter initialization * Implement BLOBHASH opcode * Add BlobTransactionRlp for the parsing phase of the test runner * Apply review * Reduce BytePacking overhead for txn routing * Update BlobTransactionRlp as per EIP specification * Add tests
- Loading branch information
Showing
27 changed files
with
548 additions
and
42 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
157 changes: 157 additions & 0 deletions
157
evm_arithmetization/src/cpu/kernel/asm/transactions/type_3.asm
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,157 @@ | ||
| // Type 3 transactions, introduced by EIP 4844, have the format | ||
| // 0x03 || rlp([chain_id, nonce, max_priority_fee_per_gas, max_fee_per_gas, gas_limit, to, value, | ||
| // data, access_list, max_fee_per_blob_gas, blob_versioned_hashes, y_parity, r, s]) | ||
| // | ||
| // The signed data is | ||
| // keccak256(0x03 || rlp([chain_id, nonce, max_priority_fee_per_gas, max_fee_per_gas, gas_limit, | ||
| // to, value, data, access_list, max_fee_per_blob_gas, blob_versioned_hashes])) | ||
|
|
||
| global process_type_3_txn: | ||
| // stack: rlp_addr, retdest | ||
| // Initial rlp address offset of 1 (skipping over the 0x03 byte) | ||
| %add_const(1) | ||
| // stack: rlp_addr, retdest | ||
| %decode_rlp_list_len | ||
| // We don't actually need the length. | ||
| %stack (rlp_addr, len) -> (rlp_addr) | ||
|
|
||
| // stack: rlp_addr, retdest | ||
| %store_chain_id_present_true | ||
| %decode_and_store_chain_id | ||
| %decode_and_store_nonce | ||
| %decode_and_store_max_priority_fee | ||
| %decode_and_store_max_fee | ||
| %decode_and_store_gas_limit | ||
| %decode_and_store_to | ||
| %decode_and_store_value | ||
| %decode_and_store_data | ||
| %decode_and_store_access_list | ||
| %decode_and_store_max_fee_per_blob_gas | ||
| %decode_and_store_blob_versioned_hashes | ||
| %decode_and_store_y_parity | ||
| %decode_and_store_r | ||
| %decode_and_store_s | ||
|
|
||
| // stack: rlp_addr, retdest | ||
| POP | ||
| // stack: retdest | ||
|
|
||
| // From EIP-4844: | ||
| // The signature_y_parity, signature_r, signature_s elements of this transaction represent a secp256k1 signature over | ||
| // keccak256(0x03 || rlp([chain_id, nonce, max_priority_fee_per_gas, max_fee_per_gas, gas_limit, to, value, data, access_list, max_fee_per_blob_gas, blob_versioned_hashes])) | ||
| type_3_compute_signed_data: | ||
| %alloc_rlp_block | ||
| // stack: rlp_addr_start, retdest | ||
| %mload_txn_field(@TXN_FIELD_CHAIN_ID) | ||
| // stack: chain_id, rlp_start, retdest | ||
| DUP2 | ||
| // stack: rlp_addr, chain_id, rlp_start, retdest | ||
| %encode_rlp_scalar | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| %mload_txn_field(@TXN_FIELD_NONCE) | ||
| %encode_rlp_scalar_swapped_inputs | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| %mload_txn_field(@TXN_FIELD_MAX_PRIORITY_FEE_PER_GAS) | ||
| %encode_rlp_scalar_swapped_inputs | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| %mload_txn_field(@TXN_FIELD_MAX_FEE_PER_GAS) | ||
| %encode_rlp_scalar_swapped_inputs | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| %mload_txn_field(@TXN_FIELD_GAS_LIMIT) | ||
| %encode_rlp_scalar_swapped_inputs | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| // As per EIP-4844, blob transactions cannot have the form of a create transaction. | ||
| %mload_txn_field(@TXN_FIELD_TO) | ||
| %mload_global_metadata(@GLOBAL_METADATA_CONTRACT_CREATION) %jumpi(panic) | ||
| // stack: to, rlp_addr, rlp_start, retdest | ||
| SWAP1 %encode_rlp_160 | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| %mload_txn_field(@TXN_FIELD_VALUE) | ||
| %encode_rlp_scalar_swapped_inputs | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| // Encode txn data. | ||
| %mload_txn_field(@TXN_FIELD_DATA_LEN) | ||
| PUSH @SEGMENT_TXN_DATA // ctx == virt == 0 | ||
| // stack: ADDR, len, rlp_addr, rlp_start, retdest | ||
| PUSH after_serializing_txn_data | ||
| // stack: after_serializing_txn_data, ADDR, len, rlp_addr, rlp_start, retdest | ||
| SWAP3 | ||
| // stack: rlp_addr, ADDR, len, after_serializing_txn_data, rlp_start, retdest | ||
| %jump(encode_rlp_string) | ||
|
|
||
| after_serializing_txn_data: | ||
| // Instead of manually encoding the access list, we just copy the raw RLP from the transaction. | ||
| %mload_global_metadata(@GLOBAL_METADATA_ACCESS_LIST_RLP_START) | ||
| %mload_global_metadata(@GLOBAL_METADATA_ACCESS_LIST_RLP_LEN) | ||
| %stack (al_len, al_start, rlp_addr, rlp_start, retdest) -> | ||
| ( | ||
| rlp_addr, | ||
| al_start, | ||
| al_len, | ||
| after_serializing_access_list, | ||
| rlp_addr, rlp_start, retdest) | ||
| %jump(memcpy_bytes) | ||
| after_serializing_access_list: | ||
| // stack: rlp_addr, rlp_start, retdest | ||
| %mload_global_metadata(@GLOBAL_METADATA_ACCESS_LIST_RLP_LEN) ADD | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| %mload_txn_field(@TXN_FIELD_MAX_FEE_PER_BLOB_GAS) | ||
| %encode_rlp_scalar_swapped_inputs | ||
| // stack: rlp_addr, rlp_start, retdest | ||
|
|
||
| // Instead of manually encoding the blob versioned hashes, we just copy the raw RLP from the transaction. | ||
| %mload_global_metadata(@GLOBAL_METADATA_BLOB_VERSIONED_HASHES_RLP_START) | ||
| %mload_global_metadata(@GLOBAL_METADATA_BLOB_VERSIONED_HASHES_RLP_LEN) | ||
| %stack (bvh_len, bvh_start, rlp_addr, rlp_start, retdest) -> | ||
| ( | ||
| rlp_addr, | ||
| bvh_start, | ||
| bvh_len, | ||
| after_serializing_blob_versioned_hashes, | ||
| rlp_addr, rlp_start, retdest) | ||
| %jump(memcpy_bytes) | ||
| after_serializing_blob_versioned_hashes: | ||
| %prepend_rlp_list_prefix | ||
| // stack: prefix_start_pos, rlp_len, retdest | ||
|
|
||
| // Store a `3` in front of the RLP | ||
| %decrement | ||
| %stack (rlp_addr) -> (3, rlp_addr, rlp_addr) | ||
| MSTORE_GENERAL | ||
| // stack: rlp_addr, rlp_len, retdest | ||
|
|
||
| // Hash the RLP + the leading `3` | ||
| SWAP1 %increment SWAP1 | ||
| // stack: ADDR, len, retdest | ||
| KECCAK_GENERAL | ||
| // stack: hash, retdest | ||
|
|
||
| %mload_txn_field(@TXN_FIELD_S) | ||
| %mload_txn_field(@TXN_FIELD_R) | ||
| %mload_txn_field(@TXN_FIELD_Y_PARITY) %add_const(27) // ecrecover interprets v as y_parity + 27 | ||
|
|
||
| PUSH store_origin | ||
| // stack: store_origin, v, r, s, hash, retdest | ||
| SWAP4 | ||
| // stack: hash, v, r, s, store_origin, retdest | ||
| %jump(ecrecover) | ||
|
|
||
| store_origin: | ||
| // stack: address, retdest | ||
| // If ecrecover returned u256::MAX, that indicates failure. | ||
| DUP1 | ||
| %eq_const(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) | ||
| %jumpi(panic) | ||
|
|
||
| // stack: address, retdest | ||
| %mstore_txn_field(@TXN_FIELD_ORIGIN) | ||
| // stack: retdest | ||
| %jump(process_normalized_txn) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.