diff --git a/.github/workflows/vm-pr.yml b/.github/workflows/vm-pr.yml
index e6dd99f1ada..71b24c63cc3 100644
--- a/.github/workflows/vm-pr.yml
+++ b/.github/workflows/vm-pr.yml
@@ -111,3 +111,30 @@ jobs:
         working-directory: ${{github.workspace}}
 
       - run: npm run test:blockchain -- ${{ matrix.args }} --fork=${{ matrix.fork }}
+
+  test-vm-stateless:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/setup-node@v1
+        with:
+          node-version: 12.x
+      - uses: actions/checkout@v1
+
+      - name: Dependency cache
+        uses: actions/cache@v2
+        id: cache
+        with:
+          key: VM-${{ runner.os }}-12-${{ hashFiles('**/package-lock.json') }}
+          path: '**/node_modules'
+
+      # Installs root dependencies, ignoring Bootstrap All script.
+      # Bootstraps the current package only
+      - run: npm install --ignore-scripts && npm run bootstrap:vm
+        if: steps.cache.outputs.cache-hit != 'true'
+        working-directory: ${{github.workspace}}
+
+      # Builds current package and the ones it depends from.
+      - run: npm run build:vm
+        working-directory: ${{github.workspace}}
+
+      - run: npm run test:stateless
diff --git a/packages/vm/package.json b/packages/vm/package.json
index 32166468d72..8db574d5fc5 100644
--- a/packages/vm/package.json
+++ b/packages/vm/package.json
@@ -20,6 +20,7 @@
     "test:buildIntegrity": "npm run test:state -- --test='stackOverflow'",
     "test:blockchain": "node -r ts-node/register --stack-size=1500 ./tests/tester --blockchain",
     "test:blockchain:allForks": "echo 'Homestead TangerineWhistle SpuriousDragon Byzantium Constantinople Petersburg Istanbul MuirGlacier' | xargs -n1 | xargs -I v1 node -r ts-node/register --stack-size=1500 ./tests/tester --blockchain --fork=v1",
+    "test:stateless": "npm run build && node ./tests/tester --stateless --dist",
     "test:API": "tape -r ts-node/register --stack-size=1500 ./tests/api/**/*.js",
     "test:API:browser": "npm run build && karma start karma.conf.js",
     "test": "echo \"[INFO] Generic test cmd not used. See package.json for more specific test run cmds.\"",
