Refactor QM31 test

[DiegoCivi]

Refactor QM31 test

Description

The test test_qm31_packed_reduced_inv_extensive is now made with proptest

Fixes #1969

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 ± σ):     25.674 s ±  0.032 s    [User: 24.845 s, System: 0.824 s]
  Range (min … max):   25.651 s … 25.697 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 1
  Time (mean ± σ):     25.633 s ±  0.001 s    [User: 24.804 s, System: 0.825 s]
  Range (min … max):   25.632 s … 25.634 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 ± σ):     14.337 s ±  0.025 s    [User: 24.989 s, System: 0.853 s]
  Range (min … max):   14.320 s … 14.354 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 2
  Time (mean ± σ):     14.367 s ±  0.025 s    [User: 25.011 s, System: 0.838 s]
  Range (min … max):   14.350 s … 14.385 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.740 s ±  0.180 s    [User: 37.403 s, System: 1.018 s]
  Range (min … max):   10.612 s … 10.867 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 4
  Time (mean ± σ):     10.304 s ±  0.202 s    [User: 37.637 s, System: 1.012 s]
  Range (min … max):   10.162 s … 10.447 s    2 runs
 
Summary
  hyper_threading_pr threads: 4 ran
    1.04 ± 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 ± σ):     10.309 s ±  0.125 s    [User: 38.336 s, System: 1.041 s]
  Range (min … max):   10.220 s … 10.397 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 6
  Time (mean ± σ):     10.542 s ±  0.371 s    [User: 37.550 s, System: 1.006 s]
  Range (min … max):   10.280 s … 10.805 s    2 runs
 
Summary
  hyper_threading_main threads: 6 ran
    1.02 ± 0.04 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.311 s ±  0.048 s    [User: 38.348 s, System: 1.050 s]
  Range (min … max):   10.277 s … 10.345 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 8
  Time (mean ± σ):     10.276 s ±  0.166 s    [User: 38.180 s, System: 1.041 s]
  Range (min … max):   10.159 s … 10.394 s    2 runs
 
Summary
  hyper_threading_pr threads: 8 ran
    1.00 ± 0.02 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.310 s ±  0.179 s    [User: 38.638 s, System: 1.183 s]
  Range (min … max):   10.183 s … 10.436 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 16
  Time (mean ± σ):     10.408 s ±  0.277 s    [User: 38.579 s, System: 1.183 s]
  Range (min … max):   10.212 s … 10.604 s    2 runs
 
Summary
  hyper_threading_main threads: 16 ran
    1.01 ± 0.03 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.129 ± 0.039	2.103	2.238	1.00 ± 0.02
head big_factorial	2.125 ± 0.030	2.095	2.194	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_fibonacci	2.052 ± 0.005	2.042	2.060	1.00
head big_fibonacci	2.067 ± 0.036	2.049	2.169	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	7.815 ± 0.029	7.763	7.875	1.00
head blake2s_integration_benchmark	7.831 ± 0.042	7.767	7.912	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	2.184 ± 0.024	2.159	2.247	1.00 ± 0.01
head compare_arrays_200000	2.179 ± 0.009	2.164	2.193	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	1.422 ± 0.020	1.402	1.456	1.00
head dict_integration_benchmark	1.446 ± 0.017	1.433	1.485	1.02 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base field_arithmetic_get_square_benchmark	1.239 ± 0.007	1.228	1.252	1.00 ± 0.01
head field_arithmetic_get_square_benchmark	1.235 ± 0.004	1.230	1.245	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	7.972 ± 0.112	7.886	8.281	1.01 ± 0.01
head integration_builtins	7.931 ± 0.036	7.882	7.981	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	8.118 ± 0.053	8.066	8.231	1.00
head keccak_integration_benchmark	8.151 ± 0.102	8.061	8.363	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	2.169 ± 0.019	2.152	2.208	1.01 ± 0.01
head linear_search	2.155 ± 0.008	2.142	2.165	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	1.503 ± 0.020	1.481	1.557	1.01 ± 0.01
head math_cmp_and_pow_integration_benchmark	1.496 ± 0.006	1.487	1.504	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	1.454 ± 0.016	1.441	1.483	1.00
head math_integration_benchmark	1.460 ± 0.016	1.444	1.493	1.00 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	1.202 ± 0.004	1.197	1.210	1.00
head memory_integration_benchmark	1.217 ± 0.028	1.201	1.294	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	1.565 ± 0.007	1.553	1.577	1.00
head operations_with_data_structures_benchmarks	1.568 ± 0.012	1.557	1.599	1.00 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base pedersen	531.5 ± 7.0	525.4	550.4	1.01 ± 0.01
head pedersen	528.1 ± 1.8	525.8	531.2	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base poseidon_integration_benchmark	613.4 ± 11.1	606.3	644.5	1.01 ± 0.02
head poseidon_integration_benchmark	609.0 ± 3.4	603.3	613.2	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	1.826 ± 0.008	1.815	1.842	1.00 ± 0.01
head secp_integration_benchmark	1.819 ± 0.011	1.807	1.844	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base set_integration_benchmark	664.6 ± 9.4	653.4	675.5	1.00
head set_integration_benchmark	667.9 ± 9.3	656.0	680.5	1.00 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	4.277 ± 0.032	4.242	4.357	1.00
head uint256_integration_benchmark	4.281 ± 0.022	4.256	4.329	1.00 ± 0.01

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.67%. Comparing base (7c1b9d9) to head (51eb12b).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2114      +/-   ##
==========================================
- Coverage   96.67%   96.67%   -0.01%     
==========================================
  Files         103      103              
  Lines       43597    43568      -29     
==========================================
- Hits        42147    42118      -29     
  Misses       1450     1450              

☔ 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.

[JulianGCalderon]

LGTM

[FrancoGiachetta]

lgtm