Code

Air vm workshop#834

Code

Draft

MauroToscano wants to merge 197 commits intomainlambdaclass/lambdaworks:mainfrom air-vm-workshoplambdaclass/lambdaworks:air-vm-workshopCopy head branch name to clipboard

+4,220-3,968

Commits

Commits on Nov 21, 2023

• Add f_op1_imm_bit constraint

  entropidelic

  committed
  eea014e

  Copy full SHA for eea014e

• Add flag_res_op1_bit constraint

  entropidelic

  committed
  b8b8811

  Copy full SHA for b8b8811

• Add flag_pc_update_regular_bit constraint

  entropidelic

  committed
  9132999

  Copy full SHA for 9132999

• Add flag_fp_update_regular_bit constraint

  entropidelic

  committed
  cd1c7c6

  Copy full SHA for cd1c7c6

• Add cpu/opcodes/call/off0 constraint

  entropidelic

  committed
  1f0a852

  Copy full SHA for 1f0a852

• Add cpu/opcodes/call/off1 constraint

  entropidelic

  committed
  96b72c6

  Copy full SHA for 96b72c6

• Add cpu/opcodes/call/flags constraint

  entropidelic

  committed
  48285de

  Copy full SHA for 48285de

• Add cpu/opcodes/ret/off0 constraint

  entropidelic

  committed
  f3d608f

  Copy full SHA for f3d608f

• Add cpu/opcodes/ret/off2 constraint

  entropidelic

  committed
  08138c4

  Copy full SHA for 08138c4

• Add cpu/opcodes/ret/flags constraint

  entropidelic

  committed
  589423b

  Copy full SHA for 589423b

Commits on Nov 22, 2023

• Merge branch 'main' into add-constraints

  entropidelic

  authored
  718a062

  Copy full SHA for 718a062

• Fix wasm tes

  entropidelic

  committed
  20b6a75

  Copy full SHA for 20b6a75

• Merge remote-tracking branch 'origin/add-constraints' into add-constraints

  entropidelic

  committed
  e8be514

  Copy full SHA for e8be514

• Fix wasm test

  entropidelic

  committed
  3680920

  Copy full SHA for 3680920

• Add layouts folder

  entropidelic

  committed
  029df35

  Copy full SHA for 029df35

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  committed
  817f5c3

  Copy full SHA for 817f5c3

Commits on Nov 23, 2023

• Add constants

  entropidelic

  committed
  a43a388

  Copy full SHA for a43a388

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  committed
  b8a3c92

  Copy full SHA for b8a3c92

• Add more trace cells position constants

  entropidelic

  committed
  dcf72ee

  Copy full SHA for dcf72ee

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  committed
  dad50aa

  Copy full SHA for dad50aa

• Move plain layout AIR to its file

  entropidelic

  committed
  77f5b77

  Copy full SHA for 77f5b77

• Add set_offsets function

  entropidelic

  committed
  b16cf76

  Copy full SHA for b16cf76

Commits on Nov 24, 2023

• Add test for set_offsets function

  entropidelic

  committed
  b8a19c3

  Copy full SHA for b8a19c3

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  authored
  6ec7941

  Copy full SHA for 6ec7941

• Add test for set_update_pc function

  entropidelic

  committed
  a0187fa

  Copy full SHA for a0187fa

• Merge remote-tracking branch 'origin/refactor-cairo-trace' into refactor-cairo-trace

  entropidelic

  committed
  b1efd61

  Copy full SHA for b1efd61

• Add test for set_mem_pool

  entropidelic

  committed
  b18f4f0

  Copy full SHA for b18f4f0

• Add set_flag_prefixes function and test

  entropidelic

  committed
  857db79

  Copy full SHA for 857db79

• Remove code

  entropidelic

  committed
  8b30f6d

  Copy full SHA for 8b30f6d

Commits on Nov 27, 2023

• Start work on sorted trace cell values

  entropidelic

  committed
  8058264

  Copy full SHA for 8058264

• Add stone-compatible fill memory holes functionality

  entropidelic

  committed
  0a7c53d

  Copy full SHA for 0a7c53d

