Tests for 1559 extended requirements

I don’t know where to put these, if we want to just place them in the same location as the random-tests, or somehow make a filler for them, so for now I’ll just open a ticket and we can see where to go from here.

These two tests checks the two necessary preconditions for transaction validity in EIP-1559

1559_MaxFeePerGasExceedsBalance.json:

{
  "MaxFeePerGasExceedsBalance": {
    "_info": {
      "comment": "This test checks the precondition in 1559: assert sender.balance >= gasLimit * transaction.max_fee_per_gas"
    },
    "env": {
      "currentCoinbase": "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
      "currentDifficulty": "0x20000",
      "currentGasLimit": "0x26e1f476fe1e22",
      "currentNumber": "0x1",
      "currentTimestamp": "0x3e8",
      "currentBaseFee": "0x100",
      "previousHash": "0x0000000000000000000000000000000000000000000000000000000000000000"
    },
    "pre": {
      "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
        "code": "0x",
        "storage": {},
        "balance": "0xffffffff",
        "nonce": "0x0"
      },
      "b94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
        "code": "0x",
        "storage": {},
        "balance": "0x0",
        "nonce": "0x1"
      }
    },
    "transaction": {
      "nonce": "0x0",
      "maxFeePerGas": "0x40000",
      "maxPriorityFeePerGas": "0x200",
      "to": "0x0000000000000000000000000000000000000000",
      "data": [
        "0x"
      ],
      "gasLimit": [
        "0x7530"
      ],
      "value": [
        "0x"
      ],
      "secretKey": "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8"
    },
    "out": "0x",
    "post": {
      "London": [
        {
          "hash": "4adfca7562e66619510a77ea7ea0fb3bef014c9053429fa99a15c8d0132d1789",
          "logs": "1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
          "indexes": {
            "data": 0,
            "gas": 0,
            "value": 0
          }
        }
      ]
    }
  }
}

and 1559_MaxPriorityFeePerGasExceedsMaxFeePerGas.json:

{
  "MaxPriorityFeePerGasExceedsMaxFeePerGas": {
    "_info": {
      "comment": "This test checks the precondition in 1559: assert transaction.max_fee_per_gas >= transaction.max_priority_fee_per_gas"
    },
    "env": {
      "currentCoinbase": "b94f5374fce5edbc8e2a8697c15331677e6ebf0b",
      "currentDifficulty": "0x20000",
      "currentGasLimit": "0x26e1f476fe1e22",
      "currentNumber": "0x1",
      "currentTimestamp": "0x3e8",
      "currentBaseFee": "0x100",
      "previousHash": "0x0000000000000000000000000000000000000000000000000000000000000000"
    },
    "pre": {
      "0xa94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
        "code": "0x",
        "storage": {},
        "balance": "0xffffffff",
        "nonce": "0x0"
      },
      "b94f5374fce5edbc8e2a8697c15331677e6ebf0b": {
        "code": "0x",
        "storage": {},
        "balance": "0x0",
        "nonce": "0x1"
      }
    },
    "transaction": {
      "nonce": "0x0",
      "maxFeePerGas": "0x200",
      "maxPriorityFeePerGas": "0x201",
      "to": "0x0000000000000000000000000000000000000000",
      "data": [
        "0x"
      ],
      "gasLimit": [
        "0x7530"
      ],
      "value": [
        "0x"
      ],
      "secretKey": "0x45a915e4d060149eb4365960e6a7a45f334393093061116b197e3240065ff2d8"
    },
    "out": "0x",
    "post": {
      "London": [
        {
          "hash": "4adfca7562e66619510a77ea7ea0fb3bef014c9053429fa99a15c8d0132d1789",
          "logs": "1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347",
          "indexes": {
            "data": 0,
            "gas": 0,
            "value": 0
          }
        }
      ]
    }
  }
}

[holiman]

@holiman , sorry I didn’t use your tests, but it was easier for me to just to yml

No worries at all! I just wanted to get the test covered, I don’t care if you use my code or something else entirely. Feel free to close this when it’s covered

[holiman]

@MarekM25 And nethermind also is in sync with geth:

./bins/nethtest -i 1559_MaxFee.json 
[
  {
    "name": "MaxFeePerGasExceedsBalance_d0g0v0_",
    "pass": true,
    "fork": "London"
  }
]