Code

Fix modulo builtin constraints#1841

Code

Merged

pefontana merged 81 commits intomainlambdaclass/cairo-vm:mainfrom mod-builtin-fixlambdaclass/cairo-vm:mod-builtin-fixCopy head branch name to clipboardSep 30, 2024

+306-75

Commits

Commits on Aug 15, 2024

• Fix Zero segment location.

  

  Alon-Ti

  authored and

  yuvalsw

  committed
  7d14e74

  Copy full SHA for 7d14e74

• Fixed has_zero_segment naming

  yuvalsw

  committed
  e71b052

  Copy full SHA for e71b052

• Fix prover input.

  

  Alon-Ti

  authored and

  yuvalsw

  committed
  0ec972a

  Copy full SHA for 0ec972a

• Fixed version reading when no version is supplied

  yuvalsw

  committed
  8c5c924

  Copy full SHA for 8c5c924

• Added change to changelog.

  yuvalsw

  committed
  057bc6f

  Copy full SHA for 057bc6f

Commits on Aug 21, 2024

• fix test_from_serializable()

  OmriEshhar1

  committed
  64c844b

  Copy full SHA for 64c844b

Commits on Aug 25, 2024

• fix panic_impl error

  OmriEshhar1

  committed
  51d25a7

  Copy full SHA for 51d25a7

Commits on Aug 26, 2024

• fix cairo version

  OmriEshhar1

  committed
  88d1da1

  Copy full SHA for 88d1da1

• Add dummy changelog

  JulianGCalderon

  committed
  c5d3bd5

  Copy full SHA for c5d3bd5

• Pin wasm-bindgen

  JulianGCalderon

  committed
  ea377a8

  Copy full SHA for ea377a8

• Register change in CHANGELOG

  JulianGCalderon

  committed
  e8e7bb3

  Copy full SHA for e8e7bb3

• Update Cargo.lock

  JulianGCalderon

  committed
  87a736a

  Copy full SHA for 87a736a

• Remove changes from CHANGELOG

  JulianGCalderon

  committed
  2fe7f90

  Copy full SHA for 2fe7f90

• Add argument parsing for layout params file

  JulianGCalderon

  committed
  6c7237e

  Copy full SHA for 6c7237e

• Add dynamic support (no implement)

  JulianGCalderon

  committed
  e4b162b

  Copy full SHA for e4b162b

• Add cairo_layout_params_file.example.json

  JulianGCalderon

  committed
  43360b9

  Copy full SHA for 43360b9

• Implement dynamic layout creation

  JulianGCalderon

  committed
  e3e31b8

  Copy full SHA for e3e31b8

• Update CHANGELOG

  JulianGCalderon

  committed
  ad97bd0

  Copy full SHA for ad97bd0

• Add cli dynamic support for cairo 1

  JulianGCalderon

  committed
  11edca3

  Copy full SHA for 11edca3

• Make wasm compatible

  JulianGCalderon

  committed
  adbba88

  Copy full SHA for adbba88

Commits on Aug 28, 2024

• Merge remote-tracking branch 'lambdaclass-cairo-vm/main' into yuval/for-sw-fix-version

  OmriEshhar1

  committed
  8ac5b5b

  Copy full SHA for 8ac5b5b

• Use public_memory_fraction = 4 vy default

  JulianGCalderon

  committed
  a41f231

  Copy full SHA for a41f231

• Deserialize bool from int

  JulianGCalderon

  committed
  f7334f5

  Copy full SHA for f7334f5

• Add comparison with python-vm (failing)

  JulianGCalderon

  committed
  63eba32

  Copy full SHA for 63eba32

Commits on Aug 29, 2024

• Merge remote-tracking branch 'lambdaclass-cairo-vm/main' into yuval/for-sw-fix-version

  OmriEshhar1

  committed
  3d18e47

  Copy full SHA for 3d18e47

• Rebuild .rs files in makefile

  JulianGCalderon

  committed
  1f2098a

  Copy full SHA for 1f2098a

• Use 8 as dynamic public_memory_fraction

  Show description for 707e0d2
  JulianGCalderon

  committed
  707e0d2

  Copy full SHA for 707e0d2

• Use None ratio for dynamic unused builtins

  JulianGCalderon

  committed
  723eaf2

  Copy full SHA for 723eaf2

• Add rangecheck96 to private inputs

  JulianGCalderon

  committed
  f20b97b

  Copy full SHA for f20b97b

• Make dyn py files depend on params_file

  JulianGCalderon

  committed
  e6d3f9b

  Copy full SHA for e6d3f9b

• Use cpu_component_step=1 by default

  JulianGCalderon

  committed
  3f5eef5

  Copy full SHA for 3f5eef5

• Fix typo in private inputs

  JulianGCalderon

  committed
  026e459

  Copy full SHA for 026e459

Commits on Aug 30, 2024

• Add range check value to air private input test

  JulianGCalderon

  committed
  15b7742

  Copy full SHA for 15b7742

• Fix zero segment location

  JulianGCalderon

  committed
  698b35c

  Copy full SHA for 698b35c

• Use zero builtin instead of None

  JulianGCalderon

  committed
  c58dc4e

  Copy full SHA for c58dc4e

• Add debug scripts

  JulianGCalderon

  committed
  ce985ba

  Copy full SHA for ce985ba

Commits on Sep 2, 2024

• Merge branch 'main' into dynamic-layout

  JulianGCalderon

  committed
  6ea8ddf

  Copy full SHA for 6ea8ddf

• Remove dup makefile recipes

  JulianGCalderon

  committed
  08874bd

  Copy full SHA for 08874bd