• Add stone-compatible fill rc holes functionality

  entropidelic

  committed
  89f1b30

  Copy full SHA for 89f1b30

• Fix bug in finalize_rc_pool

  entropidelic

  committed
  6b5b6a9

  Copy full SHA for 6b5b6a9

Commits on Nov 28, 2023

• Fix get_rc_holes function

  entropidelic

  committed
  9c66dd7

  Copy full SHA for 9c66dd7

• Add rc sorted values column

  entropidelic

  committed
  57f0aff

  Copy full SHA for 57f0aff

• Add assertion for rc holes

  entropidelic

  committed
  86892da

  Copy full SHA for 86892da

• Save work in progress

  entropidelic

  committed
  08978ac

  Copy full SHA for 08978ac

• Save work in progress

  entropidelic

  committed
  5fceb59

  Copy full SHA for 5fceb59

Commits on Nov 29, 2023

• Save work in progress

  entropidelic

  committed
  93583c9

  Copy full SHA for 93583c9

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  committed
  09b92f5

  Copy full SHA for 09b92f5

• Save progress in set_sorted_mem_pool

  entropidelic

  committed
  26ae5b3

  Copy full SHA for 26ae5b3

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  committed
  031c607

  Copy full SHA for 031c607

Commits on Nov 30, 2023

• Add sorted memory stone compatible column to trace

  entropidelic

  committed
  1a76340

  Copy full SHA for 1a76340

• remove legacy code

  entropidelic

  committed
  336b1ec

  Copy full SHA for 336b1ec

Commits on Dec 14, 2023

• Start refactor

  entropidelic

  committed
  5329135

  Copy full SHA for 5329135

Commits on Dec 15, 2023

• Add TransitionZerofiersIter and implement Iterator trait

  entropidelic

  committed
  9219428

  Copy full SHA for 9219428

• Stark prover code compiling

  entropidelic

  committed
  3b97382

  Copy full SHA for 3b97382

• Save progress

  entropidelic

  committed
  00f7fb1

  Copy full SHA for 00f7fb1

Commits on Dec 18, 2023

• Refactor is compiling

  entropidelic

  committed
  2572ae6

  Copy full SHA for 2572ae6

• Comment code to run only fibonacci AIR tests

  entropidelic

  committed
  c33f548

  Copy full SHA for c33f548

Commits on Dec 19, 2023

• Change compute_transition function

  entropidelic

  committed
  368ee81

  Copy full SHA for 368ee81

• Code is compiling

  entropidelic

  committed
  12d7894

  Copy full SHA for 12d7894

• Add some debug prints

  entropidelic

  committed
  cc3a058

  Copy full SHA for cc3a058

• Dummy commit

  entropidelic

  committed
  216fc00

  Copy full SHA for 216fc00

• Dummy commit

  entropidelic

  committed
  ff2d52a

  Copy full SHA for ff2d52a

• Dummy commit

  entropidelic

  committed
  17e0b2d

  Copy full SHA for 17e0b2d

• Fix zerofier evaluations bugs and make fibonacci AIR test pass

  entropidelic

  committed
  a95fe56

  Copy full SHA for a95fe56

Commits on Dec 20, 2023

• Remove commented code

  entropidelic

  committed
  dae0093

  Copy full SHA for dae0093

• Implement bit flags AIR and test

  entropidelic

  committed
  ae504be

  Copy full SHA for ae504be

• Add bit flag AIR example file

  entropidelic

  committed
  725e276

  Copy full SHA for 725e276

Commits on Dec 21, 2023

• Fix get_trace_evaluations function for multi-row step AIRs

  entropidelic

  committed
  50098fb

  Copy full SHA for 50098fb

Commits on Dec 23, 2023

• Save debugging process

  entropidelic

  committed
  db071c1

  Copy full SHA for db071c1

Commits on Jan 4, 2024

• Refactor step view functionality

  entropidelic

  committed
  edb653d

  Copy full SHA for edb653d

• Save work in progress

  entropidelic

  committed
  8c09d43

  Copy full SHA for 8c09d43

