blockchain: implement EIP-2935

[hyunsooda]

Proposed changes

The main function has been implemented, but a task has been queued to simplify the history store callsite.

• Draft commit: c1714134 (implement the main function)
• Final commit: b38c8f2 (simplify the historical store callsite)

Contract Deployment Process

According to EIP-2935 deployment transaction artifact, the code below generate the exact same system history storage address.

[Requred by KF] 0. Run a deployment script and get raw tx

const ethers = require('ethers');
const tx = {
  "from": "0x3462413Af4609098e1E27A490f554f260213D685",
  "type": "0x00",
  "nonce": "0x",
  "to": "0x",
  "gas": "0x03d090",
  "gasPrice": "0xe8d4a51000",
  "maxPriorityFeePerGas": null,
  "maxFeePerGas": null,
  "value": "0x",
  "input": "0x60538060095f395ff33373fffffffffffffffffffffffffffffffffffffffe14604657602036036042575f35600143038111604257611fff81430311604257611fff9006545f5260205ff35b5f5ffd5b5f35611fff60014
303065500",
  "v": "0x1b",
  "r": "0x0539",
  "s": "0x0aa12693182426612186309f02cfe8a80a0000",
  "hash": "0x8c7bd2d3713a0b2bb693463d2a78c4d612ac47dd38ecb74f8996a4b6fc96f03c",
}

const signedEncodedTransaction = ethers.encodeRlp([tx.nonce, tx.gasPrice, tx.gas, tx.to, tx.value, tx.input, tx.v, tx.r, tx.s])
console.log(signedEncodedTransaction)

// generated rlp raw transcation bytes: 
0xf8838085e8d4a510008303d0908080b85c60538060095f395ff33373fffffffffffffffffffffffffffffffffffffffe14604657602036036042575f35600143038111604257611fff81430311604257611fff9006545f5260205ff35b5f5ffd5b5f35611fff600143030655001b820539930aa12693182426612186309f02cfe8a80a0000

[Requred by KF] 1. Send some kaia to sender

> kaia.sendTransaction({from:"0x96bd8e216c0d894c0486341288bf486d5686c5b6", to: "0x3462413Af4609098e1E27A490f554f260213D685", value: web3.toKei(1)})

[Requred by KF] 2. Send raw transaction

> eth.sendRawTransaction("0xf8838085e8d4a510008303d0908080b85c60538060095f395ff33373fffffffffffffffffffffffffffffffffffffffe14604657602036036042575f35600143038111604257611fff81430311604257611fff9006545f5260205ff35b5f5ffd5b5f35611fff600143030655001b820539930aa12693182426612186309f02cfe8a80a0000")
"0x67139a552b0d3fffc30c0fa7d0c20d42144138c8fe07fc5691f09c1cce632e15"


> kaia.getTransactionReceipt("0x67139a552b0d3fffc30c0fa7d0c20d42144138c8fe07fc5691f09c1cce632e15")
{
  blockHash: "0x2389aa584edb11ff4515cfda90b3db781732ae3cfbdd60097d0aabd806b2120e",
  blockNumber: 233,
  contractAddress: "0x0000f90827f1c53a10cb7a02335b175320002935",
  effectiveGasPrice: "0xe8d4a51000",
  from: "0x3462413af4609098e1e27a490f554f260213d685",
  gas: "0x3d090",
  gasPrice: "0xe8d4a51000",
  gasUsed: 71100,
  input: "0x60538060095f395ff33373fffffffffffffffffffffffffffffffffffffffe14604657602036036042575f35600143038111604257611fff81430311604257611fff9006545f5260205ff35b5f5ffd5b5f35611fff6001430
3065500",
  logs: [],
  logsBloom: "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  nonce: "0x0",
  senderTxHash: "0x67139a552b0d3fffc30c0fa7d0c20d42144138c8fe07fc5691f09c1cce632e15",
  signatures: [{
      R: "0x539",
      S: "0xaa12693182426612186309f02cfe8a80a0000",
      V: "0x1b"
  }],
  status: "0x1",
  to: null,
  transactionHash: "0x67139a552b0d3fffc30c0fa7d0c20d42144138c8fe07fc5691f09c1cce632e15",
  transactionIndex: 0,
  type: "TxTypeLegacyTransaction",
  typeInt: 0,
  value: "0x0"
}

