Code

Remove all preinit memory#1610

Code

Merged

spiral-ladder merged 85 commits intomain0xmozak/mozak-vm:mainfrom bing/obliterate-preinit-memory0xmozak/mozak-vm:bing/obliterate-preinit-memoryCopy head branch name to clipboardMay 8, 2024

Commits

Commits on Apr 24, 2024

• init

  spiral-ladder

  committed
  87356de

  Copy full SHA for 87356de

• memory_io: ecall-compatible tests

  spiral-ladder

  committed
  3061ddf

  Copy full SHA for 3061ddf

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  72fdd7c

  Copy full SHA for 72fdd7c

• ecall

  spiral-ladder

  committed
  4c943bc

  Copy full SHA for 4c943bc

• fix integration test

  spiral-ladder

  committed
  48d1b5d

  Copy full SHA for 48d1b5d

• run_examples: remove self-prog-id as parameter

  spiral-ladder

  committed
  ef0c070

  Copy full SHA for ef0c070

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  committed
  7ba75fb

  Copy full SHA for 7ba75fb

• remove RandomAccessPreinitTape; unify to RandomAccessTape

  Show description for 5f04cde
  spiral-ladder

  committed
  5f04cde

  Copy full SHA for 5f04cde

• clippy

  spiral-ladder

  committed
  a2a13f7

  Copy full SHA for a2a13f7

• temporarily use empty vec

  spiral-ladder

  committed
  352ff61

  Copy full SHA for 352ff61

• Revert "remove RandomAccessPreinitTape; unify to RandomAccessTape"

  Show description for e3c4ece
  spiral-ladder

  committed
  e3c4ece

  Copy full SHA for e3c4ece

Commits on Apr 25, 2024

• remove feature:

  supragya

  committed
  bd4b5c1

  Copy full SHA for bd4b5c1

• impl: READ

  supragya

  committed
  7a84c40

  Copy full SHA for 7a84c40

• impl: Seek

  supragya

  committed
  1c51a6c

  Copy full SHA for 1c51a6c

• remove: comments

  supragya

  committed
  bca4aa4

  Copy full SHA for bca4aa4

• Fix incorrect call to expr_tree in Cached (#1608)

  Show description for ade85b2
  

  Jakub Zalewski

  authored and

  spiral-ladder

  committed
  ade85b2

  Copy full SHA for ade85b2

• Fix workspace dependencies (#1603)

  Show description for 3ae694c
  

  matthiasgoergens

  authored and

  spiral-ladder

  committed
  3ae694c

  Copy full SHA for 3ae694c

• cli(bundling): transaction bundling now only needs 1 plan (#1584)

  Show description for ea74785
  

  spiral-ladder

  and

  matthiasgoergens

  committed
  ea74785

  Copy full SHA for ea74785

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  committed
  ddfb7f7

  Copy full SHA for ddfb7f7

• sdk: remove get_owned_buffer and owned_buffer

  spiral-ladder

  committed
  6599807

  Copy full SHA for 6599807

• Simplify impls

  spiral-ladder

  committed
  a951bd8

  Copy full SHA for a951bd8

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  bf60b67

  Copy full SHA for bf60b67

• runner: Remove all usages of MozakMemory and its related structs and

  Show description for 3aa9b5e
  spiral-ladder

  committed
  3aa9b5e

  Copy full SHA for 3aa9b5e

• circuits: Remove all preinit STARKs.

  spiral-ladder

  committed
  1d72f74

  Copy full SHA for 1d72f74

Commits on Apr 26, 2024

• runner(code): remove doc comment reference to MozakMemory

  spiral-ladder

  committed
  dcffe77

  Copy full SHA for dcffe77

• sdk(systemtapes): do not init with preinit memory

  Show description for 7a7a389
  spiral-ladder

  committed
  7a7a389

  Copy full SHA for 7a7a389

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  3f9a1c8

  Copy full SHA for 3f9a1c8

• blunder

  spiral-ladder

  committed
  cf3cdcd

  Copy full SHA for cf3cdcd

Commits on Apr 29, 2024

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  1cd4ff7

  Copy full SHA for 1cd4ff7

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  d80b0fa

  Copy full SHA for d80b0fa

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  e6c515f

  Copy full SHA for e6c515f

Commits on Apr 30, 2024

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  committed
  4d79035

  Copy full SHA for 4d79035

Commits on May 1, 2024

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  committed
  e493eec

  Copy full SHA for e493eec

• call_tape: Deserialize entire call tape upfront.

  Show description for 045cb4f
  spiral-ladder

  committed
  045cb4f

  Copy full SHA for 045cb4f

• sdk: make sanity check happy

  spiral-ladder

  committed
  7d6c428

  Copy full SHA for 7d6c428

Commits on May 2, 2024

• fix

  spiral-ladder

  committed
  33fa762

  Copy full SHA for 33fa762

• sdk(calltape): rename zcd_msg -> message

  spiral-ladder

  committed
  4dd9fd7

  Copy full SHA for 4dd9fd7

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  committed
  bcfadf9

  Copy full SHA for bcfadf9

• sdk(system): clippy

  spiral-ladder

  committed
  b7befdd

  Copy full SHA for b7befdd

• cli: re-introduce self_prog_id

  spiral-ladder

  committed
  438935a

  Copy full SHA for 438935a

• circuits: add ecall event stark

  spiral-ladder

  committed
  4a57864

  Copy full SHA for 4a57864

• sdk(event-tape): transition event tape to ecall

  spiral-ladder

  committed
  47ba69a

  Copy full SHA for 47ba69a

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  committed
  9af52ff

  Copy full SHA for 9af52ff

• sdk: clippy

  spiral-ladder

  committed
  5a3f060

  Copy full SHA for 5a3f060

• runner: clippy

  spiral-ladder

  committed
  42e8e31

  Copy full SHA for 42e8e31

• clippy

  spiral-ladder

  committed
  7d9881e

  Copy full SHA for 7d9881e

Commits on May 3, 2024

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  committed
  fd87857

  Copy full SHA for fd87857

• sdk(inputtape): remove unnecessary FreeformTape type indirection

  Show description for 2117557
  spiral-ladder

  committed
  2117557

  Copy full SHA for 2117557

• run_examples: restore -vvv

  spiral-ladder

  committed
  d95468a

  Copy full SHA for d95468a

• restore self_prog_id usage

  spiral-ladder

  committed
  e70c23b

  Copy full SHA for e70c23b

• import

  spiral-ladder

  committed
  0e0e8af

  Copy full SHA for 0e0e8af

• fix merge mishap

  spiral-ladder

  committed
  81f02d7

  Copy full SHA for 81f02d7

• cli: populate commitment tapes in raw_tapes_from_system_tape

  spiral-ladder

  committed
  6877cd0

  Copy full SHA for 6877cd0

• clippy

  spiral-ladder

  committed
  46c62bd

  Copy full SHA for 46c62bd

• rename: events_tape_read -> event_tape_read

  spiral-ladder

  committed
  fec31ed

  Copy full SHA for fec31ed

Commits on May 6, 2024

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  e23c084

  Copy full SHA for e23c084

• clippy

  spiral-ladder

  committed
  99b0c6d

  Copy full SHA for 99b0c6d

Commits on May 7, 2024

• circuits: add self prog id table

  spiral-ladder

  committed
  e1e6904

  Copy full SHA for e1e6904

• sdk(system): read tapes frome calls

  spiral-ladder

  committed
  7ce432c

  Copy full SHA for 7ce432c

• sdk: clippy

  spiral-ladder

  committed
  a577e15

  Copy full SHA for a577e15

• remove unused vars

  spiral-ladder

  committed
  56a1028

  Copy full SHA for 56a1028

• Merge branch 'main' into bing/obliterate-preinit-memory

  Show description for 5835e7f
  spiral-ladder

  committed
  5835e7f

  Copy full SHA for 5835e7f

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  f4d803d

  Copy full SHA for f4d803d

• move fn

  spiral-ladder

  committed
  6e99e94

  Copy full SHA for 6e99e94

Commits on May 8, 2024

• cli: fix input tape serialization

  spiral-ladder

  committed
  254ba55

  Copy full SHA for 254ba55

• sdk(system): cleanup

  spiral-ladder

  committed
  6194ff2

  Copy full SHA for 6194ff2

• clippy

  spiral-ladder

  committed
  700f863

  Copy full SHA for 700f863

• sdk: clippy

  spiral-ladder

  committed
  a4636ee

  Copy full SHA for a4636ee

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  3503d03

  Copy full SHA for 3503d03

• runner(state): use once

  spiral-ladder

  committed
  358ab56

  Copy full SHA for 358ab56

• cli(runner): restore original location of deserialization logic

  spiral-ladder

  committed
  e97cd06

  Copy full SHA for e97cd06

• restore deny warnings

  spiral-ladder

  committed
  10c3a85

  Copy full SHA for 10c3a85

• sdk(native): restore original dump_system_tape

  spiral-ladder

  committed
  a6d37a2

  Copy full SHA for a6d37a2

• cli(runner): rearrange

  spiral-ladder

  committed
  1b047b7

  Copy full SHA for 1b047b7

• cli(runner): println -> debug

  spiral-ladder

  committed
  5f91b84

  Copy full SHA for 5f91b84

• remove redundant comment

  spiral-ladder

  committed
  9544a3c

  Copy full SHA for 9544a3c

• cli: remove redundant TODO comment about ecall refactor

  spiral-ladder

  committed
  81101de

  Copy full SHA for 81101de

• sdk: remove preinitmem_inputtape from feature set

  spiral-ladder

  committed
  cc262ca

  Copy full SHA for cc262ca

• sdk: remove redundant feature cfg

  spiral-ladder

  committed
  d5c0172

  Copy full SHA for d5c0172

• sdk: fix Cargo toml

  spiral-ladder

  committed
  0dcb6d5

  Copy full SHA for 0dcb6d5

• runner(state): use once for memory

  spiral-ladder

  committed
  a69dba8

  Copy full SHA for a69dba8

• circuits(storage_device): use last_state

  spiral-ladder

  committed
  8a2f370

  Copy full SHA for 8a2f370

• fmt: trailing comma

  spiral-ladder

  committed
  4710b12

  Copy full SHA for 4710b12

• cli: reduce replication

  spiral-ladder

  committed
  6a46538

  Copy full SHA for 6a46538

• Merge branch 'main' into bing/obliterate-preinit-memory

  spiral-ladder

  authored
  d5c996c

  Copy full SHA for d5c996c