• Bugs fixed and bit flags AIR integration test pussing

  entropidelic

  committed
  5d98b39

  Copy full SHA for 5d98b39

• Remove unused code

  entropidelic

  committed
  b11cffb

  Copy full SHA for b11cffb

Commits on Jan 5, 2024

• Fix fibonacci 2 cols to new constraints design

  entropidelic

  committed
  d30a25b

  Copy full SHA for d30a25b

• Fix quadratic AIRs to new constraints design

  entropidelic

  committed
  ee73a6e

  Copy full SHA for ee73a6e

• Fix fibonacci RAP AIR

  entropidelic

  committed
  9fea590

  Copy full SHA for 9fea590

• Fix shifted 2 columns fibonacci AIR to new constraints design

  entropidelic

  committed
  aa92bf1

  Copy full SHA for aa92bf1

• Fix dummy AIR to new constraints design

  entropidelic

  committed
  eb45666

  Copy full SHA for eb45666

• Remove unused code and fix winterfell adapter version of lambdaworks platinum prover

  entropidelic

  committed
  324bd3b

  Copy full SHA for 324bd3b

Commits on Jan 8, 2024

• Implement some Cairo constraints with the new constraints model

  entropidelic

  committed
  4411e50

  Copy full SHA for 4411e50

• Add some more constraints

  entropidelic

  committed
  ad8d5b4

  Copy full SHA for ad8d5b4

• Finish operand constraints

  entropidelic

  committed
  0503bab

  Copy full SHA for 0503bab

Commits on Jan 9, 2024

• Add some more constraints

  entropidelic

  committed
  922561b

  Copy full SHA for 922561b

• Finish porting all constraints

  entropidelic

  committed
  03db5e2

  Copy full SHA for 03db5e2

• Make Cairo prover compile

  entropidelic

  committed
  f647d2e

  Copy full SHA for f647d2e

• Make Cairo prover compile

  entropidelic

  committed
  9073632

  Copy full SHA for 9073632

• Cairo tests running but not passing with some constraints enabled

  entropidelic

  committed
  3ed7785

  Copy full SHA for 3ed7785

Commits on Jan 10, 2024

• Make zerofier evaluations independent of constraint index in constraints vector

  entropidelic

  committed
  90dbe7a

  Copy full SHA for 90dbe7a

• Remove unused code

  entropidelic

  committed
  c098339

  Copy full SHA for c098339

• Remove more unused code

  entropidelic

  committed
  ed2e117

  Copy full SHA for ed2e117

• Rollback change in exercises file

  entropidelic

  committed
  6e82f4f

  Copy full SHA for 6e82f4f

• Uncomment winterfell adapter

  entropidelic

  committed
  2ccbae8

  Copy full SHA for 2ccbae8

• Update winterfell adapter AI

  entropidelic

  committed
  b87dca0

  Copy full SHA for b87dca0

• Update winterfell adapter example

  entropidelic

  committed
  19e5531

  Copy full SHA for 19e5531

• Fix TOML

  entropidelic

  committed
  967161a

  Copy full SHA for 967161a

• Save changes in winterfell adapter

  entropidelic

  committed
  662d5d3

  Copy full SHA for 662d5d3

• Save changes in winterfell adapter

  entropidelic

  committed
  bc2c6c6

  Copy full SHA for bc2c6c6

• Fix TOML

  entropidelic

  committed
  ae5ee5c

  Copy full SHA for ae5ee5c

• Fix winterfell adapter crate

  entropidelic

  committed
  042be77

  Copy full SHA for 042be77

• Minor fix

  entropidelic

  committed
  80ea80c

  Copy full SHA for 80ea80c

Commits on Jan 11, 2024

• Save work in progress

  entropidelic

  committed
  4c450fa

  Copy full SHA for 4c450fa

• Save work in progress - code compiling, fibonacci test failing

  entropidelic

  committed
  7ba0deb

  Copy full SHA for 7ba0deb

Commits on Jan 12, 2024

• Fix some bugs

  entropidelic

  committed
  1fab5a9

  Copy full SHA for 1fab5a9

• Make 2 columns fibonacci test pass

  entropidelic

  committed
  4479345

  Copy full SHA for 4479345