diff --git a/packages/vm/tests/StatelessRunner.js b/packages/vm/tests/StatelessRunner.js
new file mode 100644
index 00000000000..feb517c981b
--- /dev/null
+++ b/packages/vm/tests/StatelessRunner.js
@@ -0,0 +1,189 @@
+const ethUtil = require('ethereumjs-util')
+const BN = ethUtil.BN
+const { getRequiredForkConfigAlias, setupPreConditions, makeTx, makeBlockFromEnv } = require('./util')
+const Account = require('@ethereumjs/account').default
+const Trie = require('merkle-patricia-tree').SecureTrie
+const { default: Common } = require('@ethereumjs/common')
+const { default: VM } = require('../dist/index.js')
+const { default: DefaultStateManager } = require('../dist/state/stateManager')
+
+async function runTestCase (options, testData, t) {
+  let expectedPostStateRoot = testData.postStateRoot
+  if (expectedPostStateRoot.substr(0, 2) === '0x') {
+    expectedPostStateRoot = expectedPostStateRoot.substr(2)
+  }
+
+  // Prepare tx and block
+  let tx = makeTx(testData.transaction)
+  let block = makeBlockFromEnv(testData.env)
+  if (!tx.validate()) {
+    return
+  }
+
+  const common = new Common('mainnet', options.forkConfigVM.toLowerCase())
+  const stateManager = new DefaultStateManager({ common: common })
+  await setupPreConditions(stateManager._trie, testData)
+  const preStateRoot = stateManager._trie.root
+
+  // Set up VM
+  let vm = new VM({
+    stateManager: stateManager,
+    common: common
+  })
+  if (options.jsontrace) {
+    hookVM(vm, t)
+  }
+
+  // Determine set of all node hashes in the database
+  // before running the tx.
+  const existingKeys = new Set()
+  const it = stateManager._trie.db.iterator()
+  const next = promisify(it.next.bind(it))
+  while (true) {
+    const key = await next()
+    if (!key) break
+    existingKeys.add(key.toString('hex'))
+  }
+
+  // Hook leveldb.get and add any node that was fetched during execution
+  // to a bag of proof nodes, under the condition that this node existed
+  // before execution.
+  const proofNodes = new Map()
+  const getFunc = stateManager._trie.db.get.bind(stateManager._trie.db)
+  stateManager._trie.db.get = (key, opts, cb) => {
+    getFunc(key, opts, (err, v) => {
+      if (!err && v) {
+        if (existingKeys.has(key.toString('hex'))) {
+          proofNodes.set(key.toString('hex'), v)
+        }
+      }
+      cb(err, v)
+    })
+  }
+
+  try {
+    await vm.runTx({ tx: tx, block: block })
+  } catch (err) {
+    await deleteCoinbase(new PStateManager(stateManager), block.header.coinbase)
+  }
+  t.equal(stateManager._trie.root.toString('hex'), expectedPostStateRoot, 'the state roots should match')
+
+  // Save bag of proof nodes to a new trie's underlying leveldb
+  const trie = new Trie(null, preStateRoot)
+  const opStack = []
+  for (const [k, v] of proofNodes) {
+    opStack.push({ type: 'put', key: Buffer.from(k, 'hex'), value: v })
+  }
+  await promisify(trie.db.batch.bind(trie.db))(opStack)
+
+  stateManager = new StateManager({ trie: trie })
+  vm = new VM({
+    stateManager: stateManager,
+    hardfork: options.forkConfig.toLowerCase()
+  })
+  if (options.jsontrace) {
+    hookVM(vm, t)
+  }
+  try {
+    await vm.runTx({ tx: tx, block: block })
+  } catch (err) {
+    await deleteCoinbase(stateManager, block.header.coinbase)
+  }
+  t.equal(stateManager._trie.root.toString('hex'), expectedPostStateRoot, 'the state roots should match')
+}
+
+/*
+ * If tx is invalid and coinbase is empty, the test harness
+ * expects the coinbase account to be deleted from state.
+ * Without this ecmul_0-3_5616_28000_96 would fail.
+ */
+async function deleteCoinbase (stateManager, coinbaseAddr) {
+  const account = await stateManager.getAccount(coinbaseAddr)
+  if (new BN(account.balance).isZero()) {
+    await stateManager.putAccount(coinbaseAddr, new Account())
+    await stateManager.cleanupTouchedAccounts()
+    await stateManager._wrapped._cache.flush()
+  }
+}
+
+function hookVM (vm, t) {
+  vm.on('step', function (e) {
+    let hexStack = []
+    hexStack = e.stack.map(item => {
+      return '0x' + new BN(item).toString(16, 0)
+    })
+
+    var opTrace = {
+      'pc': e.pc,
+      'op': e.opcode.opcode,
+      'gas': '0x' + e.gasLeft.toString('hex'),
+      'gasCost': '0x' + e.opcode.fee.toString(16),
+      'stack': hexStack,
+      'depth': e.depth,
+      'opName': e.opcode.name
+    }
+
+    t.comment(JSON.stringify(opTrace))
+  })
+  vm.on('afterTx', function (results) {
+    let stateRoot = {
+      'stateRoot': vm.stateManager._trie.root.toString('hex')
+    }
+    t.comment(JSON.stringify(stateRoot))
+  })
+}
+
+function parseTestCases (forkConfig, testData, data, gasLimit, value) {
+  let testCases = []
+  if (testData['post'][forkConfig]) {
+    testCases = testData['post'][forkConfig].map(testCase => {
+      let testIndexes = testCase['indexes']
+      let tx = { ...testData.transaction }
+      if (data !== undefined && testIndexes['data'] !== data) {
+        return null
+      }
+
+      if (value !== undefined && testIndexes['value'] !== value) {
+        return null
+      }
+
+      if (gasLimit !== undefined && testIndexes['gas'] !== gasLimit) {
+        return null
+      }
+
+      tx.data = testData.transaction.data[testIndexes['data']]
+      tx.gasLimit = testData.transaction.gasLimit[testIndexes['gas']]
+      tx.value = testData.transaction.value[testIndexes['value']]
+      return {
+        'transaction': tx,
+        'postStateRoot': testCase['hash'],
+        'env': testData['env'],
+        'pre': testData['pre']
+      }
+    })
+  }
+
+  testCases = testCases.filter(testCase => {
+    return testCase != null
+  })
+
+  return testCases
+}
+
+module.exports = async function runStateTest (options, testData, t) {
+  const forkConfig = getRequiredForkConfigAlias(options.forkConfigTestSuite)
+  try {
+    const testCases = parseTestCases(forkConfig, testData, options.data, options.gasLimit, options.value)
+    if (testCases.length > 0) {
+      for (const testCase of testCases) {
+        await runTestCase(options, testCase, t)
+      }
+    } else {
+      t.comment(`No ${forkConfig} post state defined, skip test`)
+      return
+    }
+  } catch (e) {
+    t.fail('error running test case for fork: ' + forkConfig)
+    console.log('error:', e)
+  }
+}
diff --git a/packages/vm/tests/tester.js b/packages/vm/tests/tester.js
index 364ad1e0a62..dab1ac710d8 100755
--- a/packages/vm/tests/tester.js
+++ b/packages/vm/tests/tester.js
@@ -12,6 +12,8 @@ function runTests() {
     name = 'GeneralStateTests'
   } else if (argv.blockchain) {
     name = 'BlockchainTests'
+  } else if (argv.stateless) {
+    name = 'Stateless'
   }
 
   const FORK_CONFIG = (argv.fork || config.DEFAULT_FORK_CONFIG)
