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 rust version to 1.75.0 #1607

Closed pefontana closed 7 months ago

pefontana commented 7 months ago

TITLE

Description

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.300 ± 0.070 2.250 2.492 1.00
head big_factorial 2.330 ± 0.030 2.299 2.402 1.01 ± 0.03
Command Mean [s] Min [s] Max [s] Relative
base big_fibonacci 2.235 ± 0.013 2.218 2.263 1.00
head big_fibonacci 2.273 ± 0.011 2.258 2.297 1.02 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base blake2s_integration_benchmark 8.218 ± 0.092 8.154 8.419 1.00
head blake2s_integration_benchmark 8.661 ± 0.058 8.573 8.732 1.05 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base compare_arrays_200000 2.293 ± 0.013 2.280 2.324 1.00
head compare_arrays_200000 2.390 ± 0.017 2.370 2.435 1.04 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base dict_integration_benchmark 1.459 ± 0.007 1.453 1.472 1.00
head dict_integration_benchmark 1.500 ± 0.031 1.466 1.562 1.03 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base field_arithmetic_get_square_benchmark 1.302 ± 0.013 1.288 1.327 1.00
head field_arithmetic_get_square_benchmark 1.329 ± 0.007 1.322 1.346 1.02 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base integration_builtins 8.327 ± 0.094 8.230 8.483 1.00
head integration_builtins 8.717 ± 0.104 8.598 8.984 1.05 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base keccak_integration_benchmark 8.523 ± 0.087 8.432 8.648 1.00
head keccak_integration_benchmark 8.899 ± 0.060 8.822 8.961 1.04 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base linear_search 2.348 ± 0.025 2.318 2.392 1.00
head linear_search 2.398 ± 0.010 2.383 2.411 1.02 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base math_cmp_and_pow_integration_benchmark 1.606 ± 0.016 1.595 1.650 1.00
head math_cmp_and_pow_integration_benchmark 1.608 ± 0.021 1.592 1.646 1.00 ± 0.02
Command Mean [s] Min [s] Max [s] Relative
base math_integration_benchmark 1.447 ± 0.006 1.440 1.458 1.00
head math_integration_benchmark 1.471 ± 0.011 1.454 1.489 1.02 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base memory_integration_benchmark 1.273 ± 0.009 1.264 1.287 1.00
head memory_integration_benchmark 1.307 ± 0.014 1.293 1.341 1.03 ± 0.01
Command Mean [s] Min [s] Max [s] Relative
base operations_with_data_structures_benchmarks 1.613 ± 0.014 1.596 1.639 1.00
head operations_with_data_structures_benchmarks 1.645 ± 0.014 1.631 1.675 1.02 ± 0.01
Command Mean [ms] Min [ms] Max [ms] Relative
base pedersen 609.6 ± 6.5 604.5 626.3 1.02 ± 0.01
head pedersen 600.1 ± 2.2 596.8 602.4 1.00
Command Mean [s] Min [s] Max [s] Relative
base poseidon_integration_benchmark 1.060 ± 0.008 1.051 1.074 1.07 ± 0.01
head poseidon_integration_benchmark 0.993 ± 0.006 0.985 1.004 1.00
Command Mean [s] Min [s] Max [s] Relative
base secp_integration_benchmark 1.913 ± 0.009 1.906 1.933 1.01 ± 0.01
head secp_integration_benchmark 1.891 ± 0.013 1.874 1.920 1.00
Command Mean [ms] Min [ms] Max [ms] Relative
base set_integration_benchmark 771.2 ± 2.9 767.6 777.8 1.09 ± 0.01
head set_integration_benchmark 707.3 ± 4.3 700.2 715.6 1.00
Command Mean [s] Min [s] Max [s] Relative
base uint256_integration_benchmark 4.585 ± 0.036 4.551 4.645 1.00
head uint256_integration_benchmark 4.762 ± 0.059 4.699 4.918 1.04 ± 0.02