• Make 2 columns shifted fibonacci test pass

  entropidelic

  committed
  fe69691

  Copy full SHA for fe69691

Commits on Jan 15, 2024

• Save work in progress

  entropidelic

  committed
  abec134

  Copy full SHA for abec134

• Fix bug and make bit flags AIR test pass

  entropidelic

  committed
  33b9be0

  Copy full SHA for 33b9be0

• Make quadratic AIR test pass

  entropidelic

  committed
  2365559

  Copy full SHA for 2365559

• Fix dummy AIR test

  entropidelic

  committed
  bb6c0ee

  Copy full SHA for bb6c0ee

• Save work in progress

  entropidelic

  committed
  044df29

  Copy full SHA for 044df29

• Fix some bugs

  entropidelic

  committed
  dd89c08

  Copy full SHA for dd89c08

• Fix some more bugs

  entropidelic

  committed
  e751cd1

  Copy full SHA for e751cd1

• Fix some more bugs

  entropidelic

  committed
  87e43c2

  Copy full SHA for 87e43c2

• Fix some more bugs

  entropidelic

  committed
  aa95b45

  Copy full SHA for aa95b45

• Make Cairo tests pass

  entropidelic

  committed
  1843be6

  Copy full SHA for 1843be6

Commits on Jan 16, 2024

• Remove commented code

  entropidelic

  committed
  4143cad

  Copy full SHA for 4143cad

• Merge branch 'main' into constraints-refactor

  entropidelic

  authored
  c8f5333

  Copy full SHA for c8f5333

• Merge branch 'main' into constraints-refactor

  entropidelic

  committed
  3065df5

  Copy full SHA for 3065df5

• Merge remote-tracking branch 'origin/constraints-refactor' into constraints-refactor

  entropidelic

  committed
  ee457c3

  Copy full SHA for ee457c3

• Pin winterfell adapter and miden example to version of lambdaworks

  entropidelic

  committed
  f0f473e

  Copy full SHA for f0f473e

• Polish code

  entropidelic

  committed
  b7c46c6

  Copy full SHA for b7c46c6

• Polish more code

  entropidelic

  committed
  5bddb6c

  Copy full SHA for 5bddb6c

• Fix periodic columns AIR example and tests

  entropidelic

  committed
  a747a89

  Copy full SHA for a747a89

• Remove some useless code

  entropidelic

  committed
  d2b86d5

  Copy full SHA for d2b86d5

• Fix some clippy warnings

  entropidelic

  committed
  1480306

  Copy full SHA for 1480306

• Apply clippy fix

  entropidelic

  committed
  fd0a46b

  Copy full SHA for fd0a46b

• Rearrange debug code in Cairo AIR

  entropidelic

  committed
  94c25b6

  Copy full SHA for 94c25b6

• Fix wasm test

  entropidelic

  committed
  5b9aa42

  Copy full SHA for 5b9aa42

• Import module inside debug scope

  entropidelic

  committed
  48d6403

  Copy full SHA for 48d6403

• Fix code

  entropidelic

  committed
  890889b

  Copy full SHA for 890889b

• Fix lint

  entropidelic

  committed
  f96dfb7

  Copy full SHA for f96dfb7

• Remove useless comments

  entropidelic

  committed
  8ee97b2

  Copy full SHA for 8ee97b2

• Add some docs for transition constraints trait

  entropidelic

  committed
  4233aea

  Copy full SHA for 4233aea

• Polish docs a bit

  entropidelic

  committed
  f95de6c

  Copy full SHA for f95de6c

Commits on Jan 17, 2024

• Add more comments to code

  entropidelic

  committed
  faa67df

  Copy full SHA for faa67df

• Remove unused code

  entropidelic

  committed
  74950fc

  Copy full SHA for 74950fc

• Apply optimization

  entropidelic

  committed
  90f55cf

  Copy full SHA for 90f55cf

• Remove unused code

  entropidelic

  committed
  eb6383f

  Copy full SHA for eb6383f

• Add some comments

  entropidelic

  committed
  62aee83

  Copy full SHA for 62aee83