Usage

1. Write a example contract

 // SPDX-License-Identifier: LGPL-3.0-only
 pragma solidity 0.8.24;

 contract EIP2935 {
     address constant HISTORY_STORAGE_ADDR = 0x0000F90827F1C53a10cb7A02335B175320002935;;

     function getHash(uint256 blockNumber) public returns (uint256) {
         (bool ok, bytes memory output) = HISTORY_STORAGE_ADDR.call(abi.encode(blockNumber));
         require(ok, "historical retreival error");
         return uint256(bytes32(output));
     }
 }

2. Deploy contract

❯ forge create "eip2935.sol:EIP2935" --rpc-url http://localhost:8145 --private-key b1d9873df4f8c8d2631be1950dd006be6e487bcf3a610d80e25d39f37c13ffa5
[⠊] Compiling...
[⠢] Compiling 1 files with Solc 0.8.24
[⠆] Solc 0.8.24 finished in 123.27ms
Compiler run successful!
Deployer: 0x96Bd8E216c0D894C0486341288Bf486d5686C5b6
Deployed to: 0x6db84BD1980f3326b29a74990eba850D0f6e06b0
Transaction hash: 0xec57ff52a5feb1324a258efd58d40810e07772f90186d5f70a5e9cd42fd73ac5

Once deployed, retrieval works like below:

> a = kaia.blockNumber
1103
> a.toString(16)
"44f"
> kaia.call({to:"0x6db84BD1980f3326b29a74990eba850D0f6e06b0", data:"0x6b2fafa9000000000000000000000000000000000000000000000000000000000000044f"})
"0xddef969a231e24a63aa43c5defb9362e2da13752cc6f55554e18c40d491d2305"
> kaia.getHeader(0x44f).hash
"0xddef969a231e24a63aa43c5defb9362e2da13752cc6f55554e18c40d491d2305"

Implementation details

• Add consensus.Engine.Initialize() that performs pre-block state transitions.
• TraceChain: traces blocks (start, end]

  for num = start; num < end; num++ {
-   statedb = StateAtBlock(num)
+   statedb = StateAtTransaction(num+1, 0)
    for tx in block(num+1)
      traceTx(tx)
  }

• TraceBlock: traces block num

- statedb = StateAtBlock(num-1)
+ statedb = StateAtTransaction(num, 0)
  for tx in block(num)
    traceTx(tx)

• TraceTransaction: traces the tx in block num -- unchanged

  statedb = StateAtTransaction(num, idx)
  traceTx(tx)

• TraceCall: traces the tx at the end of the block num, not the beginning of num+1 -- unchanged

  statedb = StateAtBlock(num)
  traceTx(tx)

Types of changes

Please put an x in the boxes related to your change.

• Bugfix
• New feature or enhancement
• Others

Checklist

Put an x in the boxes that apply. You can also fill these out after creating the PR. If you're unsure about any of them, don't hesitate to ask. We're here to help! This is simply a reminder of what we are going to look for before merging your code.

• I have read the CONTRIBUTING GUIDELINES doc
• I have read the CLA and signed by comment I have read the CLA Document and I hereby sign the CLA in first time contribute
• Lint and unit tests pass locally with my changes ($ make test)
• I have added tests that prove my fix is effective or that my feature works
• I have added necessary documentation (if appropriate)
• Any dependent changes have been merged and published in downstream modules

Related issues

• Please leave the issue numbers or links related to this PR here.

Further comments

If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc...

[hyeonLewis]

In PR Usage comments, the output seems not a block hash for 20333. Could you recheck this?

> kaia.call({to:"0x0eF71b533f074383A14696f7EeBD94446b10F679", data:"0x6b2fafa90000000000000000000000000000000000000000000000000000000000004f6d"}) // getHash(20333)
> 0x6b2fafa90000000000000000000000000000000000000000000000000000000000004f6d // <- It seems data for eth_call, not block hash at 20333.

[hyunsooda]

@hyeonLewis Thank you. Typo fixed.

[hyunsooda]

Currently, onboarding EIP-2935 requires additional modifications at the core level, specifically for:

• The historical storage contract address

Other changes involve deployment, but the provided artifact appears non-deployable (the signature value seems invalid). Once the artifact stabilizes, I’ll test it again.

cc. @blukat29