lambdaclass / cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
508 stars 142 forks source link

Update cairo-lang version to 2.5.3 #1596

Closed pefontana closed 7 months ago

pefontana commented 7 months ago

Bump cairo-lang- dependencies to 2.5.3

Description of the pull request changes and motivation.

Checklist

github-actions[bot] commented 7 months ago

Benchmark Results for unmodified programs :rocket:

Command Mean [s] Min [s] Max [s] Relative
base big_factorial 2.280 ± 0.023 2.251 2.330 1.00
head big_factorial 2.292 ± 0.009 2.276 2.306 1.01 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base big_fibonacci 2.239 ± 0.007 2.228 2.251 1.00
head big_fibonacci 2.284 ± 0.034 2.249 2.370 1.02 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base blake2s_integration_benchmark 8.440 ± 0.027 8.412 8.497 1.00
head blake2s_integration_benchmark 8.492 ± 0.051 8.447 8.619 1.01 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base compare_arrays_200000 2.339 ± 0.018 2.316 2.376 1.00
head compare_arrays_200000 2.340 ± 0.019 2.318 2.373 1.00 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base dict_integration_benchmark 1.454 ± 0.010 1.444 1.476 1.00
head dict_integration_benchmark 1.456 ± 0.005 1.447 1.463 1.00 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base field_arithmetic_get_square_benchmark 1.311 ± 0.012 1.301 1.344 1.00
head field_arithmetic_get_square_benchmark 1.396 ± 0.030 1.376 1.478 1.07 ± 0.03
Command Mean [s] Min [s] Max [s] Relative
base integration_builtins 8.494 ± 0.072 8.424 8.677 1.00
head integration_builtins 8.505 ± 0.048 8.461 8.591 1.00 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base keccak_integration_benchmark 8.712 ± 0.033 8.666 8.756 1.00
head keccak_integration_benchmark 8.872 ± 0.313 8.691 9.732 1.02 ± 0.04
Command Mean [s] Min [s] Max [s] Relative
base linear_search 2.362 ± 0.033 2.338 2.451 1.01 ± 0.01
head linear_search 2.345 ± 0.010 2.333 2.362 1.00
Command Mean [s] Min [s] Max [s] Relative
base math_cmp_and_pow_integration_benchmark 1.583 ± 0.014 1.570 1.616 1.00
head math_cmp_and_pow_integration_benchmark 1.806 ± 0.006 1.793 1.813 1.14 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base math_integration_benchmark 1.444 ± 0.006 1.437 1.453 1.00
head math_integration_benchmark 1.619 ± 0.027 1.595 1.667 1.12 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base memory_integration_benchmark 1.269 ± 0.006 1.263 1.279 1.00
head memory_integration_benchmark 1.273 ± 0.008 1.265 1.289 1.00 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base operations_with_data_structures_benchmarks 1.610 ± 0.004 1.604 1.616 1.00
head operations_with_data_structures_benchmarks 1.907 ± 0.015 1.894 1.950 1.18 ± 0.01
Command Mean [ms] Min [ms] Max [ms] Relative
base pedersen 592.2 ± 6.1 587.2 608.0 1.00
head pedersen 593.7 ± 4.4 589.5 605.3 1.00 ± 0.01
Command Mean [ms] Min [ms] Max [ms] Relative
base poseidon_integration_benchmark 975.7 ± 9.5 963.5 999.7 1.00
head poseidon_integration_benchmark 981.8 ± 5.8 976.4 995.8 1.01 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base secp_integration_benchmark 1.880 ± 0.023 1.868 1.945 1.00
head secp_integration_benchmark 1.941 ± 0.010 1.929 1.958 1.03 ± 0.01
Command Mean [ms] Min [ms] Max [ms] Relative
base set_integration_benchmark 726.3 ± 4.3 721.6 733.7 1.00
head set_integration_benchmark 727.5 ± 4.8 723.3 739.6 1.00 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base uint256_integration_benchmark 4.662 ± 0.018 4.639 4.698 1.00
head uint256_integration_benchmark 4.676 ± 0.024 4.633 4.698 1.00 ± 0.01
codecov[bot] commented 7 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (f2ddc90) 97.72% compared to head (e6bd158) 97.72%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1596 +/- ## ======================================= Coverage 97.72% 97.72% ======================================= Files 91 91 Lines 37278 37278 ======================================= Hits 36429 36429 Misses 849 849 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.