Code

MXP redesign#103

Code

Merged

OlivierBBB merged 141 commits intomainConsensys/linea-specification:mainfrom

MXP-redesignConsensys/linea-specification:MXP-redesignCopy head branch name to clipboard

Mar 30, 2025

Commits

Commits on Jan 20, 2025

• feat: design document for MXP_v3

  OlivierBBB

  committed
  11efced

  Copy full SHA for 11efced

• ras: forgot the doc ^^

  OlivierBBB

  committed
  bdb5f0f

  Copy full SHA for bdb5f0f

• feat: common columns

  OlivierBBB

  committed
  6ead4bd

  Copy full SHA for 6ead4bd

• feat: perspective macros + ras

  OlivierBBB

  committed
  e14815b

  Copy full SHA for e14815b

• ras: added missing _all_bla.tex file

  OlivierBBB

  committed
  dce27bd

  Copy full SHA for dce27bd

• ras

  OlivierBBB

  committed
  60d38ed

  Copy full SHA for 60d38ed

• ras: inputs again

  OlivierBBB

  committed
  e7db64d

  Copy full SHA for e7db64d

• ras

  OlivierBBB

  committed
  dc99979

  Copy full SHA for dc99979

• added instruction decoder columns

  lorenzogentile404

  committed
  a54995a

  Copy full SHA for a54995a

• Merge branch 'MXP-redesign' of github.com:Consensys/linea-specification into MXP-redesign

  lorenzogentile404

  committed
  45bbc7d

  Copy full SHA for 45bbc7d

• ras

  OlivierBBB

  committed
  2123c74

  Copy full SHA for 2123c74

• ras

  OlivierBBB

  committed
  46d1a0e

  Copy full SHA for 46d1a0e

• added macro columns

  lorenzogentile404

  committed
  50b2c54

  Copy full SHA for 50b2c54

• Merge branch 'MXP-redesign' of github.com:Consensys/linea-specification into MXP-redesign

  lorenzogentile404

  committed
  08d32fe

  Copy full SHA for 08d32fe

• added dollar symbol

  lorenzogentile404

  committed
  ba235bd

  Copy full SHA for ba235bd

• ras

  OlivierBBB

  committed
  fffb56e

  Copy full SHA for fffb56e

• ras

  OlivierBBB

  committed
  bb505d5

  Copy full SHA for bb505d5

Commits on Jan 21, 2025

• ras

  OlivierBBB

  committed
  290ad6d

  Copy full SHA for 290ad6d

Commits on Jan 23, 2025

• feat: details on the computation phase + more SCENARIO's

  OlivierBBB

  committed
  e366a7e

  Copy full SHA for e366a7e

• feat: binary constraints

  OlivierBBB

  committed
  8ee8a4f

  Copy full SHA for 8ee8a4f

• ras

  OlivierBBB

  committed
  868cd61

  Copy full SHA for 868cd61

• ras

  OlivierBBB

  committed
  91948c7

  Copy full SHA for 91948c7

• ras: moved stuff to mxp/constraints/

  OlivierBBB

  committed
  315da79

  Copy full SHA for 315da79

• added allowed perspective transitions and disallowed

  lorenzogentile404

  committed
  b7eb9b3

  Copy full SHA for b7eb9b3

• Merge branch 'MXP-redesign' of github.com:Consensys/linea-specification into MXP-redesign

  lorenzogentile404

  committed
  57c82aa

  Copy full SHA for 57c82aa

• feat: ct_max_sum macro

  OlivierBBB

  committed
  4e4fabf

  Copy full SHA for 4e4fabf

• extended heartbeat

  lorenzogentile404

  committed
  d657ca9

  Copy full SHA for d657ca9

• Merge branch 'MXP-redesign' of github.com:Consensys/linea-specification into MXP-redesign

  lorenzogentile404

  committed
  66e1c8d

  Copy full SHA for 66e1c8d

• ras

  OlivierBBB

  committed
  a38a3cd

  Copy full SHA for a38a3cd

• ras: offset

  OlivierBBB

  committed
  3d859b0

  Copy full SHA for 3d859b0

• used macro for max ct

  lorenzogentile404

  committed
  c0017a5

  Copy full SHA for c0017a5

• Merge branch 'MXP-redesign' of github.com:Consensys/linea-specification into MXP-redesign

  lorenzogentile404

  committed
  6ac3333

  Copy full SHA for 6ac3333

• added counter evolution and finalization constraints to heartbeat

  lorenzogentile404

  committed
  5b83148

  Copy full SHA for 5b83148

• ras

  OlivierBBB

  committed
  ac2feef

  Copy full SHA for ac2feef

• ras

  OlivierBBB

  committed
  66c97d2

  Copy full SHA for 66c97d2