• Add type alias for ZerofierGroupKey

  entropidelic

  committed
  4d88a50

  Copy full SHA for 4d88a50

Commits on Jan 18, 2024

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  committed
  c3cc34a

  Copy full SHA for c3cc34a

• Save work in progress

  entropidelic

  committed
  577a6be

  Copy full SHA for 577a6be

• Save work in progress

  entropidelic

  committed
  15c0bdf

  Copy full SHA for 15c0bdf

• Fix public inputs in test

  entropidelic

  committed
  bdf6938

  Copy full SHA for bdf6938

• Remove unused code

  entropidelic

  committed
  dbede91

  Copy full SHA for dbede91

Commits on Jan 19, 2024

• Add rc permutation argument column

  entropidelic

  committed
  75709ad

  Copy full SHA for 75709ad

• Make trace mutable in AIR trait and fix examples

  entropidelic

  committed
  56b3623

  Copy full SHA for 56b3623

• Add memory permutation argument column

  entropidelic

  committed
  4c0f0c3

  Copy full SHA for 4c0f0c3

Commits on Jan 23, 2024

• Merge branch 'constraints-refactor' into refactor-cairo-trace

  entropidelic

  committed
  acecd53

  Copy full SHA for acecd53

• Save work in progress

  entropidelic

  committed
  cdf442e

  Copy full SHA for cdf442e

• Save work in progress

  entropidelic

  committed
  c4fc884

  Copy full SHA for c4fc884

• Save work in progress - trait generics problem fixed

  entropidelic

  committed
  846b5b6

  Copy full SHA for 846b5b6

Commits on Jan 24, 2024

• Fix compilation

  entropidelic

  committed
  1ba9abf

  Copy full SHA for 1ba9abf

• Start Cairo AIR debugging

  entropidelic

  committed
  a108507

  Copy full SHA for a108507

Commits on Jan 25, 2024

• Fix some Cairo constraints in the new trace layout

  entropidelic

  committed
  2fb7c3a

  Copy full SHA for 2fb7c3a

• Fix more Cairo constraints

  entropidelic

  committed
  b76edb1

  Copy full SHA for b76edb1

• Fix more Cairo constraints - 9 fixed

  entropidelic

  committed
  18e8744

  Copy full SHA for 18e8744

• Fix more Cairo constraints - 10 fixed

  entropidelic

  committed
  0c4a0cb

  Copy full SHA for 0c4a0cb

• Fix more Cairo constraints - 12 fixed

  entropidelic

  committed
  59a8fd4

  Copy full SHA for 59a8fd4

• Fix more Cairo constraints - 13 fixed

  entropidelic

  committed
  2504446

  Copy full SHA for 2504446

• Fix more Cairo constraints - 18 fixed

  entropidelic

  committed
  40c2fe8

  Copy full SHA for 40c2fe8

• Fix more Cairo constraints - 20 fixed

  entropidelic

  committed
  cd0cebc

  Copy full SHA for cd0cebc

• Fix more Cairo constraints - 21 fixed

  entropidelic

  committed
  50909f4

  Copy full SHA for 50909f4

• Fix more Cairo constraints - 22 fixed

  entropidelic

  committed
  b84b174

  Copy full SHA for b84b174

• Fix all Cairo constraints

  entropidelic

  committed
  db587c3

  Copy full SHA for db587c3

• remove unused code and fix cairo prover bench

  entropidelic

  committed
  0a42e92

  Copy full SHA for 0a42e92

Commits on Jan 26, 2024

• Merge remote-tracking branch 'origin/main' into refactor-cairo-trace

  entropidelic

  committed
  4671f98

  Copy full SHA for 4671f98

• Fix compilation and tests

  entropidelic

  committed
  a23fa3a

  Copy full SHA for a23fa3a

• Fix some starks integration tests

  entropidelic

  committed
  19538cc

  Copy full SHA for 19538cc

• Fix fibonacci RAP test

  entropidelic

  committed
  e80cd6d

  Copy full SHA for e80cd6d

• Remove unused code

  entropidelic

  committed
  be424db

  Copy full SHA for be424db

