Code

feat: implement kernel mode#42

Code

Merged

joonazan merged 70 commits intomastermatter-labs/vm2:masterfrom kernel-modematter-labs/vm2:kernel-modeCopy head branch name to clipboardJul 22, 2024

+940-694

Commits

Commits on Jun 11, 2024

• only kernel addresses may use certain instructions

  joonazan

  committed
  50964da

  Copy full SHA for 50964da

• pubdata can be read only in kernel mode

  joonazan

  committed
  d678af9

  Copy full SHA for d678af9

• implement pointer erasure

  joonazan

  committed
  1a3f586

  Copy full SHA for 1a3f586

• comment explaining heap growth vs backing DS

  joonazan

  committed
  af250b5

  Copy full SHA for af250b5

• fix a few finish_frame related mistakes in zk_evm fuzzing

  joonazan

  committed
  606efa0

  Copy full SHA for 606efa0

• avoid edge case where final frame is popped

  joonazan

  committed
  45be3f2

  Copy full SHA for 45be3f2

• set is_kernel in a zk_evm compatible way

  joonazan

  committed
  3ac1055

  Copy full SHA for 3ac1055

• save a few bytes by not generating r0

  joonazan

  committed
  e2369f4

  Copy full SHA for e2369f4

• implement aux_mutating

  joonazan

  committed
  29e7597

  Copy full SHA for 29e7597

• translate near calls to zk_evm

  joonazan

  committed
  5314813

  Copy full SHA for 5314813

• do not compare the current frame's sp in case of panic

  Show description for 88d0eeb
  joonazan

  committed
  88d0eeb

  Copy full SHA for 88d0eeb

• implement heap for zk_evm

  joonazan

  committed
  66af4bc

  Copy full SHA for 66af4bc

• deal with different far call panic handling

  joonazan

  committed
  81b97b5

  Copy full SHA for 81b97b5

• pay for return from far call as appropriate

  joonazan

  committed
  11fdacd

  Copy full SHA for 11fdacd

• lint

  joonazan

  committed
  e557934

  Copy full SHA for e557934

• check all free panics before even running the instruction

  Show description for 700f91f
  joonazan

  committed
  700f91f

  Copy full SHA for 700f91f

• implement return value of jump

  joonazan

  committed
  29ef86f

  Copy full SHA for 29ef86f

• implement enough decommit for far call to go through

  joonazan

  committed
  ebbd8b8

  Copy full SHA for ebbd8b8

• fix initial sp

  joonazan

  committed
  de441c1

  Copy full SHA for de441c1

• grow the heap to u32::MAX instead of paying u32::MAX

  joonazan

  committed
  c9dcf74

  Copy full SHA for c9dcf74

• filter out unimplemented instructions

  joonazan

  committed
  48a2b3d

  Copy full SHA for 48a2b3d

• implement zk_evm heap writes

  joonazan

  committed
  9ca0994

  Copy full SHA for 9ca0994

• replicate nonsensical behaviour in zk_evm

  Show description for b8dbb29
  joonazan

  committed
  b8dbb29

  Copy full SHA for b8dbb29

• fix heap bounds comparison

  joonazan

  committed
  f32a21b

  Copy full SHA for f32a21b

• add comments to remember to make vm sane again as soon as zk_evm is

  joonazan

  committed
  b9cf12d

  Copy full SHA for b9cf12d

• support aux heap, too

  joonazan

  committed
  508453d

  Copy full SHA for 508453d

• more accurate far call heap growth

  joonazan

  committed
  cca6fb5

  Copy full SHA for cca6fb5

• fix possible overflow

  joonazan

  committed
  4816074

  Copy full SHA for 4816074

• restrict system calls and constructor calls

  joonazan

  committed
  b28b39a

  Copy full SHA for b28b39a

• call default aa on constructor call mismatch, too

  joonazan

  committed
  d2bf214

  Copy full SHA for d2bf214

• far call: stop doing things immediately on failure

  Show description for 5b9a3e3
  joonazan

  committed
  5b9a3e3

  Copy full SHA for 5b9a3e3

• copy heap read bug to heap write, too

  joonazan

  committed
  360ec54

  Copy full SHA for 360ec54

• get second param of ptr as non-pointer like defined in opcode_defs

  joonazan

  committed
  6d84774

  Copy full SHA for 6d84774

• heap accesses don't take pointers

  joonazan

  committed
  4b0c04b

  Copy full SHA for 4b0c04b

