Support wasm with cairo1

[FrancoGiachetta]

Support wasm with cairo1

Description

This PR makes some changes so that a cairo 1 program can be run with wasm:

1. cairo1-run depends on cairo-vm with the std feature set. Since wasm does not support std features, this PR creates an std feature for cairo1-run, which was set as a default feature to maintain compatibility. When used with wasm, default-features are set to false.
2. Changes std implementations for HashMap and Peekable with their no_std ones.
3. Due to point 2., I made cairo1-run's cli to requiere std feature.
4. Changes the initial gas used in cairo1-run/src/cairo-run.rs to be u64 instead of usize. This was needed by wasm to be able to compile properly.
5. Added a workflow to check wasm with cairo 1.

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 ± σ):     24.833 s ±  0.004 s    [User: 23.952 s, System: 0.878 s]
  Range (min … max):   24.830 s … 24.836 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 1
  Time (mean ± σ):     24.621 s ±  0.011 s    [User: 23.754 s, System: 0.863 s]
  Range (min … max):   24.613 s … 24.629 s    2 runs
 
Summary
  hyper_threading_pr threads: 1 ran
    1.01 ± 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 ± σ):     13.512 s ±  0.015 s    [User: 24.059 s, System: 0.891 s]
  Range (min … max):   13.502 s … 13.522 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 2
  Time (mean ± σ):     13.442 s ±  0.043 s    [User: 23.904 s, System: 0.875 s]
  Range (min … max):   13.412 s … 13.473 s    2 runs
 
Summary
  hyper_threading_pr threads: 2 ran
    1.01 ± 0.00 times faster than hyper_threading_main 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.001 s ±  0.081 s    [User: 36.660 s, System: 1.077 s]
  Range (min … max):    9.944 s … 10.058 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 4
  Time (mean ± σ):     10.304 s ±  0.240 s    [User: 36.676 s, System: 1.066 s]
  Range (min … max):   10.135 s … 10.474 s    2 runs
 
Summary
  hyper_threading_main threads: 4 ran
    1.03 ± 0.03 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.081 s ±  0.185 s    [User: 36.948 s, System: 1.067 s]
  Range (min … max):    9.950 s … 10.211 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 6
  Time (mean ± σ):      9.981 s ±  0.080 s    [User: 36.586 s, System: 1.083 s]
  Range (min … max):    9.924 s … 10.037 s    2 runs
 
Summary
  hyper_threading_pr threads: 6 ran
    1.01 ± 0.02 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 ± σ):      9.992 s ±  0.294 s    [User: 37.223 s, System: 1.048 s]
  Range (min … max):    9.784 s … 10.200 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 8
  Time (mean ± σ):      9.989 s ±  0.210 s    [User: 37.096 s, System: 1.067 s]
  Range (min … max):    9.841 s … 10.138 s    2 runs
 
Summary
  hyper_threading_pr threads: 8 ran
    1.00 ± 0.04 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.046 s ±  0.012 s    [User: 37.318 s, System: 1.129 s]
  Range (min … max):   10.038 s … 10.055 s    2 runs
 
Benchmark 2: hyper_threading_pr threads: 16
  Time (mean ± σ):     10.043 s ±  0.200 s    [User: 37.472 s, System: 1.166 s]
  Range (min … max):    9.901 s … 10.184 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.135 ± 0.030	2.094	2.196	1.01 ± 0.02
head big_factorial	2.116 ± 0.022	2.084	2.158	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base big_fibonacci	2.035 ± 0.019	2.015	2.068	1.00
head big_fibonacci	2.037 ± 0.020	2.012	2.084	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base blake2s_integration_benchmark	7.259 ± 0.081	7.073	7.359	1.00
head blake2s_integration_benchmark	7.288 ± 0.191	7.071	7.738	1.00 ± 0.03

Command	Mean [s]	Min [s]	Max [s]	Relative
base compare_arrays_200000	2.170 ± 0.027	2.120	2.224	1.01 ± 0.01
head compare_arrays_200000	2.144 ± 0.016	2.115	2.159	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_integration_benchmark	1.429 ± 0.018	1.411	1.474	1.00
head dict_integration_benchmark	1.429 ± 0.011	1.410	1.439	1.00 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base field_arithmetic_get_square_benchmark	1.209 ± 0.018	1.186	1.240	1.01 ± 0.02
head field_arithmetic_get_square_benchmark	1.195 ± 0.010	1.181	1.211	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base integration_builtins	7.471 ± 0.196	7.263	7.868	1.01 ± 0.03
head integration_builtins	7.431 ± 0.091	7.288	7.567	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base keccak_integration_benchmark	7.464 ± 0.096	7.302	7.608	1.00 ± 0.02
head keccak_integration_benchmark	7.443 ± 0.087	7.279	7.570	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search	2.157 ± 0.016	2.128	2.183	1.01 ± 0.01
head linear_search	2.146 ± 0.010	2.129	2.158	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_cmp_and_pow_integration_benchmark	1.498 ± 0.018	1.473	1.536	1.00
head math_cmp_and_pow_integration_benchmark	1.507 ± 0.024	1.484	1.563	1.01 ± 0.02

Command	Mean [s]	Min [s]	Max [s]	Relative
base math_integration_benchmark	1.441 ± 0.011	1.427	1.457	1.00
head math_integration_benchmark	1.454 ± 0.014	1.436	1.472	1.01 ± 0.01

Command	Mean [s]	Min [s]	Max [s]	Relative
base memory_integration_benchmark	1.223 ± 0.010	1.202	1.242	1.01 ± 0.01
head memory_integration_benchmark	1.207 ± 0.009	1.194	1.219	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base operations_with_data_structures_benchmarks	1.519 ± 0.006	1.509	1.530	1.00
head operations_with_data_structures_benchmarks	1.530 ± 0.011	1.522	1.560	1.01 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base pedersen	526.9 ± 2.9	522.7	531.7	1.00
head pedersen	527.7 ± 5.9	521.5	540.1	1.00 ± 0.01

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base poseidon_integration_benchmark	614.6 ± 4.5	609.5	624.6	1.01 ± 0.01
head poseidon_integration_benchmark	609.8 ± 5.9	604.4	622.1	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base secp_integration_benchmark	1.783 ± 0.007	1.773	1.795	1.01 ± 0.01
head secp_integration_benchmark	1.772 ± 0.009	1.761	1.793	1.00

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
base set_integration_benchmark	649.6 ± 3.1	644.2	653.4	1.00 ± 0.01
head set_integration_benchmark	648.2 ± 3.1	644.9	652.8	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
base uint256_integration_benchmark	4.134 ± 0.064	4.081	4.301	1.00 ± 0.02
head uint256_integration_benchmark	4.133 ± 0.044	4.078	4.215	1.00

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.68%. Comparing base (a3f1ae9) to head (51df761).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2216   +/-   ##
=======================================
  Coverage   96.68%   96.68%           
=======================================
  Files         104      104           
  Lines       44027    44027           
=======================================
  Hits        42566    42566           
  Misses       1461     1461           

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