• Fix more tests

  entropidelic

  committed
  a75b48e

  Copy full SHA for a75b48e

• Remove unused file

  entropidelic

  committed
  bb2ecb5

  Copy full SHA for bb2ecb5

• Remove repeated Cairo constriants

  entropidelic

  committed
  a637ec3

  Copy full SHA for a637ec3

• Fix boundary constraints of Cairo AIR and delelte old Cairo AIR file

  entropidelic

  committed
  be8cbd6

  Copy full SHA for be8cbd6

• Fix validate_trace debug function

  entropidelic

  committed
  e81353a

  Copy full SHA for e81353a

• Refactor some code of validate_trace

  entropidelic

  committed
  0d3f99c

  Copy full SHA for 0d3f99c

• Merge branch 'main' into refactor-cairo-trace

  entropidelic

  authored
  8d3fce7

  Copy full SHA for 8d3fce7

• Fix quadratic AIR test

  entropidelic

  committed
  1b0daec

  Copy full SHA for 1b0daec

• Fix dummy AIR test

  entropidelic

  committed
  69b36d0

  Copy full SHA for 69b36d0

• Merge remote-tracking branch 'origin/main' into refactor-cairo-trace

  entropidelic

  committed
  8ca9ea7

  Copy full SHA for 8ca9ea7

• Fix dummy and fibonacci 2 columns shifter AIRs

  entropidelic

  committed
  6e16193

  Copy full SHA for 6e16193

• Merge remote-tracking branch 'origin/refactor-cairo-trace' into refactor-cairo-trace

  entropidelic

  committed
  0d16252

  Copy full SHA for 0d16252

• Uncomment miden related examples

  entropidelic

  committed
  521be18

  Copy full SHA for 521be18

• Apply some clippy fixes

  entropidelic

  committed
  5ff233b

  Copy full SHA for 5ff233b

• Apply more clippy fixes

  entropidelic

  committed
  6316d76

  Copy full SHA for 6316d76

• Apply more clippy fixes

  entropidelic

  committed
  902fff5

  Copy full SHA for 902fff5

• Fix instruments feature

  entropidelic

  committed
  1cbbe5e

  Copy full SHA for 1cbbe5e

• Fix parallel feature

  entropidelic

  committed
  a8f2cb1

  Copy full SHA for a8f2cb1

Commits on Jan 31, 2024

• Increase number of test queries to 3

  MauroToscano

  committed
  aedde0d

  Copy full SHA for aedde0d

• Update stone compatibility tests

  MauroToscano

  committed
  aef4332

  Copy full SHA for aef4332

• Remove comment

  MauroToscano

  committed
  08288b1

  Copy full SHA for 08288b1

• Merge branch 'main' into refactor-cairo-trace

  MauroToscano

  authored
  ce773e7

  Copy full SHA for ce773e7

• Re add periodic trace tests

  MauroToscano

  committed
  3bb0eda

  Copy full SHA for 3bb0eda

• Fmt

  MauroToscano

  committed
  9a0d2a3

  Copy full SHA for 9a0d2a3

Commits on Feb 26, 2024

• Merge

  MauroToscano

  committed
  64b5751

  Copy full SHA for 64b5751

• Workshop

  MauroToscano

  committed
  904140e

  Copy full SHA for 904140e

Commits on Feb 27, 2024

• Simplified api

  MauroToscano

  committed
  fc33218

  Copy full SHA for fc33218

• Simplified API

  MauroToscano

  committed
  3146bf9

  Copy full SHA for 3146bf9

• Fix offsets

  MauroToscano

  committed
  32e5608

  Copy full SHA for 32e5608

• Preset all indexes

  MauroToscano

  committed
  9ec2419

  Copy full SHA for 9ec2419

• Fix clippy

  MauroToscano

  committed
  7b55bbf

  Copy full SHA for 7b55bbf

• Clippy, rename to air_vm_workshop

  MauroToscano

  committed
  1b27dcd

  Copy full SHA for 1b27dcd

Commits on Mar 7, 2024

• Delete bootloader_utils.py

  MauroToscano

  authored
  d6fff3d

  Copy full SHA for d6fff3d