• grow heap on out of bounds access regardless of other errors

  joonazan

  committed
  6f5f922

  Copy full SHA for 6f5f922

• fix bug in heap mock

  joonazan

  committed
  00730ee

  Copy full SHA for 00730ee

• mock storage write

  joonazan

  committed
  20246db

  Copy full SHA for 20246db

• replicate transient storage behaviour of vm2

  joonazan

  committed
  fb7f017

  Copy full SHA for fb7f017

• allow fat pointer read in mock

  joonazan

  committed
  5992e9c

  Copy full SHA for 5992e9c

• validate that calldata heap is different from the current heap

  joonazan

  committed
  095801c

  Copy full SHA for 095801c

• never make evm interpreter static

  joonazan

  committed
  f2578c8

  Copy full SHA for f2578c8

• perfectly replicates far call heap growth

  joonazan

  committed
  69fe5ea

  Copy full SHA for 69fe5ea

• panic on constructor call mismatch to kernel address

  joonazan

  committed
  2570290

  Copy full SHA for 2570290

• remove old fuzzer

  joonazan

  committed
  5a876a9

  Copy full SHA for 5a876a9

• support shard calls to panic when one is attempted

  joonazan

  committed
  f215bb5

  Copy full SHA for f215bb5

• add comments explaining already_failed situation

  joonazan

  committed
  60b326e

  Copy full SHA for 60b326e

• generate small enough gas to fit EVM stipend

  joonazan

  committed
  a4a871d

  Copy full SHA for a4a871d

• set static call to EVM flag correctly

  joonazan

  committed
  c09a558

  Copy full SHA for c09a558

• correct mistake in default aa logic

  joonazan

  committed
  281a123

  Copy full SHA for 281a123

• temporarily remove assertion

  joonazan

  committed
  a3c301d

  Copy full SHA for a3c301d

• make calldata come from smaller heap

  joonazan

  committed
  c9acc0f

  Copy full SHA for c9acc0f

• do not mask pointers going into load and store

  joonazan

  committed
  edccc37

  Copy full SHA for edccc37

Commits on Jun 12, 2024

• generate heap numbers that make sense for vm2 and zk_evm

  joonazan

  committed
  e5bd627

  Copy full SHA for e5bd627

• make kernel addresses much more likely

  joonazan

  committed
  4a28421

  Copy full SHA for 4a28421

• remove todo! from start_new_tx

  joonazan

  committed
  f3b4116

  Copy full SHA for f3b4116

• check pointer flags on ptr instruction's second argument

  joonazan

  committed
  cddf041

  Copy full SHA for cddf041

• craft kernel to kernel far call as seed

  joonazan

  committed
  ff0ac10

  Copy full SHA for ff0ac10

• only system calls can have extra cost

  joonazan

  committed
  66f8bc0

  Copy full SHA for 66f8bc0

• fix case where mandated gas was not paid but was given back

  joonazan

  committed
  eb7db89

  Copy full SHA for eb7db89

• the top half of generated pointer is no longer zero

  joonazan

  committed
  8314001

  Copy full SHA for 8314001

• allow kernel contracts to return their calldata

  joonazan

  committed
  4b9f044

  Copy full SHA for 4b9f044

• add missing already failed check

  joonazan

  committed
  ad745a4

  Copy full SHA for ad745a4

• craft really intricate inputs

  joonazan

  committed
  8c3f1ee

  Copy full SHA for 8c3f1ee

• clippy lints

  joonazan

  committed
  4f01eb4

  Copy full SHA for 4f01eb4

Commits on Jun 13, 2024

• burn all gas if there is not enough left for the mandated gas

  joonazan

  committed
  526a065

  Copy full SHA for 526a065

Commits on Jun 14, 2024

• remove superfluous is_static checks

  joonazan

  committed
  be18683

  Copy full SHA for be18683

• enable tracing with trace feature

  joonazan

  committed
  c79a2fb

  Copy full SHA for c79a2fb

• update tracing code

  joonazan

  committed
  32d4268

  Copy full SHA for 32d4268

Commits on Jun 18, 2024

• feat: decommit opcode (#44)

  Show description for cbed0c6
  montekki

  authored
  cbed0c6

  Copy full SHA for cbed0c6

Commits on Jun 20, 2024

• chore: stop storing tx number (#45)

  joonazan

  authored
  4931b48

  Copy full SHA for 4931b48