@@ -78,6 +80,7 @@ function runTests() {
   console.log(`+${'-'.repeat(width)}+`)
   console.log()
 
+  // Run a custom state test
   if (argv.customStateTest) {
     const stateTestRunner = require('./GeneralStateTestsRunner.js')
     let fileName = argv.customStateTest
@@ -91,6 +94,29 @@ function runTests() {
         t.end()
       })
     })
+  // Stateless test execution
+  } else if (name === 'Stateless') {
+    tape(name, t => {
+      const stateTestRunner = require('./StatelessRunner.js')
+      let count = 0
+      testLoader.getTestsFromArgs('GeneralStateTests', async (fileName, testName, test) => {
+        let runSkipped = testGetterArgs.runSkipped
+        let inRunSkipped = runSkipped.includes(fileName)
+        if (runSkipped.length === 0 || inRunSkipped) {
+          count += 1
+          if (count < 2) {
+            t.comment(`file: ${fileName} test: ${testName}`)
+            return stateTestRunner(runnerArgs, test, t)
+          }
+        }
+      }, testGetterArgs).then(() => {
+        t.end()
+      }).catch((err) => {
+        console.log(err)
+        t.end()
+      })
+    })
+  // Blockchain and State Tests
   } else {
     tape(name, t => {
       const runner = require(`./${name}Runner.js`)
diff --git a/packages/vm/tsconfig.json b/packages/vm/tsconfig.json
index 5a6b8bfc3c5..bf94cf052f3 100644
--- a/packages/vm/tsconfig.json
+++ b/packages/vm/tsconfig.json
@@ -1,4 +1,7 @@
 {
   "extends": "@ethereumjs/config-tsc",
+  "compilerOptions": {
+    "downlevelIteration": true
+  },
   "include": ["lib/**/*.ts"]
 }
diff --git a/packages/vm/tsconfig.prod.json b/packages/vm/tsconfig.prod.json
index fcb7eccf940..057ebb8a31b 100644
--- a/packages/vm/tsconfig.prod.json
+++ b/packages/vm/tsconfig.prod.json
@@ -1,7 +1,8 @@
 {
   "extends": "@ethereumjs/config-tsc",
   "compilerOptions": {
-    "outDir": "./dist"
+    "outDir": "./dist",
+    "downlevelIteration": true
   },
   "include": ["lib/**/*.ts"]
 }