run the programs in stwo_exclusive_programs in proof mode

[ohad-nir-starkware]

TITLE

Description

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 ± σ):     28.041 s ±  0.108 s    [User: 27.256 s, System: 0.783 s]
  Range (min … max):   27.964 s … 28.117 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 1
  Time (mean ± σ):     27.978 s ±  0.048 s    [User: 27.202 s, System: 0.774 s]
  Range (min … max):   27.945 s … 28.012 s    2 runs
 
Summary
  hyper_threading_pr threads: 1 ran
    1.00 ± 0.00 times faster than hyper_threading_main 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 ± σ):     15.594 s ±  0.027 s    [User: 27.512 s, System: 0.798 s]
  Range (min … max):   15.575 s … 15.612 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 2
  Time (mean ± σ):     15.711 s ±  0.252 s    [User: 27.536 s, System: 0.823 s]
  Range (min … max):   15.533 s … 15.890 s    2 runs
 
Summary
  hyper_threading_main threads: 2 ran
    1.01 ± 0.02 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 ± σ):     11.625 s ±  0.001 s    [User: 40.437 s, System: 0.948 s]
  Range (min … max):   11.624 s … 11.626 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 4
  Time (mean ± σ):     11.538 s ±  0.325 s    [User: 40.658 s, System: 0.959 s]
  Range (min … max):   11.308 s … 11.768 s    2 runs
 
Summary
  hyper_threading_pr threads: 4 ran
    1.01 ± 0.03 times faster than hyper_threading_main 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 ± σ):     11.213 s ±  0.485 s    [User: 40.886 s, System: 0.984 s]
  Range (min … max):   10.870 s … 11.556 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 6
  Time (mean ± σ):     11.062 s ±  0.129 s    [User: 41.211 s, System: 0.970 s]
  Range (min … max):   10.971 s … 11.154 s    2 runs
 
Summary
  hyper_threading_pr threads: 6 ran
    1.01 ± 0.05 times faster than hyper_threading_main 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 ± σ):     11.098 s ±  0.027 s    [User: 41.429 s, System: 0.996 s]
  Range (min … max):   11.079 s … 11.117 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 8
  Time (mean ± σ):     11.156 s ±  0.085 s    [User: 41.339 s, System: 1.005 s]
  Range (min … max):   11.096 s … 11.216 s    2 runs
 
Summary
  hyper_threading_main threads: 8 ran
    1.01 ± 0.01 times faster than hyper_threading_pr 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 ± σ):     11.224 s ±  0.148 s    [User: 41.466 s, System: 1.057 s]
  Range (min … max):   11.119 s … 11.329 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 16
  Time (mean ± σ):     11.206 s ±  0.131 s    [User: 41.487 s, System: 1.094 s]
  Range (min … max):   11.114 s … 11.299 s    2 runs
 
Summary
  hyper_threading_pr threads: 16 ran
    1.00 ± 0.02 times faster than hyper_threading_main threads: 16

[github-actions]

Benchmark Results for unmodified programs 🚀

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_factorial	2.232 ± 0.015	2.209	2.250	1.00 ± 0.01
head big_factorial	2.228 ± 0.013	2.210	2.250	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_fibonacci	2.184 ± 0.019	2.157	2.216	1.01 ± 0.01
head big_fibonacci	2.165 ± 0.015	2.154	2.203	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	8.059 ± 0.034	8.027	8.130	1.00
head blake2s_integration_benchmark	8.085 ± 0.081	8.003	8.267	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	2.290 ± 0.013	2.275	2.310	1.00
head compare_arrays_200000	2.312 ± 0.026	2.284	2.369	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	1.517 ± 0.014	1.504	1.551	1.01 ± 0.01
head dict_integration_benchmark	1.502 ± 0.003	1.498	1.507	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base field_arithmetic_get_square_benchmark	1.278 ± 0.006	1.270	1.287	1.00
head field_arithmetic_get_square_benchmark	1.282 ± 0.005	1.275	1.287	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	8.104 ± 0.051	8.040	8.186	1.00
head integration_builtins	8.161 ± 0.069	8.110	8.349	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	8.344 ± 0.036	8.310	8.416	1.00
head keccak_integration_benchmark	8.388 ± 0.060	8.311	8.494	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	2.281 ± 0.015	2.265	2.314	1.00
head linear_search	2.283 ± 0.009	2.271	2.302	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	1.596 ± 0.014	1.578	1.619	1.00
head math_cmp_and_pow_integration_benchmark	1.596 ± 0.012	1.582	1.622	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	1.539 ± 0.009	1.532	1.562	1.00
head math_integration_benchmark	1.542 ± 0.005	1.536	1.552	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	1.271 ± 0.007	1.264	1.283	1.00
head memory_integration_benchmark	1.273 ± 0.006	1.266	1.288	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	1.666 ± 0.033	1.642	1.739	1.01 ± 0.02
head operations_with_data_structures_benchmarks	1.655 ± 0.008	1.640	1.663	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base pedersen	552.3 ± 6.6	547.6	570.1	1.01 ± 0.01
head pedersen	549.4 ± 3.9	546.3	559.8	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base poseidon_integration_benchmark	668.4 ± 3.5	663.5	674.4	1.00
head poseidon_integration_benchmark	671.0 ± 5.1	662.9	680.3	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	1.918 ± 0.009	1.902	1.932	1.00 ± 0.01
head secp_integration_benchmark	1.914 ± 0.016	1.894	1.953	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base set_integration_benchmark	649.3 ± 1.3	647.0	650.9	1.00
head set_integration_benchmark	649.8 ± 3.2	645.8	657.2	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	4.449 ± 0.019	4.400	4.466	1.00
head uint256_integration_benchmark	4.462 ± 0.017	4.434	4.484	1.00 ± 0.01

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.39%. Comparing base (153d3a8) to head (c77de44).
Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #1953   +/-   ##
=======================================
  Coverage   96.39%   96.39%           
=======================================
  Files         102      102           
  Lines       41483    41483           
=======================================
  Hits        39987    39987           
  Misses       1496     1496           

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