Stav/sync starkware dev

[Stavbe]

TITLE

Cherry-pick all the commits from main

Description of the pull request changes and motivation.

Checklist

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

[github-actions]

**Hyper Thereading Benchmark results**




hyperfine -r 2 -n "hyper_threading_main threads: 1" 'RAYON_NUM_THREADS=1 ./hyper_threading_main' -n "hyper_threading_pr threads: 1" 'RAYON_NUM_THREADS=1 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 1
  Time (mean ± σ):     26.487 s ±  0.017 s    [User: 25.683 s, System: 0.802 s]
  Range (min … max):   26.475 s … 26.499 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 1
  Time (mean ± σ):     26.536 s ±  0.110 s    [User: 25.754 s, System: 0.780 s]
  Range (min … max):   26.459 s … 26.614 s    2 runs
 
Summary
  hyper_threading_main threads: 1 ran
    1.00 ± 0.00 times faster than hyper_threading_pr threads: 1




hyperfine -r 2 -n "hyper_threading_main threads: 2" 'RAYON_NUM_THREADS=2 ./hyper_threading_main' -n "hyper_threading_pr threads: 2" 'RAYON_NUM_THREADS=2 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 2
  Time (mean ± σ):     14.700 s ±  0.029 s    [User: 25.767 s, System: 0.810 s]
  Range (min … max):   14.679 s … 14.720 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 2
  Time (mean ± σ):     14.731 s ±  0.008 s    [User: 25.786 s, System: 0.820 s]
  Range (min … max):   14.725 s … 14.736 s    2 runs
 
Summary
  hyper_threading_main threads: 2 ran
    1.00 ± 0.00 times faster than hyper_threading_pr threads: 2




hyperfine -r 2 -n "hyper_threading_main threads: 4" 'RAYON_NUM_THREADS=4 ./hyper_threading_main' -n "hyper_threading_pr threads: 4" 'RAYON_NUM_THREADS=4 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 4
  Time (mean ± σ):     10.374 s ±  0.010 s    [User: 38.485 s, System: 0.984 s]
  Range (min … max):   10.367 s … 10.381 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 4
  Time (mean ± σ):     10.775 s ±  0.427 s    [User: 38.089 s, System: 1.017 s]
  Range (min … max):   10.473 s … 11.078 s    2 runs
 
Summary
  hyper_threading_main threads: 4 ran
    1.04 ± 0.04 times faster than hyper_threading_pr threads: 4




hyperfine -r 2 -n "hyper_threading_main threads: 6" 'RAYON_NUM_THREADS=6 ./hyper_threading_main' -n "hyper_threading_pr threads: 6" 'RAYON_NUM_THREADS=6 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 6
  Time (mean ± σ):     10.496 s ±  0.160 s    [User: 38.275 s, System: 0.978 s]
  Range (min … max):   10.383 s … 10.610 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 6
  Time (mean ± σ):     10.583 s ±  0.152 s    [User: 38.412 s, System: 1.045 s]
  Range (min … max):   10.476 s … 10.691 s    2 runs
 
Summary
  hyper_threading_main threads: 6 ran
    1.01 ± 0.02 times faster than hyper_threading_pr threads: 6




hyperfine -r 2 -n "hyper_threading_main threads: 8" 'RAYON_NUM_THREADS=8 ./hyper_threading_main' -n "hyper_threading_pr threads: 8" 'RAYON_NUM_THREADS=8 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 8
  Time (mean ± σ):     10.580 s ±  0.273 s    [User: 38.369 s, System: 1.032 s]
  Range (min … max):   10.388 s … 10.773 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 8
  Time (mean ± σ):     10.513 s ±  0.018 s    [User: 38.612 s, System: 1.005 s]
  Range (min … max):   10.500 s … 10.525 s    2 runs
 
Summary
  hyper_threading_pr threads: 8 ran
    1.01 ± 0.03 times faster than hyper_threading_main threads: 8