• re-added counter evolution and finalization constraint

  lorenzogentile404

  committed
  725a9bf

  Copy full SHA for 725a9bf

• ras: small refactor

  OlivierBBB

  committed
  b331a16

  Copy full SHA for b331a16

• ras

  OlivierBBB

  committed
  99eb688

  Copy full SHA for 99eb688

• ras

  OlivierBBB

  committed
  1b9450d

  Copy full SHA for 1b9450d

• introduced calls to external modules

  lorenzogentile404

  committed
  5fd13a6

  Copy full SHA for 5fd13a6

• feat: some tables describing computations

  OlivierBBB

  committed
  d1129c6

  Copy full SHA for d1129c6

• feat: FIXED_SIZE must be made obsolete

  OlivierBBB

  committed
  c6dd6f0

  Copy full SHA for c6dd6f0

• started defining single max offset word case

  lorenzogentile404

  committed
  bb3c6f4

  Copy full SHA for bb3c6f4

Commits on Jan 24, 2025

• feat: some more diagrams planning out stuff

  OlivierBBB

  committed
  05b9028

  Copy full SHA for 05b9028

• ras

  OlivierBBB

  committed
  152e0f9

  Copy full SHA for 152e0f9

• feat: remove the FIXED_SIZE_INSTRUCTION scenario column

  OlivierBBB

  committed
  e2fc04e

  Copy full SHA for e2fc04e

• removed references to non-existing files

  lorenzogentile404

  committed
  46a73c9

  Copy full SHA for 46a73c9

• ordered sections

  lorenzogentile404

  committed
  30bd1ee

  Copy full SHA for 30bd1ee

• used column names in section names of computations for scenarios

  lorenzogentile404

  committed
  9911047

  Copy full SHA for 9911047

• feat: double_word case

  OlivierBBB

  committed
  0588916

  Copy full SHA for 0588916

• added subset of scenarios shorthands

  lorenzogentile404

  committed
  6fd2b40

  Copy full SHA for 6fd2b40

• Merge branch 'MXP-redesign' of github.com:Consensys/linea-specification into MXP-redesign

  lorenzogentile404

  committed
  21e9c7b

  Copy full SHA for 21e9c7b

• fixed shorthands and added labels to sections

  lorenzogentile404

  committed
  7bbec91

  Copy full SHA for 7bbec91

• added draft of MSIZE constraintsa

  lorenzogentile404

  committed
  31a273d

  Copy full SHA for 31a273d

• added msize case and skeleton of trivial case

  lorenzogentile404

  committed
  c9e5edd

  Copy full SHA for c9e5edd

• feat: some macro generalities

  OlivierBBB

  committed
  f0e1f63

  Copy full SHA for f0e1f63

• added sanity check symbols

  lorenzogentile404

  committed
  f243d5f

  Copy full SHA for f243d5f

• completed trivial case

  lorenzogentile404

  committed
  2b7600b

  Copy full SHA for 2b7600b

• ras

  OlivierBBB

  committed
  f376539

  Copy full SHA for f376539

• feat: several things

  Show description for d222531
  OlivierBBB

  committed
  d222531

  Copy full SHA for d222531

• ras

  OlivierBBB

  committed
  e8c7659

  Copy full SHA for e8c7659

• feat: use ISZERO when detecting zeroness of sizes + other stuff

  OlivierBBB

  committed
  6f34471

  Copy full SHA for 6f34471

• removed outdated text

  lorenzogentile404

  committed
  29cd9b2

  Copy full SHA for 29cd9b2

Commits on Jan 25, 2025

• feat: instruction decoder

  OlivierBBB

  committed
  ff17bdd

  Copy full SHA for ff17bdd

Commits on Jan 27, 2025

• added table for non_msize

  lorenzogentile404

  committed
  1149e54

  Copy full SHA for 1149e54

• added trivial and nontrivial computation

  lorenzogentile404

  committed
  7b5df98

  Copy full SHA for 7b5df98

• moved computation for mxpx to nontrivial case

  lorenzogentile404

  committed
  9d2b747

  Copy full SHA for 9d2b747

• added MXPX case

  lorenzogentile404

  committed
  98a8954

  Copy full SHA for 98a8954

• added nontrivial case

  lorenzogentile404

  committed
  1d06fba

  Copy full SHA for 1d06fba

Commits on Jan 28, 2025

• ras: copied the old intro into here

  OlivierBBB

  committed
  ff1cd04

  Copy full SHA for ff1cd04

Commits on Mar 4, 2025

• Merge branch 'main' into MXP-redesign

  lorenzogentile404

  committed
  bd596ae

  Copy full SHA for bd596ae

• Merge branch 'MXP-redesign' of github.com:Consensys/linea-specification into MXP-redesign

  lorenzogentile404

  committed
  6157431

  Copy full SHA for 6157431

