search

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
504 stars 138 forks source link

Update rust version to 1.76.0 #1608

Closed pefontana closed 6 months ago

pefontana commented 6 months ago

TITLE

Description

Description of the pull request changes and motivation.

Checklist

github-actions[bot] commented 6 months ago

Benchmark Results for unmodified programs :rocket:

Command Mean [s] Min [s] Max [s] Relative
base big_factorial 2.264 ± 0.018 2.245 2.292 1.00
head big_factorial 2.320 ± 0.017 2.297 2.349 1.02 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base big_fibonacci 2.255 ± 0.017 2.233 2.283 1.00
head big_fibonacci 2.276 ± 0.046 2.241 2.370 1.01 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base blake2s_integration_benchmark 8.207 ± 0.060 8.147 8.349 1.00
head blake2s_integration_benchmark 8.640 ± 0.101 8.543 8.853 1.05 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base compare_arrays_200000 2.304 ± 0.021 2.283 2.333 1.00
head compare_arrays_200000 2.380 ± 0.021 2.356 2.425 1.03 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base dict_integration_benchmark 1.450 ± 0.006 1.443 1.460 1.00
head dict_integration_benchmark 1.474 ± 0.010 1.461 1.490 1.02 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base field_arithmetic_get_square_benchmark 1.292 ± 0.010 1.277 1.304 1.00
head field_arithmetic_get_square_benchmark 1.330 ± 0.013 1.313 1.362 1.03 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base integration_builtins 8.269 ± 0.086 8.196 8.429 1.00
head integration_builtins 8.626 ± 0.076 8.548 8.722 1.04 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base keccak_integration_benchmark 8.508 ± 0.079 8.439 8.654 1.00
head keccak_integration_benchmark 8.918 ± 0.110 8.811 9.194 1.05 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base linear_search 2.342 ± 0.016 2.326 2.375 1.00
head linear_search 2.391 ± 0.018 2.361 2.420 1.02 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base math_cmp_and_pow_integration_benchmark 1.596 ± 0.023 1.578 1.660 1.00
head math_cmp_and_pow_integration_benchmark 1.603 ± 0.009 1.592 1.627 1.00 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base math_integration_benchmark 1.451 ± 0.010 1.436 1.463 1.00
head math_integration_benchmark 1.479 ± 0.035 1.449 1.542 1.02 ± 0.03
Command Mean [s] Min [s] Max [s] Relative
base memory_integration_benchmark 1.284 ± 0.004 1.278 1.289 1.00
head memory_integration_benchmark 1.298 ± 0.007 1.286 1.311 1.01 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base operations_with_data_structures_benchmarks 1.610 ± 0.012 1.594 1.635 1.00
head operations_with_data_structures_benchmarks 1.636 ± 0.006 1.624 1.642 1.02 ± 0.01
Command Mean [ms] Min [ms] Max [ms] Relative
base pedersen 606.2 ± 2.1 603.3 609.0 1.01 ± 0.01
head pedersen 601.8 ± 7.0 594.5 616.4 1.00
Command Mean [s] Min [s] Max [s] Relative
base poseidon_integration_benchmark 1.073 ± 0.007 1.062 1.085 1.09 ± 0.01
head poseidon_integration_benchmark 0.987 ± 0.004 0.983 0.994 1.00
Command Mean [s] Min [s] Max [s] Relative
base secp_integration_benchmark 1.923 ± 0.007 1.915 1.935 1.01 ± 0.01
head secp_integration_benchmark 1.908 ± 0.020 1.886 1.957 1.00
Command Mean [ms] Min [ms] Max [ms] Relative
base set_integration_benchmark 774.6 ± 2.1 771.8 777.8 1.06 ± 0.01
head set_integration_benchmark 728.8 ± 6.9 722.3 741.8 1.00
Command Mean [s] Min [s] Max [s] Relative
base uint256_integration_benchmark 4.587 ± 0.033 4.539 4.624 1.00
head uint256_integration_benchmark 4.739 ± 0.034 4.686 4.782 1.03 ± 0.01