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
517 stars 148 forks source link

Add layout documentation in the cairo1-run crate #1582

Closed fmoletta closed 9 months ago

fmoletta commented 9 months ago

Closes #1487

codecov[bot] commented 9 months ago

Codecov Report

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

Comparison is base (4ea224a) 97.17% compared to head (11b6cb4) 97.17%. Report is 1 commits behind head on main.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1582 +/- ## ======================================= Coverage 97.17% 97.17% ======================================= Files 91 91 Lines 37175 37175 ======================================= Hits 36124 36124 Misses 1051 1051 ```

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

github-actions[bot] commented 9 months ago

Benchmark Results for unmodified programs :rocket:

Command Mean [s] Min [s] Max [s] Relative
base big_factorial 2.277 ± 0.017 2.256 2.296 1.00 ± 0.01
head big_factorial 2.272 ± 0.017 2.245 2.290 1.00
Command Mean [s] Min [s] Max [s] Relative
base big_fibonacci 2.251 ± 0.017 2.234 2.278 1.00
head big_fibonacci 2.256 ± 0.012 2.238 2.278 1.00 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base blake2s_integration_benchmark 8.243 ± 0.086 8.140 8.325 1.01 ± 0.01
head blake2s_integration_benchmark 8.170 ± 0.057 8.127 8.322 1.00
Command Mean [s] Min [s] Max [s] Relative
base compare_arrays_200000 2.323 ± 0.027 2.300 2.390 1.01 ± 0.02
head compare_arrays_200000 2.310 ± 0.022 2.289 2.350 1.00
Command Mean [s] Min [s] Max [s] Relative
base dict_integration_benchmark 1.463 ± 0.008 1.452 1.474 1.01 ± 0.01
head dict_integration_benchmark 1.451 ± 0.013 1.438 1.483 1.00
Command Mean [s] Min [s] Max [s] Relative
base field_arithmetic_get_square_benchmark 1.297 ± 0.009 1.288 1.313 1.00 ± 0.01
head field_arithmetic_get_square_benchmark 1.291 ± 0.006 1.284 1.305 1.00
Command Mean [s] Min [s] Max [s] Relative
base integration_builtins 8.267 ± 0.076 8.200 8.401 1.00
head integration_builtins 8.273 ± 0.080 8.184 8.384 1.00 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base keccak_integration_benchmark 8.460 ± 0.075 8.411 8.654 1.00
head keccak_integration_benchmark 8.534 ± 0.095 8.441 8.643 1.01 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base linear_search 2.365 ± 0.014 2.351 2.391 1.00 ± 0.01
head linear_search 2.354 ± 0.026 2.337 2.419 1.00
Command Mean [s] Min [s] Max [s] Relative
base math_cmp_and_pow_integration_benchmark 1.625 ± 0.013 1.611 1.654 1.00 ± 0.01
head math_cmp_and_pow_integration_benchmark 1.622 ± 0.018 1.600 1.659 1.00
Command Mean [s] Min [s] Max [s] Relative
base math_integration_benchmark 1.468 ± 0.014 1.453 1.503 1.01 ± 0.01
head math_integration_benchmark 1.458 ± 0.010 1.445 1.484 1.00
Command Mean [s] Min [s] Max [s] Relative
base memory_integration_benchmark 1.279 ± 0.012 1.267 1.297 1.00
head memory_integration_benchmark 1.283 ± 0.028 1.260 1.344 1.00 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base operations_with_data_structures_benchmarks 1.649 ± 0.008 1.637 1.663 1.01 ± 0.01
head operations_with_data_structures_benchmarks 1.631 ± 0.006 1.623 1.643 1.00
Command Mean [ms] Min [ms] Max [ms] Relative
base pedersen 614.0 ± 16.4 605.3 659.9 1.01 ± 0.03
head pedersen 607.4 ± 2.2 605.6 612.6 1.00
Command Mean [s] Min [s] Max [s] Relative
base poseidon_integration_benchmark 1.071 ± 0.002 1.068 1.076 1.00 ± 0.00
head poseidon_integration_benchmark 1.067 ± 0.002 1.064 1.070 1.00
Command Mean [s] Min [s] Max [s] Relative
base secp_integration_benchmark 1.945 ± 0.015 1.925 1.966 1.00
head secp_integration_benchmark 1.946 ± 0.020 1.930 1.999 1.00 ± 0.01
Command Mean [ms] Min [ms] Max [ms] Relative
base set_integration_benchmark 778.1 ± 1.1 776.3 779.4 1.00 ± 0.00
head set_integration_benchmark 777.4 ± 1.7 774.1 779.6 1.00
Command Mean [s] Min [s] Max [s] Relative
base uint256_integration_benchmark 4.604 ± 0.035 4.568 4.681 1.00
head uint256_integration_benchmark 4.633 ± 0.048 4.564 4.699 1.01 ± 0.01