Commits on Mar 5, 2025

• added tree to describe scenarios

  lorenzogentile404

  committed
  1e8effd

  Copy full SHA for 1e8effd

Commits on Mar 6, 2025

• added constraints to non trivial non mxpx

  lorenzogentile404

  committed
  519c0b9

  Copy full SHA for 519c0b9

Commits on Mar 8, 2025

• added compuation for non_trivial_non_mxpx

  lorenzogentile404

  committed
  1ffbf1c

  Copy full SHA for 1ffbf1c

Commits on Mar 11, 2025

• Merge branch 'main' into MXP-redesign

  lorenzogentile404

  authored
  1e90533

  Copy full SHA for 1e90533

• Merge branch 'main' into MXP-redesign

  lorenzogentile404

  authored
  876c66c

  Copy full SHA for 876c66c

• added missing computation row for nontrivial non mxpx

  lorenzogentile404

  committed
  efb46ca

  Copy full SHA for efb46ca

• added computation for single max offset and word pricing case and fixed tables

  lorenzogentile404

  committed
  36c202f

  Copy full SHA for 36c202f

Commits on Mar 12, 2025

• added more computation

  lorenzogentile404

  committed
  e14dae9

  Copy full SHA for e14dae9

• feat: more common column descriptions

  OlivierBBB

  committed
  288c5c6

  Copy full SHA for 288c5c6

• feat: consistency argument

  OlivierBBB

  committed
  117f674

  Copy full SHA for 117f674

• feat: lookups

  OlivierBBB

  committed
  9616b5d

  Copy full SHA for 9616b5d

• ras: small stuff and macros

  OlivierBBB

  committed
  7ef34d3

  Copy full SHA for 7ef34d3

• feat: transition graph

  OlivierBBB

  committed
  88ef67f

  Copy full SHA for 88ef67f

• ras

  OlivierBBB

  committed
  a6551c9

  Copy full SHA for a6551c9

Commits on Mar 13, 2025

• feat: scenario decision tree

  OlivierBBB

  committed
  e46138d

  Copy full SHA for e46138d

• ras

  OlivierBBB

  committed
  5b95424

  Copy full SHA for 5b95424

• feat: update instruction decoder

  Show description for 53d47d6
  OlivierBBB

  committed
  53d47d6

  Copy full SHA for 53d47d6

• ras: new shorthands

  OlivierBBB

  committed
  8f41a7f

  Copy full SHA for 8f41a7f

• ras

  OlivierBBB

  committed
  4826a0f

  Copy full SHA for 4826a0f

• feat: computations section intro + MSIZE constraints

  OlivierBBB

  committed
  a799d7c

  Copy full SHA for a799d7c

• ras

  OlivierBBB

  committed
  2cfe9fd

  Copy full SHA for 2cfe9fd

• feat: HUB / MXP interface

  OlivierBBB

  committed
  d676ae2

  Copy full SHA for d676ae2

• ras: DECODER perspective col descriptions + SCENARIO shorthands refactoring

  OlivierBBB

  committed
  305c239

  Copy full SHA for 305c239

• ras: DECODER diagram includes MXP_FLAG

  OlivierBBB

  committed
  bd31d9f

  Copy full SHA for bd31d9f

• ras: some refactoring shorthands + ras

  OlivierBBB

  committed
  77bf791

  Copy full SHA for 77bf791

• ras

  OlivierBBB

  committed
  c423085

  Copy full SHA for c423085

• ras: refactoring

  OlivierBBB

  committed
  0388ba8

  Copy full SHA for 0388ba8

• ras

  Show description for 0a0dd2a
  OlivierBBB

  committed
  0a0dd2a

  Copy full SHA for 0a0dd2a

• feat: finishing justifying the SCENARIO in the interesting case

  OlivierBBB

  committed
  1a3330e

  Copy full SHA for 1a3330e

Commits on Mar 18, 2025

• ras: reworking intro + other things

  OlivierBBB

  committed
  777a2b2

  Copy full SHA for 777a2b2

Commits on Mar 19, 2025

• wip: lots of stuff

  OlivierBBB

  committed
  468518a

  Copy full SHA for 468518a

• wip: more stuff

  OlivierBBB

  committed
  92a1be3

  Copy full SHA for 92a1be3

• ras: small changes

  OlivierBBB

  committed
  87691d7

  Copy full SHA for 87691d7

• wip: stuff ...

  OlivierBBB

  committed
  ace28ab

  Copy full SHA for ace28ab

• ras: some light refactoring

  OlivierBBB

  committed
  6cf1de0

  Copy full SHA for 6cf1de0

• ras: column descriptions

  OlivierBBB

  committed
  a1e6c34

  Copy full SHA for a1e6c34