• remove outdated test

  JulianGCalderon

  committed
  ba4d3c0

  Copy full SHA for ba4d3c0

• Enable ensure-no_std on test

  JulianGCalderon

  committed
  0e0c65b

  Copy full SHA for 0e0c65b

• Fix tests

  JulianGCalderon

  committed
  0b9fed5

  Copy full SHA for 0b9fed5

Commits on Sep 3, 2024

• Add correct test

  JulianGCalderon

  committed
  737850f

  Copy full SHA for 737850f

• Rename tset

  JulianGCalderon

  committed
  34e5eaf

  Copy full SHA for 34e5eaf

• Add comment

  JulianGCalderon

  committed
  2a4213f

  Copy full SHA for 2a4213f

• Add debugging document

  JulianGCalderon

  committed
  28eb15c

  Copy full SHA for 28eb15c

• Update cairo layout params file

  JulianGCalderon

  committed
  20ce2aa

  Copy full SHA for 20ce2aa

• Merge branch 'fix-for-sw-fix-version' into dynamic-layout

  JulianGCalderon

  committed
  0036504

  Copy full SHA for 0036504

• Merge branch 'main' into dynamic-layout

  JulianGCalderon

  authored
  30f7766

  Copy full SHA for 30f7766

• Remove duplicated range check

  JulianGCalderon

  committed
  af9fadd

  Copy full SHA for af9fadd

• Remove dup

  JulianGCalderon

  committed
  fbf074d

  Copy full SHA for fbf074d

Commits on Sep 4, 2024

• Merge branch 'main' into dynamic-layout

  JulianGCalderon

  committed
  f8a7f78

  Copy full SHA for f8a7f78

Commits on Sep 17, 2024

• Merge branch 'main' into dynamic-layout

  JulianGCalderon

  committed
  f94ae2b

  Copy full SHA for f94ae2b

• Remove debugging and scrippts (moveed to another branch)

  JulianGCalderon

  committed
  050c71a

  Copy full SHA for 050c71a

• Add comment

  JulianGCalderon

  committed
  3f9e684

  Copy full SHA for 3f9e684

Commits on Sep 18, 2024

• Add tests

  JulianGCalderon

  committed
  fca3cbf

  Copy full SHA for fca3cbf

• Add dynamic test to cairo-vm-cli

  JulianGCalderon

  committed
  eb63b5c

  Copy full SHA for eb63b5c

• Add parse test

  JulianGCalderon

  committed
  a6f1511

  Copy full SHA for a6f1511

• Remove compare all dynamic

  JulianGCalderon

  committed
  f2c0abb

  Copy full SHA for f2c0abb

• Add script for comparing with dynamic layouts

  JulianGCalderon

  committed
  5b6868e

  Copy full SHA for 5b6868e

• Add tests to workflow

  JulianGCalderon

  committed
  cdab848

  Copy full SHA for cdab848

• Delete logic changes

  Show description for 2015055
  JulianGCalderon

  committed
  2015055

  Copy full SHA for 2015055

• Delete more logic changes

  JulianGCalderon

  committed
  c46ed76

  Copy full SHA for c46ed76

Commits on Sep 19, 2024

• Update rust.yml

  JulianGCalderon

  authored
  7a44d4e

  Copy full SHA for 7a44d4e

• Rename compare_outputs_dynamic_layout.sh to compare_outputs_dynamic_layouts.sh

  JulianGCalderon

  authored
  859b7fb

  Copy full SHA for 859b7fb

• Update test script

  JulianGCalderon

  committed
  47e441b

  Copy full SHA for 47e441b

• Enforce prover constraints in add, sub, and mul

  JulianGCalderon

  committed
  6ecdf3d

  Copy full SHA for 6ecdf3d

• Remove debug prints

  JulianGCalderon

  committed
  2630845

  Copy full SHA for 2630845

• Add tests

  JulianGCalderon

  committed
  fa384fb

  Copy full SHA for fa384fb

• Update CHANGELOG.md

  JulianGCalderon

  committed
  6991904

  Copy full SHA for 6991904

• Fix serialization

  JulianGCalderon

  committed
  deab241

  Copy full SHA for deab241

• Comment failing test

  JulianGCalderon

  committed
  9db796a

  Copy full SHA for 9db796a

• Uncomment test

  JulianGCalderon

  committed
  dd6d6ff

  Copy full SHA for dd6d6ff

• Fix tests

  JulianGCalderon

  committed
  9202255

  Copy full SHA for 9202255

Commits on Sep 20, 2024

• Remove operation struct and use builtin type instead

  JulianGCalderon

  committed
  7346f80

  Copy full SHA for 7346f80

• Add unit tests to modulo builtin operations

  JulianGCalderon

  committed
  399c14c

  Copy full SHA for 399c14c

• Fix security error message

  JulianGCalderon

  committed
  43c2d41

  Copy full SHA for 43c2d41

Commits on Sep 23, 2024

• Test custom serde impl

  JulianGCalderon

  committed
  6435a77

  Copy full SHA for 6435a77

• Upload mod_builtin coverage

  JulianGCalderon

  committed
  80916e6

  Copy full SHA for 80916e6

• Merge branch 'main' into dynamic-layout

  JulianGCalderon

  committed
  9bbfc36

  Copy full SHA for 9bbfc36

• Merge branch 'dynamic-layout' into mod-builtin-fix

  JulianGCalderon

  committed
  a913599

  Copy full SHA for a913599

Commits on Sep 30, 2024

• Merge branch 'main' into mod-builtin-fix

  JulianGCalderon

  committed
  bcd5b31

  Copy full SHA for bcd5b31