Add statefulVerkleStateManager

config/cspell-ts.json

@@ -596,6 +596,8 @@
     "patarapolw",
     "nickdodson",
     "Kintsugi",
-    "deauthorization"
+    "deauthorization",
+    "PUSHDATA",
+    "chunkified"
   ]
 }

packages/common/src/interfaces.ts

@@ -31,7 +31,9 @@ export interface StorageRange {
   nextKey: string | null
 }
 
-export type AccountFields = Partial<Pick<Account, 'nonce' | 'balance' | 'storageRoot' | 'codeHash'>>
+export type AccountFields = Partial<
+  Pick<Account, 'nonce' | 'balance' | 'storageRoot' | 'codeHash' | 'codeSize'>
+>
 
 export type StorageProof = {
   key: PrefixedHexString

packages/evm/test/verkle.spec.ts

@@ -0,0 +1,44 @@
+import { Common, Hardfork, Mainnet } from '@ethereumjs/common'
+import { AccessWitness, StatefulVerkleStateManager } from '@ethereumjs/statemanager'
+import {
+  bigIntToBytes,
+  createAccount,
+  createAddressFromString,
+  hexToBytes,
+  setLengthLeft,
+} from '@ethereumjs/util'
+import { createVerkleTree } from '@ethereumjs/verkle'
+import { loadVerkleCrypto } from 'verkle-cryptography-wasm'
+import { assert, beforeAll, describe, it } from 'vitest'
+
+import { createEVM } from '../src/index.js'
+
+import type { VerkleCrypto } from '@ethereumjs/util'
+
+describe('verkle tests', () => {
+  let verkleCrypto: VerkleCrypto
+  beforeAll(async () => {
+    verkleCrypto = await loadVerkleCrypto()
+  })
+  it('should execute bytecode and update the state', async () => {
+    const common = new Common({ chain: Mainnet, eips: [6800], hardfork: Hardfork.Cancun })
+    const trie = await createVerkleTree()
+    const sm = new StatefulVerkleStateManager({ trie, verkleCrypto })
+    const address = createAddressFromString('0x9e5ef720fa2cdfa5291eb7e711cfd2e62196f4b3')
+    const account = createAccount({ nonce: 3n, balance: 0xffffffffn })
+    await sm.putAccount(address, account)
+    const evm = await createEVM({ common, stateManager: sm })
+    const code = hexToBytes('0x6001600255')
+    const accessWitness = new AccessWitness({ verkleCrypto })
+    const res = await evm.runCall({
+      code,
+      caller: address,
+      accessWitness,
+      to: createAddressFromString(address.toString()),
+    })
+    assert.deepEqual(res.execResult.returnValue, new Uint8Array())
+    console.log(res.execResult.runState?.interpreter._env.accessWitness)
+    const retrievedValue = await sm.getStorage(address, setLengthLeft(bigIntToBytes(2n), 32))
+    assert.deepEqual(retrievedValue, bigIntToBytes(1n))
+  })
+})

packages/statemanager/package.json

@@ -54,6 +54,7 @@
     "@ethereumjs/rlp": "^5.0.2",
     "@ethereumjs/trie": "^6.2.1",
     "@ethereumjs/util": "^9.1.0",
+    "@ethereumjs/verkle": "^0.1.0",
     "@js-sdsl/ordered-map": "^4.4.2",
     "debug": "^4.3.3",
     "ethereum-cryptography": "^2.2.1",

packages/statemanager/src/index.ts

@@ -2,6 +2,7 @@ export * from './accessWitness.js'
 export * from './cache/index.js'
 export * from './rpcStateManager.js'
 export * from './simpleStateManager.js'
+export * from './statefulVerkleStateManager.js'
 export * from './statelessVerkleStateManager.js'
 export * from './stateManager.js'
 export * from './types.js'