EVM/Monorepo: Verkle Decoupling

packages/block/src/block.ts

@@ -38,7 +38,6 @@ import type {
   JsonBlock,
   JsonRpcBlock,
   RequestsBytes,
-  VerkleExecutionWitness,
   WithdrawalsBytes,
 } from './types.js'
 import type { Common } from '@ethereumjs/common'
@@ -53,6 +52,7 @@ import type {
   EthersProvider,
   PrefixedHexString,
   RequestBytes,
+  VerkleExecutionWitness,
   WithdrawalBytes,
 } from '@ethereumjs/util'
 

packages/block/src/from-beacon-payload.ts

@@ -1,7 +1,7 @@
 import { bigIntToHex } from '@ethereumjs/util'
 
-import type { ExecutionPayload, VerkleExecutionWitness } from './types.js'
-import type { PrefixedHexString } from '@ethereumjs/util'
+import type { ExecutionPayload } from './types.js'
+import type { PrefixedHexString, VerkleExecutionWitness } from '@ethereumjs/util'
 
 type BeaconWithdrawal = {
   index: PrefixedHexString

packages/block/src/types.ts

@@ -11,6 +11,7 @@ import type {
   JsonRpcWithdrawal,
   PrefixedHexString,
   RequestBytes,
+  VerkleExecutionWitness,
   WithdrawalBytes,
   WithdrawalData,
   WithdrawalRequestV1,
@@ -78,45 +79,6 @@ export interface BlockOptions {
   executionWitness?: VerkleExecutionWitness
 }
 
-export interface VerkleProof {
-  commitmentsByPath: PrefixedHexString[]
-  d: PrefixedHexString
-  depthExtensionPresent: PrefixedHexString
-  ipaProof: {
-    cl: PrefixedHexString[]
-    cr: PrefixedHexString[]
-    finalEvaluation: PrefixedHexString
-  }
-  otherStems: PrefixedHexString[]
-}
-
-export interface VerkleStateDiff {
-  stem: PrefixedHexString
-  suffixDiffs: {
-    currentValue: PrefixedHexString | null
-    newValue: PrefixedHexString | null
-    suffix: number | string
-  }[]
-}
-
-/**
- * Experimental, object format could eventual change.
- * An object that provides the state and proof necessary for verkle stateless execution
- * */
-export interface VerkleExecutionWitness {
-  /**
-   * An array of state diffs.
-   * Each item corresponding to state accesses or state modifications of the block.
-   * In the current design, it also contains the resulting state of the block execution (post-state).
-   */
-  stateDiff: VerkleStateDiff[]
-  /**
-   * The verkle proof for the block.
-   * Proves that the provided stateDiff belongs to the canonical verkle tree.
-   */
-  verkleProof: VerkleProof
-}
-
 /**
  * A block header's data.
  */

packages/block/test/from-beacon-payload.spec.ts

@@ -10,7 +10,8 @@ import * as payload87335 from './testdata/payload-slot-87335.json'
 import * as payload87475 from './testdata/payload-slot-87475.json'
 import * as testnetVerkleKaustinen from './testdata/testnetVerkleKaustinen.json'
 
-import type { BeaconPayloadJson, VerkleExecutionWitness } from '../src/index.js'
+import type { BeaconPayloadJson } from '../src/index.js'
+import type { VerkleExecutionWitness } from '@ethereumjs/util'
 
 describe('[fromExecutionPayloadJson]: 4844 devnet 5', () => {
   let common: Common

packages/client/package.json

@@ -87,6 +87,7 @@
     "level": "^8.0.0",
     "memory-level": "^1.0.0",
     "prom-client": "^15.1.0",
+    "verkle-cryptography-wasm": "^0.4.2",
     "winston": "^3.3.3",
     "winston-daily-rotate-file": "^4.5.5",
     "yargs": "^17.7.1"

packages/client/src/execution/vmexecution.ts

@@ -23,6 +23,7 @@ import {
 } from '@ethereumjs/util'
 import { VM } from '@ethereumjs/vm'
 import { writeFileSync } from 'fs'
+import { loadVerkleCrypto } from 'verkle-cryptography-wasm'
 
 import { Event } from '../types.js'
 import { debugCodeReplayBlock } from '../util/debug.js'
@@ -190,8 +191,10 @@ export class VMExecution extends Execution {
       return
     }
     this.config.logger.info(`Setting up verkleVM`)
-    const stateManager = await StatelessVerkleStateManager.create({
+    const verkleCrypto = await loadVerkleCrypto()
+    const stateManager = new StatelessVerkleStateManager({
       initialStateRoot: this.config.initialVerkleStateRoot,
+      verkleCrypto,
     })
     this.verkleVM = await VM.create({
       common: this.config.execCommon,

packages/client/test/rpc/engine/kaustinen6.spec.ts

@@ -9,8 +9,9 @@ import genesisJSON from '../../testdata/geth-genesis/kaustinen6.json'
 import { getRpcClient, setupChain } from '../helpers.js'
 
 import type { Chain } from '../../../src/blockchain/index.js'
-import type { BeaconPayloadJson, VerkleExecutionWitness } from '@ethereumjs/block'
+import type { BeaconPayloadJson } from '@ethereumjs/block'
 import type { Common } from '@ethereumjs/common'
+import type { VerkleExecutionWitness } from '@ethereumjs/util'
 import type { HttpClient } from 'jayson/promise'
 const genesisVerkleStateRoot = '0x1fbf85345a3cbba9a6d44f991b721e55620a22397c2a93ee8d5011136ac300ee'
 const genesisVerkleBlockHash = '0x3fe165c03e7a77d1e3759362ebeeb16fd964cb411ce11fbe35c7032fab5b9a8a'

packages/common/src/interfaces.ts

@@ -65,6 +65,64 @@ export type AccessListBytesItem = [Uint8Array, Uint8Array[]]
 export type AccessListBytes = AccessListBytesItem[]
 export type AccessList = AccessListItem[]
 
+/**
+ * Verkle related
+ *
+ * Experimental (do not implement)
+ */
+export type AccessEventFlags = {
+  stemRead: boolean
+  stemWrite: boolean
+  chunkRead: boolean
+  chunkWrite: boolean
+  chunkFill: boolean
+}
+
+/**
+ * Verkle related
+ *
+ * Experimental (do not implement)
+ */
+export interface AccessWitnessInterface {
+  touchAndChargeProofOfAbsence(address: Address): bigint
+  touchAndChargeMessageCall(address: Address): bigint
+  touchAndChargeValueTransfer(caller: Address, target: Address): bigint
+  touchAndChargeContractCreateInit(address: Address): bigint
+  touchAndChargeContractCreateCompleted(address: Address): bigint
+  touchTxOriginAndComputeGas(origin: Address): bigint
+  touchTxTargetAndComputeGas(target: Address, { sendsValue }: { sendsValue?: boolean }): bigint
+  touchCodeChunksRangeOnReadAndChargeGas(contact: Address, startPc: number, endPc: number): bigint
+  touchCodeChunksRangeOnWriteAndChargeGas(contact: Address, startPc: number, endPc: number): bigint
+  touchAddressOnWriteAndComputeGas(
+    address: Address,
+    treeIndex: number | bigint,
+    subIndex: number | Uint8Array
+  ): bigint
+  touchAddressOnReadAndComputeGas(
+    address: Address,
+    treeIndex: number | bigint,
+    subIndex: number | Uint8Array
+  ): bigint
+  touchAddressAndChargeGas(
+    address: Address,
+    treeIndex: number | bigint,
+    subIndex: number | Uint8Array,
+    { isWrite }: { isWrite?: boolean }
+  ): bigint
+  touchAddress(
+    address: Address,
+    treeIndex: number | bigint,
+    subIndex: number | Uint8Array,
+    { isWrite }: { isWrite?: boolean }
+  ): AccessEventFlags
+  shallowCopy(): AccessWitnessInterface
+  merge(accessWitness: AccessWitnessInterface): void
+}
+
+/*
+ * Generic StateManager interface corresponding with the @ethereumjs/statemanager package
+ *
+ */
 export interface StateManagerInterface {
   getAccount(address: Address): Promise<Account | undefined>
   putAccount(address: Address, account?: Account): Promise<void>
@@ -85,6 +143,13 @@ export interface StateManagerInterface {
   hasStateRoot(root: Uint8Array): Promise<boolean> // only used in client
   shallowCopy(downlevelCaches?: boolean): StateManagerInterface
   getAppliedKey?(address: Uint8Array): Uint8Array
+
+  /*
+   * The following optional methods are Verkle related
+   *
+   * Experimental (do not implement)
+   */
+  checkChunkWitnessPresent?(contract: Address, programCounter: number): Promise<boolean>
 }
 
 export interface EVMStateManagerInterface extends StateManagerInterface {

packages/evm/package.json

@@ -58,7 +58,6 @@
     "@ethereumjs/statemanager": "^2.3.0",
     "@ethereumjs/tx": "^5.3.0",
     "@ethereumjs/util": "^9.0.3",
-    "@ethereumjs/verkle": "^0.0.2",
     "@types/debug": "^4.1.9",
     "debug": "^4.3.3",
     "ethereum-cryptography": "^2.1.3",

packages/evm/src/interpreter.ts

@@ -23,8 +23,7 @@ import type { EVM } from './evm.js'
 import type { Journal } from './journal.js'
 import type { AsyncOpHandler, Opcode, OpcodeMapEntry } from './opcodes/index.js'
 import type { Block, Blockchain, EVMProfilerOpts, EVMResult, Log } from './types.js'
-import type { Common, EVMStateManagerInterface } from '@ethereumjs/common'
-import type { AccessWitness, StatelessVerkleStateManager } from '@ethereumjs/statemanager'
+import type { AccessWitnessInterface, Common, EVMStateManagerInterface } from '@ethereumjs/common'
 import type { Address, PrefixedHexString } from '@ethereumjs/util'
 const { debug: createDebugLogger } = debugDefault
 
@@ -68,7 +67,7 @@ export interface Env {
   containerCode?: Uint8Array /** Full container code for EOF1 contracts */
   blobVersionedHashes: Uint8Array[] /** Versioned hashes for blob transactions */
   createdAddresses?: Set<string>
-  accessWitness?: AccessWitness
+  accessWitness?: AccessWitnessInterface
   chargeCodeAccesses?: boolean
 }
 
@@ -272,9 +271,7 @@ export class Interpreter {
         const contract = this._runState.interpreter.getAddress()
 
         if (
-          !(await (
-            this._runState.stateManager as StatelessVerkleStateManager
-          ).checkChunkWitnessPresent(contract, programCounter))
+          !(await this._runState.stateManager.checkChunkWitnessPresent!(contract, programCounter))
         ) {
           throw Error(`Invalid witness with missing codeChunk for pc=${programCounter}`)
         }

packages/evm/src/message.ts

@@ -1,7 +1,7 @@
 import { Address, BIGINT_0 } from '@ethereumjs/util'
 
 import type { PrecompileFunc } from './precompiles/index.js'
-import type { AccessWitness } from '@ethereumjs/statemanager'
+import type { AccessWitnessInterface } from '@ethereumjs/common'
 import type { PrefixedHexString } from '@ethereumjs/util'
 
 const defaults = {
@@ -39,7 +39,7 @@ interface MessageOpts {
   authcallOrigin?: Address
   gasRefund?: bigint
   blobVersionedHashes?: Uint8Array[]
-  accessWitness?: AccessWitness
+  accessWitness?: AccessWitnessInterface
 }
 
 export class Message {
@@ -75,7 +75,7 @@ export class Message {
    * List of versioned hashes if message is a blob transaction in the outer VM
    */
   blobVersionedHashes?: Uint8Array[]
-  accessWitness?: AccessWitness
+  accessWitness?: AccessWitnessInterface
 
   constructor(opts: MessageOpts) {
     this.to = opts.to

packages/evm/src/opcodes/functions.ts

@@ -26,12 +26,12 @@ import {
   bytesToHex,
   concatBytes,
   ecrecover,
+  getTreeIndexesForStorageSlot,
   hexToBytes,
   publicToAddress,
   setLengthLeft,
   setLengthRight,
 } from '@ethereumjs/util'
-import { getTreeIndexesForStorageSlot } from '@ethereumjs/verkle'
 import { keccak256 } from 'ethereum-cryptography/keccak.js'
 
 import { ERROR } from '../exceptions.js'

packages/evm/src/opcodes/gas.ts

@@ -2,21 +2,19 @@ import { Hardfork } from '@ethereumjs/common'
 import {
   Account,
   Address,
+  BALANCE_LEAF_KEY,
   BIGINT_0,
   BIGINT_1,
   BIGINT_3,
   BIGINT_31,
   BIGINT_32,
-  bigIntToBytes,
-  setLengthLeft,
-} from '@ethereumjs/util'
-import {
-  BALANCE_LEAF_KEY,
   CODE_HASH_LEAF_KEY,
   CODE_SIZE_LEAF_KEY,
   VERSION_LEAF_KEY,
+  bigIntToBytes,
   getTreeIndexesForStorageSlot,
-} from '@ethereumjs/verkle'
+  setLengthLeft,
+} from '@ethereumjs/util'
 
 import { ERROR } from '../exceptions.js'
 

packages/evm/src/types.ts

@@ -7,8 +7,7 @@ import type { AsyncDynamicGasHandler, SyncDynamicGasHandler } from './opcodes/ga
 import type { OpHandler } from './opcodes/index.js'
 import type { CustomPrecompile } from './precompiles/index.js'
 import type { PrecompileFunc } from './precompiles/types.js'
-import type { Common, EVMStateManagerInterface } from '@ethereumjs/common'
-import type { AccessWitness } from '@ethereumjs/statemanager'
+import type { AccessWitnessInterface, Common, EVMStateManagerInterface } from '@ethereumjs/common'
 import type { Account, Address, AsyncEventEmitter, PrefixedHexString } from '@ethereumjs/util'
 
 export type DeleteOpcode = {
@@ -124,7 +123,7 @@ export interface EVMRunCallOpts extends EVMRunOpts {
    */
   message?: Message
 
-  accessWitness?: AccessWitness
+  accessWitness?: AccessWitnessInterface
 }
 
 interface NewContractEvent {

packages/statemanager/package.json

@@ -53,17 +53,16 @@
     "@ethereumjs/rlp": "^5.0.2",
     "@ethereumjs/trie": "^6.2.0",
     "@ethereumjs/util": "^9.0.3",
-    "@ethereumjs/verkle": "^0.0.2",
     "debug": "^4.3.3",
     "ethereum-cryptography": "^2.1.3",
     "js-sdsl": "^4.1.4",
-    "lru-cache": "10.1.0",
-    "verkle-cryptography-wasm": "^0.4.2"
+    "lru-cache": "10.1.0"
   },
   "devDependencies": {
     "@ethereumjs/block": "^5.2.0",
     "@ethereumjs/genesis": "^0.2.2",
     "@types/debug": "^4.1.9",
-    "rustbn-wasm": "^0.4.0"
+    "rustbn-wasm": "^0.4.0",
+    "verkle-cryptography-wasm": "^0.4.2"
   }
 }