• ras: fancy headers for lua.tex diagrams

  OlivierBBB

  committed
  0e2f750

  Copy full SHA for 0e2f750

• feat: some reworking of stuff

  OlivierBBB

  committed
  87da296

  Copy full SHA for 87da296

• ras: renamings

  OlivierBBB

  committed
  0768abb

  Copy full SHA for 0768abb

• feat: major SCENARIO changes

  Show description for e350e4b
  OlivierBBB

  committed
  e350e4b

  Copy full SHA for e350e4b

Commits on Mar 20, 2025

• feat: done with word and byte pricing

  Show description for 5803e5c
  OlivierBBB

  committed
  5803e5c

  Copy full SHA for 5803e5c

• feat: MACRO column annotations + ras

  OlivierBBB

  committed
  e3774f3

  Copy full SHA for e3774f3

• fix: typo in constraint + ras

  OlivierBBB

  committed
  6ef34c9

  Copy full SHA for 6ef34c9

• ras: LINEA_MAX_MEMORY_SIZE -> MXPX_THRESHOLD

  OlivierBBB

  committed
  7c55497

  Copy full SHA for 7c55497

• ras

  OlivierBBB

  committed
  1486be7

  Copy full SHA for 1486be7

• ras: section structure refactoring

  OlivierBBB

  committed
  0f80a0b

  Copy full SHA for 0f80a0b

• ras: remove comments + renaming

  OlivierBBB

  committed
  1b9ea1e

  Copy full SHA for 1b9ea1e

• feat: improve drawings

  OlivierBBB

  committed
  ce258a0

  Copy full SHA for ce258a0

Commits on Mar 21, 2025

• feat: review with @Lorenzo + erased a lot of stuff

  OlivierBBB

  committed
  0f67932

  Copy full SHA for 0f67932

Commits on Mar 22, 2025

• ras: renaming

  OlivierBBB

  committed
  a756e65

  Copy full SHA for a756e65

• ras: deletions + removed comments

  OlivierBBB

  committed
  df57c66

  Copy full SHA for df57c66

• ras: adding "Lisp TODO" and "Lisp DONE" everywhere

  OlivierBBB

  committed
  b7f32dc

  Copy full SHA for b7f32dc

• ras

  OlivierBBB

  committed
  61f6aa9

  Copy full SHA for 61f6aa9

• ras

  OlivierBBB

  committed
  34956b8

  Copy full SHA for 34956b8

• ras: a few "Lisp TODO's -> Lisp DONE's"

  OlivierBBB

  committed
  a12e9e4

  Copy full SHA for a12e9e4

• ras: more small changes + renamings

  OlivierBBB

  committed
  065d183

  Copy full SHA for 065d183

Commits on Mar 23, 2025

• ras: a few "Lisp TODO's" -> "Lisp DONE's" + using the right diagram

  OlivierBBB

  committed
  6505d0a

  Copy full SHA for 6505d0a

Commits on Mar 24, 2025

• feat: DECODER column descriptions + removing IS_CALL from MXP

  OlivierBBB

  committed
  81296b9

  Copy full SHA for 81296b9

• Merge branch 'main' into MXP-redesign

  OlivierBBB

  authored
  fe00263

  Copy full SHA for fe00263

• ras

  OlivierBBB

  committed
  2bb0780

  Copy full SHA for 2bb0780

Commits on Mar 25, 2025

• Merge branch 'main' into MXP-redesign

  letypequividelespoubelles

  authored
  23f9dea

  Copy full SHA for 23f9dea

• updtate jetbrain font

  Show description for e10908e
  letypequividelespoubelles

  committed
  e10908e

  Copy full SHA for e10908e

Commits on Mar 26, 2025

• Fix typo in 'state change'

  OlivierBBB

  authored
  1e387ab

  Copy full SHA for 1e387ab

• Add trash notation to computation flags

  OlivierBBB

  authored
  77214bc

  Copy full SHA for 77214bc

• Fix inequality function in LaTeX file

  OlivierBBB

  authored
  0ed79e6

  Copy full SHA for 0ed79e6

Commits on Mar 29, 2025

• Merge branch 'main' into MXP-redesign

  OlivierBBB

  authored
  092e199

  Copy full SHA for 092e199

• fix: using LEQ rather than LT when establishing smallness of sizes and offsets

  OlivierBBB

  committed
  c894a77

  Copy full SHA for c894a77

• fix: clarification of TRIVIAL & nontrivial scenario remark

  OlivierBBB

  committed
  5cbe77c

  Copy full SHA for 5cbe77c

Commits on Mar 30, 2025

• Merge branch 'main' into MXP-redesign

  OlivierBBB

  authored
  16fbfdc

  Copy full SHA for 16fbfdc