the current set of hacks

Author: acolytec3

packages/common/src/eips.ts

@@ -470,4 +470,7 @@ export const eipsDict: EIPsDict = {
     minimumHardfork: Hardfork.Chainstart,
     requiredEIPs: [2935],
   },
+  9999: {
+    minimumHardfork: Hardfork.Cancun,
+  },
 }

packages/evm/src/evm.ts

@@ -184,7 +184,7 @@ export class EVM implements EVMInterface {
     const supportedEIPs = [
       663, 1153, 1559, 2537, 2565, 2718, 2929, 2930, 2935, 3198, 3529, 3540, 3541, 3607, 3651, 3670,
       3855, 3860, 4200, 4399, 4750, 4788, 4844, 4895, 5133, 5450, 5656, 6110, 6206, 6780, 6800,
-      7002, 7069, 7251, 7480, 7516, 7620, 7685, 7691, 7692, 7698, 7702, 7709,
+      7002, 7069, 7251, 7480, 7516, 7620, 7685, 7691, 7692, 7698, 7702, 7709, 9999,
     ]
 
     for (const eip of this.common.eips()) {

packages/evm/src/params.ts

@@ -409,4 +409,11 @@ export const paramsEVM: ParamsDict = {
     eofcreateGas: 32000, // Base fee of the EOFCREATE opcode (Same as CREATE/CREATE2)
     returncontractGas: 0, // Base fee of the RETURNCONTRACT opcode
   },
+  9999: {
+    /* Not an actual EIP, but a placeholder for future EXECUTE precompile EIP */
+    // gasPrices
+    executeGasCost: 50000,
+    executeCumulativeGasLimit: 10000000,
+    executeCumulativeGasTarget: 100000,
+  },
 }

packages/evm/src/precompiles/12-execute.ts

@@ -0,0 +1,45 @@
+import { StatelessVerkleStateManager } from '@ethereumjs/statemanager'
+
+import { createEVM } from '../constructors.js'
+import { EvmErrorResult, OOGResult } from '../evm.js'
+import { ERROR, EvmError } from '../exceptions.js'
+
+import { gasLimitCheck } from './util.js'
+
+import { getPrecompileName } from './index.js'
+
+import type { ExecResult } from '../types.js'
+import type { PrecompileInput } from './types.js'
+
+export function precompile12(opts: PrecompileInput): ExecResult {
+  const pName = getPrecompileName('12')
+  const data = opts.data
+
+  const gasUsed = opts.common.param('executeGasCost')
+  if (!gasLimitCheck(opts, gasUsed, pName)) {
+    return OOGResult(opts.gasLimit)
+  }
+
+  if (data.length < 128) {
+    return EvmErrorResult(new EvmError(ERROR.INVALID_INPUT_LENGTH), opts.gasLimit)
+  }
+
+  const preStateRoot = data.subarray(0, 32) // prestateroot for L2 state
+  const postStateRoot = data.subarray(32, 64) // post state root for L2 state
+  const trace = data.subarray(64, 96) // reference to state access and
+  const executeGasUsed = data.subarray(96)
+
+  const executionResult = true
+
+  const stateManager = new StatelessVerkleStateManager({ common: opts.common })
+  const evm = createEVM({ stateManager, common: opts.common })
+
+  opts._debug?.(`${pName} trace executed successfully=${executionResult}`)
+
+  const returnValue = executionResult ? new Uint8Array(1).fill(1) : new Uint8Array(1).fill(0)
+
+  return {
+    executionGasUsed: gasUsed,
+    returnValue,
+  }
+}

packages/evm/test/precompiles/12-execute.spec.ts

@@ -0,0 +1,39 @@
+import { Common, Hardfork, Mainnet } from '@ethereumjs/common'
+import { StatelessVerkleStateManager } from '@ethereumjs/statemanager'
+import { createTx, createTxFromRLP } from '@ethereumjs/tx'
+import { trustedSetup } from '@paulmillr/trusted-setups/fast.js'
+import { hexToBytes } from 'ethereum-cryptography/utils'
+import { KZG as microEthKZG } from 'micro-eth-signer/kzg'
+import * as verkle from 'micro-eth-signer/verkle'
+import { assert, describe, it } from 'vitest'
+
+import { createEVM, getActivePrecompiles } from '../../src/index.js'
+
+import witness from './executionWitness.json'
+
+describe('Precompiles: EXECUTE', () => {
+  it('should execute a trace', async () => {
+    const kzg = new microEthKZG(trustedSetup)
+    const common = new Common({
+      chain: Mainnet,
+      hardfork: Hardfork.Prague,
+      eips: [6800, 9999],
+      customCrypto: {
+        kzg,
+        verkle,
+      },
+    })
+    const stateManager = new StatelessVerkleStateManager({ common })
+    stateManager.initVerkleExecutionWitness(1n, witness.witness)
+    const evm = await createEVM({ stateManager, common })
+    const txs = witness.txs.map((tx) => createTxFromRLP(hexToBytes(tx), { common }))
+    for (const tx of txs) {
+      const res = await evm.runCall(tx)
+      console.log(res)
+    }
+    const addressStr = '0000000000000000000000000000000000000012'
+    const EXECUTE = getActivePrecompiles(common).get(addressStr)!
+
+    const result = await EXECUTE({})
+  })
+})

packages/evm/test/precompiles/executionWitness.json

@@ -0,0 +1,99 @@
+{
+  "witness": {
+    "stateDiff": [
+      {
+        "stem": "0x0365b079a274a1808d56484ce5bd97914629907d75767f51439102e22cd50d",
+        "suffixDiffs": [
+          {
+            "suffix": 0,
+            "currentValue": "0x00000000000000000000000000000000000000000000003635c9adc5dea00000",
+            "newValue": "0x00000000000000000000000000000001000000000000003635c9adc5de9ccbb0"
+          },
+          {
+            "suffix": 1,
+            "currentValue": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
+            "newValue": null
+          }
+        ]
+      },
+      {
+        "stem": "0x5b5fdfedd6a0e932da408ac7d772a36513d1eee9b9926e52620c43a433aad7",
+        "suffixDiffs": [
+          {
+            "suffix": 64,
+            "newValue": "0x00b2e892fbf04dcdbb33d71633d7cea0722aed27f8a9d0cf9912f97b34f9dadd",
+            "currentValue": null
+          }
+        ]
+      },
+      {
+        "stem": "0x914ec5f0e0c27fe094862fbd89a6abe684939af6940434d8bf218cedb2d624",
+        "suffixDiffs": [
+          {
+            "suffix": 0,
+            "newValue": "0x000000000000000000000000000000000000000000000000000000000000f618",
+            "currentValue": null
+          },
+          {
+            "suffix": 1,
+            "newValue": "0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470",
+            "currentValue": null
+          }
+        ]
+      },
+      {
+        "stem": "0xecb505156708480caf702cd85124f67f3ed78ae4bc890a6dcb62574ba9a90c",
+        "suffixDiffs": [
+          {
+            "suffix": 0,
+            "currentValue": null,
+            "newValue": null
+          },
+          {
+            "suffix": 1,
+            "currentValue": null,
+            "newValue": null
+          }
+        ]
+      }
+    ],
+    "verkleProof": {
+      "otherStems": [],
+      "depthExtensionPresent": "0x0a0a0808",
+      "commitmentsByPath": [
+        "0x360bcc4c15a10f6f058d1d07e13e9a271da3da0cd69026d5a9ab25e1c0a5d697",
+        "0x324e7b7405bbfae46866bad5c94ac2983093b86f85035fe5984ec40a1b5e5ce3",
+        "0x61506c1cc4f27c9231a546a4b0d249d5f3ba4ba9e63c5ebb84087665eb396e95",
+        "0x4909fc1889e10819cda41706a26373145c4e4575d68b96569af12db69040b6e1"
+      ],
+      "d": "0x530b7b926f178a1ce3fb92922303111735f9e5395f041b8d2b6089dbf9a73c31",
+      "ipaProof": {
+        "cl": [
+          "0x3d87ee7a9da30dba329f168f203cff8690921bf51e03edeb439ccd838abf68af",
+          "0x5ddc74d79bedcd053f53432f873bebceff9acb5e9eb1c55b7b2228c40fab1e9b",
+          "0x67eacc9c3d3cf158686d0196256d9b858d00aede48fe7d74345628fa43e2f423",
+          "0x3a4ee7713b54286822dd4250fe7713ff89bd73f5dd25a8850cb95813df63bdf7",
+          "0x5341f88ef80898f8550f70466b363626c0e5a4749159e24acb4f7b1fade6e1d6",
+          "0x18d2a1b99473a3a8f94bb9032e2a30e9f303bc37950fc0f67cb62825f42808ac",
+          "0x56a7d7f239c132fd999991d2de37bdbc88b0edc780b61e132fd5e57986d20edf",
+          "0x0bab046e2e62e4c51f807df783f9dc3bef37a943c0dfcf01ec0bc9733f144a38"
+        ],
+        "cr": [
+          "0x27e8b165e814dd45d7c628e1f3dcb31b50b0c1818f87cacf2c041b1e42abe5bd",
+          "0x71dc9a4412d0ae3ce105f16d772c62cefbe7088673b523496b37bf16c303dffd",
+          "0x0baed508372a64eca49e8e9cc379b848bedd37d040ac683ccde28debac3793ca",
+          "0x6b96bfb4b9c044137613dc62be2ab377b31fb93a587742bca109525726799b84",
+          "0x0b26a2aa70fe810cadf1d7cf47b7823ede1a4129fdc714c7b8bee60e01d6d0e9",
+          "0x4ae3cd3a9e08425363ca98dce1f264e3cd2fd81a92758a372f412547017dd57e",
+          "0x44ecde38a0a3e046352cac96b63602a73381308fce1c0900197273fe14ab615d",
+          "0x28bf63a6e0aa789d798fd116fb29e3820aefff43aaa5226c28985871ee519f81"
+        ],
+        "finalEvaluation": "0x00095c56030aeac61ba23e9468ddf059f5b2dac95af6a13e78720c44ca7c4ed7"
+      }
+    },
+    "parentStateRoot": "0x3901899f4bfd31a5d77611f70c4eb98cffdbbe5280fba656631f04336afe6f5a"
+  },
+  "txs": [
+    "0xf861800a8405f5e100948a0a19589531694250d570040a0c4b74576919b8808025a050ae258f0b1f7c44e5227b43c338aa7f2d9805115b90a6baeaaee2358796e074a00ec910ad0244580c17e1d6a512b3574c62e92840184109e3037760d39b20cb94"
+  ]
+}

packages/vm/src/runBlock.ts

@@ -191,6 +191,7 @@ export async function runBlock(vm: VM, opts: RunBlockOpts): Promise<RunBlockResu
     await vm.evm.journal.commit()
   }
 
+  console.log(block.transactions.map((tx) => bytesToHex(tx.serialize())))
   // Checkpoint state
   await vm.evm.journal.checkpoint()
   if (vm.DEBUG) {
@@ -354,6 +355,8 @@ export async function runBlock(vm: VM, opts: RunBlockOpts): Promise<RunBlockResu
     requests,
   }
 
+  console.log(vm.evm.verkleAccessWitness)
+  console.log(block.transactions)
   const afterBlockEvent: AfterBlockEvent = { ...results, block }
 
   /**
@@ -522,7 +525,7 @@ export async function accumulateParentBlockHash(
   if (!vm.common.isActivatedEIP(2935)) {
     throw new Error('Cannot call `accumulateParentBlockHash`: EIP 2935 is not active')
   }
-  const historyAddress = new Address(bigIntToAddressBytes(vm.common.param('historyStorageAddress')))
+  const historyAddress = new Address(bigIntToAddressBytes(vm.common.param('systemAddress')))
   const historyServeWindow = vm.common.param('historyServeWindow')
 
   // getAccount with historyAddress will throw error as witnesses are not bundled