VM, Tx, Common: Implement EIP3860 "limit and meter initcode"

packages/common/src/eips/3860.json

@@ -0,0 +1,23 @@
+{
+    "name": "EIP-3860",
+    "number": 3860,
+    "comment": "Limit and meter initcode",
+    "url": "https://eips.ethereum.org/EIPS/eip-3860",
+    "status": "Review",
+    "minimumHardfork": "spuriousDragon",
+    "requiredEIPs": [],
+    "gasConfig": {},
+    "gasPrices": {
+      "initCodeWordCost": {
+        "v": 2,
+        "d": "Gas to pay for each word (32 bytes) of initcode when creating a contract"
+      }
+    },
+    "vm": {
+      "maxInitCodeSize": {
+          "v": 49152,
+          "d": "Maximum length of initialization code when creating a contract"
+      }
+    },
+    "pow": {}
+  }

packages/common/src/eips/index.ts

@@ -15,6 +15,7 @@ export const EIPs: eipsType = {
   3607: require('./3607.json'),
   3675: require('./3675.json'),
   3855: require('./3855.json'),
+  3860: require('./3860.json'),
   4345: require('./4345.json'),
   4399: require('./4399.json'),
 }

packages/tx/src/baseTransaction.ts

@@ -187,12 +187,21 @@ export abstract class BaseTransaction<TransactionObject> {
     const txDataZero = this.common.param('gasPrices', 'txDataZero')
     const txDataNonZero = this.common.param('gasPrices', 'txDataNonZero')
 
-    let cost = 0
+    let cost: number | BN = 0
     for (let i = 0; i < this.data.length; i++) {
       this.data[i] === 0 ? (cost += txDataZero) : (cost += txDataNonZero)
     }
 
-    return new BN(cost)
+    cost = new BN(cost)
+    if ((this.to === undefined || this.to === null) && this.common.isActivatedEIP(3860)) {
+      const dataLength = Math.ceil(this.data.length / 32)
+      const initCodeCost = new BN(this.common.param('gasPrices', 'initCodeWordCost')).imuln(
+        dataLength
+      )
+      cost.iadd(initCodeCost)
+    }
+
+    return cost
   }
 
   /**

packages/tx/src/eip1559Transaction.ts

@@ -235,6 +235,16 @@ export default class FeeMarketEIP1559Transaction extends BaseTransaction<FeeMark
       throw new Error(msg)
     }
 
+    if (this.common.isActivatedEIP(3860)) {
+      if (this.data.length > this.common.param('vm', 'maxInitCodeSize')) {
+        throw new Error(
+          `the initcode size of this transaction is too large: it is ${
+            this.data.length
+          } while the max is ${this.common.param('vm', 'maxInitCodeSize')}`
+        )
+      }
+    }
+
     const freeze = opts?.freeze ?? true
     if (freeze) {
       Object.freeze(this)

packages/tx/src/eip2930Transaction.ts

@@ -212,6 +212,16 @@ export default class AccessListEIP2930Transaction extends BaseTransaction<Access
       throw new Error(msg)
     }
 
+    if (this.common.isActivatedEIP(3860)) {
+      if (this.data.length > this.common.param('vm', 'maxInitCodeSize')) {
+        throw new Error(
+          `the initcode size of this transaction is too large: it is ${
+            this.data.length
+          } while the max is ${this.common.param('vm', 'maxInitCodeSize')}`
+        )
+      }
+    }
+
     const freeze = opts?.freeze ?? true
     if (freeze) {
       Object.freeze(this)

packages/tx/src/legacyTransaction.ts

@@ -135,6 +135,16 @@ export default class Transaction extends BaseTransaction<Transaction> {
       }
     }
 
+    if (this.common.isActivatedEIP(3860)) {
+      if (this.data.length > this.common.param('vm', 'maxInitCodeSize')) {
+        throw new Error(
+          `the initcode size of this transaction is too large: it is ${
+            this.data.length
+          } while the max is ${this.common.param('vm', 'maxInitCodeSize')}`
+        )
+      }
+    }
+
     const freeze = opts?.freeze ?? true
     if (freeze) {
       Object.freeze(this)

packages/tx/test/transactionRunner.ts

@@ -10,6 +10,7 @@ const argv = minimist(process.argv.slice(2))
 const file: string | undefined = argv.file
 
 const forkNames: ForkName[] = [
+  'London+3860',
   'London',
   'Berlin',
   'Istanbul',
@@ -23,6 +24,7 @@ const forkNames: ForkName[] = [
 ]
 
 const forkNameMap: ForkNamesMap = {
+  'London+3860': 'london',
   London: 'london',
   Berlin: 'berlin',
   Istanbul: 'istanbul',
@@ -35,6 +37,10 @@ const forkNameMap: ForkNamesMap = {
   Homestead: 'homestead',
 }
 
+const EIPs: any = {
+  'London+3860': [3860],
+}
+
 tape('TransactionTests', async (t) => {
   const fileFilterRegex = file ? new RegExp(file + '[^\\w]') : undefined
   await getTests(
@@ -46,13 +52,20 @@ tape('TransactionTests', async (t) => {
     ) => {
       t.test(testName, (st) => {
         for (const forkName of forkNames) {
+          if (testData.result[forkName] === undefined) {
+            continue
+          }
           const forkTestData = testData.result[forkName]
           const shouldBeInvalid = !!forkTestData.exception
 
           try {
             const rawTx = toBuffer(testData.txbytes)
             const hardfork = forkNameMap[forkName]
             const common = new Common({ chain: 1, hardfork })
+            const activateEIPs = EIPs[forkName]
+            if (activateEIPs) {
+              common.setEIPs(activateEIPs)
+            }
             const tx = Transaction.fromSerializedTx(rawTx, { common })
             const sender = tx.getSenderAddress().toString()
             const hash = tx.hash().toString('hex')

packages/tx/test/types.ts

@@ -1,4 +1,5 @@
 export type ForkName =
+  | 'London+3860'
   | 'London'
   | 'Berlin'
   | 'Istanbul'

packages/vm/src/evm/eei.ts

@@ -600,9 +600,16 @@ export default class EEI {
     if (this._env.contract.nonce.gte(MAX_UINT64)) {
       return new BN(0)
     }
+
     this._env.contract.nonce.iaddn(1)
     await this._state.putAccount(this._env.address, this._env.contract)
 
+    if (this._common.isActivatedEIP(3860)) {
+      if (msg.data.length > this._common.param('vm', 'maxInitCodeSize')) {
+        return new BN(0)
+      }
+    }
+
     const results = await this._evm.executeMessage(msg)
 
     if (results.execResult.logs) {

packages/vm/src/evm/evm.ts

@@ -298,6 +298,20 @@ export default class EVM {
     // Reduce tx value from sender
     await this._reduceSenderBalance(account, message)
 
+    if (this._vm._common.isActivatedEIP(3860)) {
+      if (message.data.length > this._vm._common.param('vm', 'maxInitCodeSize')) {
+        return {
+          gasUsed: message.gasLimit,
+          createdAddress: message.to,
+          execResult: {
+            returnValue: Buffer.alloc(0),
+            exceptionError: new VmError(ERROR.INITCODE_SIZE_VIOLATION),
+            gasUsed: message.gasLimit,
+          },
+        }
+      }
+    }
+
     message.code = message.data
     message.data = Buffer.alloc(0)
     message.to = await this._generateAddress(message)

packages/vm/src/evm/opcodes/gas.ts

@@ -262,6 +262,14 @@ export const dynamicGasHandlers: Map<number, AsyncDynamicGasHandler> = new Map<
 
       gas.iadd(subMemUsage(runState, offset, length, common))
 
+      if (common.isActivatedEIP(3860)) {
+        // Meter initcode
+        const initCodeCost = new BN(common.param('gasPrices', 'initCodeWordCost')).imul(
+          length.addn(31).divn(32)
+        )
+        gas.iadd(initCodeCost)
+      }
+
       let gasLimit = new BN(runState.eei.getGasLeft().isub(gas))
       gasLimit = maxCallGas(gasLimit.clone(), gasLimit.clone(), runState, common)
 
@@ -419,6 +427,15 @@ export const dynamicGasHandlers: Map<number, AsyncDynamicGasHandler> = new Map<
       }
 
       gas.iadd(new BN(common.param('gasPrices', 'sha3Word')).imul(divCeil(length, new BN(32))))
+
+      if (common.isActivatedEIP(3860)) {
+        // Meter initcode
+        const initCodeCost = new BN(common.param('gasPrices', 'initCodeWordCost')).imul(
+          length.addn(31).divn(32)
+        )
+        gas.iadd(initCodeCost)
+      }
+
       let gasLimit = new BN(runState.eei.getGasLeft().isub(gas))
       gasLimit = maxCallGas(gasLimit.clone(), gasLimit.clone(), runState, common) // CREATE2 is only available after TangerineWhistle (Constantinople introduced this opcode)
       runState.messageGasLimit = gasLimit

packages/vm/src/exceptions.ts

@@ -17,6 +17,7 @@ export enum ERROR {
   INVALID_RETURNSUB = 'invalid RETURNSUB',
   INVALID_JUMPSUB = 'invalid JUMPSUB',
   INVALID_BYTECODE_RESULT = 'invalid bytecode deployed',
+  INITCODE_SIZE_VIOLATION = 'initcode exceeds max initcode size',
 
   // BLS errors
   BLS_12_381_INVALID_INPUT_LENGTH = 'invalid input length',

packages/vm/src/index.ts

@@ -52,6 +52,7 @@ export interface VMOpts {
    * - [EIP-3529](https://eips.ethereum.org/EIPS/eip-3529) - Reduction in refunds
    * - [EIP-3541](https://eips.ethereum.org/EIPS/eip-3541) - Reject new contracts starting with the 0xEF byte
    * - [EIP-3855](https://eips.ethereum.org/EIPS/eip-3855) - PUSH0 instruction
+   * - [EIP-3860](https://eips.ethereum.org/EIPS/eip-3860) - Limit and meter initcode
    *
    * *Annotations:*
    *
@@ -195,7 +196,9 @@ export default class VM extends AsyncEventEmitter {
 
     if (opts.common) {
       // Supported EIPs
-      const supportedEIPs = [1559, 2315, 2537, 2565, 2718, 2929, 2930, 3198, 3529, 3541, 3607, 3855]
+      const supportedEIPs = [
+        1559, 2315, 2537, 2565, 2718, 2929, 2930, 3198, 3529, 3541, 3607, 3855, 3860,
+      ]
       for (const eip of opts.common.eips()) {
         if (!supportedEIPs.includes(eip)) {
           throw new Error(`EIP-${eip} is not supported by the VM`)