hyperfine -r 2 -n "hyper_threading_main threads: 16" 'RAYON_NUM_THREADS=16 ./hyper_threading_main' -n "hyper_threading_pr threads: 16" 'RAYON_NUM_THREADS=16 ./hyper_threading_pr'
Benchmark 1: hyper_threading_main threads: 16
  Time (mean ± σ):     10.317 s ±  0.029 s    [User: 39.160 s, System: 1.106 s]
  Range (min … max):   10.296 s … 10.337 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 16
  Time (mean ± σ):     10.339 s ±  0.003 s    [User: 39.232 s, System: 1.088 s]
  Range (min … max):   10.337 s … 10.341 s    2 runs
 
Summary
  hyper_threading_main threads: 16 ran
    1.00 ± 0.00 times faster than hyper_threading_pr threads: 16

[github-actions]

Benchmark Results for unmodified programs 🚀

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_factorial	2.111 ± 0.022	2.098	2.168	1.00 ± 0.01
head big_factorial	2.105 ± 0.012	2.092	2.135	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_fibonacci	2.028 ± 0.007	2.021	2.038	1.00 ± 0.00
head big_fibonacci	2.026 ± 0.006	2.019	2.039	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	7.518 ± 0.075	7.436	7.701	1.00
head blake2s_integration_benchmark	7.557 ± 0.109	7.465	7.766	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	2.152 ± 0.006	2.144	2.161	1.00
head compare_arrays_200000	2.167 ± 0.022	2.133	2.204	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	1.426 ± 0.005	1.419	1.433	1.00
head dict_integration_benchmark	1.436 ± 0.015	1.424	1.470	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base field_arithmetic_get_square_benchmark	1.203 ± 0.011	1.188	1.221	1.00
head field_arithmetic_get_square_benchmark	1.205 ± 0.004	1.199	1.209	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	7.565 ± 0.070	7.465	7.722	1.00
head integration_builtins	7.683 ± 0.317	7.524	8.578	1.02 ± 0.04

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	7.815 ± 0.057	7.765	7.966	1.00
head keccak_integration_benchmark	7.849 ± 0.055	7.786	7.944	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	2.135 ± 0.008	2.122	2.148	1.00
head linear_search	2.148 ± 0.016	2.134	2.190	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	1.509 ± 0.008	1.502	1.528	1.00
head math_cmp_and_pow_integration_benchmark	1.517 ± 0.005	1.509	1.522	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	1.472 ± 0.022	1.454	1.513	1.01 ± 0.02
head math_integration_benchmark	1.461 ± 0.005	1.453	1.468	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	1.212 ± 0.009	1.204	1.236	1.00
head memory_integration_benchmark	1.212 ± 0.003	1.207	1.216	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	1.564 ± 0.006	1.556	1.575	1.00
head operations_with_data_structures_benchmarks	1.573 ± 0.010	1.563	1.597	1.01 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base pedersen	531.8 ± 2.5	528.8	538.1	1.00
head pedersen	532.6 ± 3.6	529.9	542.2	1.00 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base poseidon_integration_benchmark	632.8 ± 6.9	623.2	647.3	1.00 ± 0.02
head poseidon_integration_benchmark	629.9 ± 6.6	620.4	639.9	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	1.854 ± 0.009	1.845	1.872	1.00
head secp_integration_benchmark	1.855 ± 0.007	1.845	1.869	1.00 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base set_integration_benchmark	624.5 ± 1.6	621.7	627.0	1.00
head set_integration_benchmark	627.6 ± 4.3	623.8	638.1	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	4.161 ± 0.020	4.132	4.211	1.00
head uint256_integration_benchmark	4.199 ± 0.032	4.165	4.259	1.01 ± 0.01

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.54%. Comparing base (3aed532) to head (92e3188).
Report is 7 commits behind head on starkware-development.

Additional details and impacted files

@@                  Coverage Diff                   @@
##           starkware-development    #2035   +/-   ##
======================================================
  Coverage                  96.53%   96.54%           
======================================================
  Files                        102      102           
  Lines                      42720    42755   +35     
======================================================
+ Hits                       41241    41276   +35     
  Misses                      1479     1479           

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[yuvalsw]

Reviewed 10 of 10 files at r1, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @Stavbe)