Code

[WIP] Program Upgradability #2610

Code

Draft

d0cd wants to merge 49 commits intostagingProvableHQ/snarkVM:stagingfrom feat/program-upgradabilityProvableHQ/snarkVM:feat/program-upgradabilityCopy head branch name to clipboard

+3,879-672

Commits

Commits on Jan 23, 2025

• Introduce V2 variant of program owner

  d0cd

  committed
  a99a40f

  Copy full SHA for a99a40f

• Clippy

  d0cd

  committed
  d65e636

  Copy full SHA for d65e636

• Add deploy_with_authority

  d0cd

  committed
  d2044f2

  Copy full SHA for d2044f2

• Clippy

  d0cd

  committed
  740fdc9

  Copy full SHA for 740fdc9

• Add skeleton for finalizing updates

  d0cd

  committed
  9bae55b

  Copy full SHA for 9bae55b

• Use editions to track versions of the program

  d0cd

  committed
  5eefdcf

  Copy full SHA for 5eefdcf

Commits on Jan 24, 2025

• Checkpointing design

  d0cd

  committed
  73c2db7

  Copy full SHA for 73c2db7

Commits on Jan 25, 2025

• Add editions to process stacks

  d0cd

  committed
  66c7143

  Copy full SHA for 66c7143

Commits on Jan 27, 2025

• Checkpoint

  d0cd

  committed
  aff18e8

  Copy full SHA for aff18e8

Commits on Jan 31, 2025

• Lookup stacks in Process, remove external stacks

  d0cd

  committed
  6b7286e

  Copy full SHA for 6b7286e

• Clippy

  d0cd

  committed
  bc7855c

  Copy full SHA for bc7855c

• Add to deployment DB

  d0cd

  committed
  3825922

  Copy full SHA for 3825922

Commits on Feb 4, 2025

• Rename DeploymentMap::ID to IDV1

  d0cd

  committed
  9b5c716

  Copy full SHA for 9b5c716

• Resolve some TODOs, API cleanup

  d0cd

  committed
  35cac79

  Copy full SHA for 35cac79

Commits on Feb 5, 2025

• Clean up check_update

  d0cd

  committed
  417e373

  Copy full SHA for 417e373

• Remove caching of finalize costs as they are invalid on an update to the finalize logic

  d0cd

  committed
  812a210

  Copy full SHA for 812a210

• Add runtime checks for program costs and and number of calls

  d0cd

  committed
  b3a6ced

  Copy full SHA for b3a6ced

• Implement global.get edition ...

  d0cd

  committed
  704098b

  Copy full SHA for 704098b

• Add test

  d0cd

  committed
  9828994

  Copy full SHA for 9828994

• Place stacks under a RwLock for interior mutability

  d0cd

  committed
  965e9e1

  Copy full SHA for 965e9e1

Commits on Feb 6, 2025

• global.get test case passes

  d0cd

  committed
  97cee48

  Copy full SHA for 97cee48

• Verify edition is only valid global

  d0cd

  committed
  6d9060e

  Copy full SHA for 6d9060e

• Merge branch 'staging' into feat/program-upgradability

  d0cd

  committed
  95f5c87

  Copy full SHA for 95f5c87

• Test template for (in)validity checks

  d0cd

  committed
  c0f489b

  Copy full SHA for c0f489b

Commits on Feb 7, 2025

• Valid update tests

  d0cd

  committed
  e9ddc88

  Copy full SHA for e9ddc88

• Add negative update tests

  d0cd

  committed
  8b0daba

  Copy full SHA for 8b0daba

• Add safety check against self imports on update

  d0cd

  committed
  ef44d05

  Copy full SHA for ef44d05

• Refactor tests

  d0cd

  committed
  d6df694

  Copy full SHA for d6df694

• Clippy

  d0cd

  committed
  7bda11a

  Copy full SHA for 7bda11a

• Basic upgrade passes

  d0cd

  committed
  ef54427

  Copy full SHA for ef54427

Commits on Feb 11, 2025

• Add some VM tests

  d0cd

  committed
  432b4a3

  Copy full SHA for 432b4a3

• Clippy

  d0cd

  committed
  c4c6a69

  Copy full SHA for c4c6a69

Commits on Feb 12, 2025

• Test effect of updates on dependents

  d0cd

  committed
  06b4a90

  Copy full SHA for 06b4a90

• Add test with cycle, currently mutual recursion fails to deploy, however PR #2598 may allow that to happen

  d0cd

  committed
  45caf01

  Copy full SHA for 45caf01

• Add some protections against infinite recursion

  d0cd

  committed
  ec32aad

  Copy full SHA for ec32aad

• Defend against recursion in get_number_of_calls and costs

  d0cd

  committed
  2811d7e

  Copy full SHA for 2811d7e

• Rename global.get to metadata.get

  d0cd

  committed
  13e3692

  Copy full SHA for 13e3692

Commits on Feb 13, 2025

• Add test for record consumption

  d0cd

  committed
  2c94a02

  Copy full SHA for 2c94a02

Commits on Feb 14, 2025

• Fix impl

  d0cd

  committed
  bcac67f

  Copy full SHA for bcac67f

• Fix failing test, move original vm tests back for reviewability

  d0cd

  committed
  7c61ac4

  Copy full SHA for 7c61ac4

• Fix and move unrelated test to different branch

  d0cd

  committed
  0d8e040

  Copy full SHA for 0d8e040

• Add debugs

  d0cd

  committed
  0ea9bc4

  Copy full SHA for 0ea9bc4

Commits on Feb 15, 2025

• Use weak references back to global stacks

  d0cd

  committed
  415c620

  Copy full SHA for 415c620

• Adjust test

  d0cd

  committed
  c637563

  Copy full SHA for c637563

• Cleanup

  d0cd

  committed
  b3ada76

  Copy full SHA for b3ada76

• Adjust test

  d0cd

  committed
  b0ba2f4

  Copy full SHA for b0ba2f4

• Clippy

  d0cd

  committed
  e4ffd4a

  Copy full SHA for e4ffd4a

• Merge branch 'staging' into feat/program-upgradability

  d0cd

  committed
  634fa71

  Copy full SHA for 634fa71

Commits on Feb 18, 2025

• Merge branch 'staging' into feat/program-upgradability

  d0cd

  committed
  1225f49

  Copy full SHA for 1225f49