Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update version to alpha 4 #854

Merged
merged 1 commit into from
Oct 15, 2024
Merged

Update version to alpha 4 #854

merged 1 commit into from
Oct 15, 2024

Conversation

edg-l
Copy link
Collaborator

@edg-l edg-l commented Oct 15, 2024

Checklist

  • Linked to Github Issue
  • Unit tests added
  • Integration tests added.
  • This change requires new documentation.
    • Documentation has been added/updated.

@edg-l edg-l added the review-ready A PR that is ready for review label Oct 15, 2024
Copy link

Benchmarking results

Benchmark for program factorial_2M

Open benchmarks
Command Mean [s] Min [s] Max [s] Relative
Cairo-vm (Rust, Cairo 1) 11.019 ± 0.281 10.596 11.297 23.34 ± 0.60
cairo-native (embedded AOT) 3.173 ± 0.015 3.151 3.192 6.72 ± 0.03
cairo-native (embedded JIT using LLVM's ORC Engine) 3.216 ± 0.014 3.201 3.236 6.81 ± 0.03
cairo-native (standalone AOT) 0.680 ± 0.002 0.678 0.686 1.44 ± 0.01
cairo-native (standalone AOT with -march=native) 0.472 ± 0.001 0.471 0.474 1.00

Benchmark for program fib_2M

Open benchmarks
Command Mean [s] Min [s] Max [s] Relative
Cairo-vm (Rust, Cairo 1) 10.806 ± 0.271 10.540 11.215 1381.87 ± 88.04
cairo-native (embedded AOT) 2.705 ± 0.014 2.685 2.726 345.95 ± 20.33
cairo-native (embedded JIT using LLVM's ORC Engine) 2.731 ± 0.020 2.704 2.761 349.22 ± 20.60
cairo-native (standalone AOT) 0.009 ± 0.000 0.009 0.010 1.10 ± 0.07
cairo-native (standalone AOT with -march=native) 0.008 ± 0.000 0.008 0.013 1.00

Benchmark for program logistic_map

Open benchmarks
Command Mean [s] Min [s] Max [s] Relative
Cairo-vm (Rust, Cairo 1) 4.254 ± 0.026 4.226 4.301 58.45 ± 1.70
cairo-native (embedded AOT) 3.029 ± 0.022 2.998 3.065 41.63 ± 1.22
cairo-native (embedded JIT using LLVM's ORC Engine) 3.198 ± 0.019 3.174 3.233 43.95 ± 1.27
cairo-native (standalone AOT) 0.113 ± 0.001 0.113 0.116 1.56 ± 0.04
cairo-native (standalone AOT with -march=native) 0.073 ± 0.002 0.072 0.084 1.00

Copy link

Benchmark results Main vs HEAD.

Command Mean [s] Min [s] Max [s] Relative
head factorial_2M.cairo (JIT) 3.203 ± 0.023 3.176 3.230 1.02 ± 0.01
base factorial_2M.cairo (JIT) 3.199 ± 0.019 3.167 3.225 1.02 ± 0.01
head factorial_2M.cairo (AOT) 3.163 ± 0.016 3.142 3.187 1.00 ± 0.01
base factorial_2M.cairo (AOT) 3.149 ± 0.019 3.123 3.183 1.00
Command Mean [s] Min [s] Max [s] Relative
head fib_2M.cairo (JIT) 2.760 ± 0.045 2.696 2.843 1.02 ± 0.02
base fib_2M.cairo (JIT) 2.702 ± 0.031 2.667 2.760 1.00
head fib_2M.cairo (AOT) 2.713 ± 0.042 2.665 2.789 1.00 ± 0.02
base fib_2M.cairo (AOT) 2.718 ± 0.059 2.631 2.838 1.01 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
head logistic_map.cairo (JIT) 3.183 ± 0.039 3.145 3.278 1.07 ± 0.01
base logistic_map.cairo (JIT) 3.139 ± 0.018 3.120 3.176 1.05 ± 0.01
head logistic_map.cairo (AOT) 2.985 ± 0.020 2.953 3.019 1.00 ± 0.01
base logistic_map.cairo (AOT) 2.979 ± 0.014 2.959 3.002 1.00

@codecov-commenter
Copy link

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.69%. Comparing base (4f65827) to head (456a9dc).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #854   +/-   ##
=======================================
  Coverage   82.69%   82.69%           
=======================================
  Files         120      120           
  Lines       34756    34756           
=======================================
  Hits        28743    28743           
  Misses       6013     6013           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@edg-l edg-l added this pull request to the merge queue Oct 15, 2024
Merged via the queue into main with commit 84ceaa3 Oct 15, 2024
15 checks passed
@edg-l edg-l deleted the alpha4 branch October 15, 2024 17:17
edg-l added a commit that referenced this pull request Oct 21, 2024
* Add logs

* Implement Felt252Dict trace dump

* Implement nullabel for trace dump

* Print type id

* Remove print

* add convertion for Sints

* fix mispelled types

* forgot to add feature

* change Sints value to correspond to sierra-emu

* Readd feature

* Add is_infinity field to secp256 point struct (#828)

* add is_infinity to secp point

* clean

* fix

* use same deps as blockifier

* fix

* fix layout

* fix test

* remove some brittle asserts due to random initial data when adding and muling points at infinity

* fix

* remove unused dep

* fixes, missed the value entry/output

* Reset src

* Fix warnings

* Make library public

* Use debug runtime for trace dump

* fix storage's values truncations (#839)

* fix storage's values truncations

* change implementation for i8 i16 i32 i64 too

* format

* Add ptr check to felt dict entry

* Add malloc tracing and fix more memory leaks. (#833)

* Add memory tracing.

* Partial memory fixes.

* Fix arrays.

* Simplify dictionaries. Fix false positive memory leak in dictionary drops.

* Fix zero-sized allocation. Fix warnings. More mem tracing checks.

* Fix mem tracing.

* Fix memory leak in `print` libfunc.

* Fix array slice libfunc.

* Fix starknet memory leaks.

* Fix keccak syscall.

* Fix dict get double free bug.

* Lots of memory fixes.

* More fixes.

* Fix CI.

* Remove old TODOs.

* Fix CI (again).

* Remove TODOs.

* Fix test.

* Maybe fix

* Maybe fix

* Maybe fix

* Dont panic when building circuit partial outputs

* trace dump for Sha256StateHandler

* Builtin costs rework (#837)

* Update to 2.8.4, release docs, alpha

This PR updates cairo to 2.8.4, adds some release docs and updates the
version to alpha.3 to prepare for another release.

* try fix

* cleanup ci, remove panic in link

* rename from jit to from ptr, etc

* crates.io badge

* progress

* progress

* fmt2

* progress

* progress

* fix

* fix bench

* use struct

* Fix felt252 and enum deserialization bugs. (#844)

* Fix felt252 and enum deserialization bugs.

* Fix formatting.

* Also fix the runtime.

* Fix errors.

* try to fix ci

* remove unused deps

---------

Co-authored-by: Edgar Luque <git@edgarluque.com>

* Fix trace dump type conv

* fix aot contract executor not passing builtinstats (#849)

* Fix felt252 and enum deserialization bugs.

* Fix formatting.

* Also fix the runtime.

* Fix errors.

* try to fix ci

* remove unused deps

* fix aot contract executor not passing builtinstats

---------

Co-authored-by: Esteve Soler Arderiu <esteve.soler@lambdaclass.com>
Co-authored-by: Esteve Soler Arderiu <soler.arderiu@gmail.com>

* Fix bug (#851)

* Also fix felt bits in starknet syscall wrappers (#853)

* Also fix felt bits in starknet syscall wrappers

* style

* missed

* fix aot contract executor not passing builtinstats (#849)

* Fix felt252 and enum deserialization bugs.

* Fix formatting.

* Also fix the runtime.

* Fix errors.

* try to fix ci

* remove unused deps

* fix aot contract executor not passing builtinstats

---------

Co-authored-by: Esteve Soler Arderiu <esteve.soler@lambdaclass.com>
Co-authored-by: Esteve Soler Arderiu <soler.arderiu@gmail.com>

* Fix bug (#851)

* Also fix felt bits in starknet syscall wrappers (#853)

* Also fix felt bits in starknet syscall wrappers

* style

* missed

* update version to alpha 4 (#854)

* bytes31

* Better function attributes and re-enable >O1 opt (#843)

* Fix felt252 and enum deserialization bugs.

* Fix formatting.

* Also fix the runtime.

* Fix errors.

* try to fix ci

* remove unused deps

* proper function attributes

* add proper function attrs to optimize better, add some passes, run tests with atleast some opts

* dont use remi

* oops

* maybe with opt level 3 now it works

* test

* works

* readd deleted bench

* remove dbg

* Update bench-hyperfine.sh

* fixci

* comment

* Update src/ffi.rs

Co-authored-by: MrAzteca <azteca1998@users.noreply.github.com>

---------

Co-authored-by: Esteve Soler Arderiu <esteve.soler@lambdaclass.com>
Co-authored-by: Esteve Soler Arderiu <soler.arderiu@gmail.com>
Co-authored-by: MrAzteca <azteca1998@users.noreply.github.com>

* Resolve `CAIRO_NATIVE_RUNTIME_LIBRARY` relative path (#841)

* feat(ffi): resolve runtime relative path using current dir

* chore: remove mentions to old runtime variable

* fix: typo

---------

Co-authored-by: Bohdan Ohorodnii <limposfeed@gmail.com>

* Implement secp

* Fix bytes31

* try to fix ci (#858)

* update implementing libfuncs doc (#856)

* Fix bytes31 bug

* Remove unused dep

---------

Co-authored-by: FrancoGiachetta <francogiachetta27@gmail.com>
Co-authored-by: Edgar <git@edgarluque.com>
Co-authored-by: MrAzteca <azteca1998@users.noreply.github.com>
Co-authored-by: Esteve Soler Arderiu <esteve.soler@lambdaclass.com>
Co-authored-by: Esteve Soler Arderiu <soler.arderiu@gmail.com>
Co-authored-by: Rodrigo <rodrodpino@gmail.com>
Co-authored-by: Bohdan Ohorodnii <limposfeed@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
review-ready A PR that is ready for review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants