Bump cairo-lang to 0.13.5

[JulianGCalderon]

Bump cairo-lang to 0.13.5

Updates the hint definitions to match the updated versions. The only difference is that the hints now use PRIME instead of SECP256R1_P when packing.

I also modified the implementation to work for both PRIME and SECP256R1_P. Do do this, I created a new math utility: pack86_for_prime. It works just like pack86, but it receives the prime to use, rather than asume that we always use the Cairo prime.

Added tests for negative points, for all updated hints.

Hint Differences

SECP_R1_GET_POINT_FROM_X:

<     x=pack(ids.x, SECP256R1.prime),
>     x=pack(ids.x, PRIME),

SECP_DOUBLE_ASSIGN_NEW_X

< slope = pack(ids.slope, SECP256R1_P)
< x = pack(ids.point.x, SECP256R1_P)
< y = pack(ids.point.y, SECP256R1_P)
---
> slope = pack(ids.slope, PRIME)
> x = pack(ids.point.x, PRIME)
> y = pack(ids.point.y, PRIME)

EC_DOUBLE_SLOPE

< x = pack(ids.point.x, SECP256R1_P)
< y = pack(ids.point.y, SECP256R1_P)
---
> x = pack(ids.point.x, PRIME)
> y = pack(ids.point.y, PRIME)

[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.154 s ±  0.094 s    [User: 25.388 s, System: 0.762 s]
  Range (min … max):   26.088 s … 26.221 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 1
  Time (mean ± σ):     26.262 s ±  0.040 s    [User: 25.528 s, System: 0.730 s]
  Range (min … max):   26.233 s … 26.290 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.515 s ±  0.024 s    [User: 25.381 s, System: 0.796 s]
  Range (min … max):   14.498 s … 14.532 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 2
  Time (mean ± σ):     14.526 s ±  0.012 s    [User: 25.579 s, System: 0.785 s]
  Range (min … max):   14.517 s … 14.534 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.596 s ±  0.055 s    [User: 37.755 s, System: 0.947 s]
  Range (min … max):   10.558 s … 10.635 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 4
  Time (mean ± σ):     10.140 s ±  0.079 s    [User: 38.214 s, System: 0.978 s]
  Range (min … max):   10.084 s … 10.196 s    2 runs
 
Summary
  hyper_threading_pr threads: 4 ran
    1.04 ± 0.01 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.428 s ±  0.226 s    [User: 37.756 s, System: 0.961 s]
  Range (min … max):   10.268 s … 10.588 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 6
  Time (mean ± σ):     10.561 s ±  0.254 s    [User: 37.893 s, System: 0.989 s]
  Range (min … max):   10.382 s … 10.740 s    2 runs
 
Summary
  hyper_threading_main threads: 6 ran
    1.01 ± 0.03 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.327 s ±  0.177 s    [User: 38.181 s, System: 1.005 s]
  Range (min … max):   10.202 s … 10.453 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 8
  Time (mean ± σ):     10.473 s ±  0.061 s    [User: 38.026 s, System: 0.967 s]
  Range (min … max):   10.430 s … 10.516 s    2 runs
 
Summary
  hyper_threading_main threads: 8 ran
    1.01 ± 0.02 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 ± σ):     10.224 s ±  0.008 s    [User: 38.562 s, System: 1.101 s]
  Range (min … max):   10.218 s … 10.230 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 16
  Time (mean ± σ):     10.279 s ±  0.071 s    [User: 38.726 s, System: 1.072 s]
  Range (min … max):   10.229 s … 10.329 s    2 runs
 
Summary
  hyper_threading_main threads: 16 ran
    1.01 ± 0.01 times faster than hyper_threading_pr threads: 16

[github-actions]

Benchmark Results for modified programs 🚀

Command	Mean [s]	Min [s]	Max [s]	Relative
head big_factorial	2.156 ± 0.028	2.127	2.215	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head big_fibonacci	2.102 ± 0.025	2.082	2.166	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head blake2s_integration_benchmark	7.896 ± 0.050	7.818	7.956	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head compare_arrays_200000	2.227 ± 0.008	2.215	2.243	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_integration_benchmark	1.430 ± 0.003	1.426	1.435	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head field_arithmetic_get_square_benchmark	1.248 ± 0.016	1.231	1.291	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head integration_builtins	7.963 ± 0.109	7.864	8.256	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head keccak_integration_benchmark	8.209 ± 0.073	8.145	8.395	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search	2.214 ± 0.015	2.191	2.236	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head math_cmp_and_pow_integration_benchmark	1.539 ± 0.017	1.525	1.574	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head math_integration_benchmark	1.473 ± 0.007	1.463	1.489	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head memory_integration_benchmark	1.230 ± 0.007	1.221	1.243	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head operations_with_data_structures_benchmarks	1.593 ± 0.006	1.585	1.601	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
head pedersen	538.0 ± 2.1	535.4	542.4	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
head poseidon_integration_benchmark	630.3 ± 6.7	623.9	646.5	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head secp_integration_benchmark	1.892 ± 0.008	1.881	1.906	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
head set_integration_benchmark	679.4 ± 1.8	676.3	683.5	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head uint256_integration_benchmark	4.333 ± 0.022	4.304	4.372	1.00

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.65%. Comparing base (10b3dd9) to head (10db096).
Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1959      +/-   ##
==========================================
+ Coverage   96.58%   96.65%   +0.07%     
==========================================
  Files         102      103       +1     
  Lines       42924    43544     +620     
==========================================
+ Hits        41456    42089     +633     
+ Misses       1468     1455      -13     

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

The implementation of this function must change to match new versions of the hint.