[DNM] Execution trace dumping with contract support.

[azteca1998]

Checklist

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

[github-actions]

Benchmarking results

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	10.629 ± 0.096	10.491	10.812	23.58 ± 0.38
cairo-native (embedded AOT)	3.183 ± 0.042	3.140	3.258	7.06 ± 0.13
cairo-native (embedded JIT using LLVM's ORC Engine)	3.186 ± 0.017	3.164	3.222	7.07 ± 0.10
cairo-native (standalone AOT)	0.674 ± 0.001	0.672	0.675	1.49 ± 0.02
cairo-native (standalone AOT with -march=native)	0.451 ± 0.006	0.447	0.462	1.00

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	10.754 ± 0.309	10.431	11.231	1337.25 ± 39.17
cairo-native (embedded AOT)	2.747 ± 0.020	2.719	2.776	341.55 ± 3.22
cairo-native (embedded JIT using LLVM's ORC Engine)	2.728 ± 0.018	2.709	2.765	339.23 ± 3.02
cairo-native (standalone AOT)	0.008 ± 0.000	0.008	0.009	1.04 ± 0.01
cairo-native (standalone AOT with -march=native)	0.008 ± 0.000	0.008	0.009	1.00

Benchmark for program logistic_map

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.250 ± 0.033	4.206	4.311	60.00 ± 0.55
cairo-native (embedded AOT)	3.046 ± 0.049	3.002	3.161	43.00 ± 0.73
cairo-native (embedded JIT using LLVM's ORC Engine)	3.273 ± 0.032	3.215	3.312	46.20 ± 0.50
cairo-native (standalone AOT)	0.115 ± 0.000	0.115	0.115	1.62 ± 0.01
cairo-native (standalone AOT with -march=native)	0.071 ± 0.000	0.070	0.072	1.00

[github-actions]

✅ Code is now correctly formatted.

[github-actions]

Benchmark results Main vs HEAD.

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	3.332 ± 0.045	3.261	3.402	1.02 ± 0.02
base factorial_2M.cairo (JIT)	3.338 ± 0.041	3.273	3.409	1.02 ± 0.02
head factorial_2M.cairo (AOT)	3.318 ± 0.037	3.270	3.370	1.01 ± 0.02
base factorial_2M.cairo (AOT)	3.281 ± 0.057	3.162	3.354	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	2.873 ± 0.033	2.814	2.931	1.01 ± 0.02
base fib_2M.cairo (JIT)	2.895 ± 0.045	2.847	2.981	1.02 ± 0.02
head fib_2M.cairo (AOT)	2.844 ± 0.049	2.755	2.933	1.00 ± 0.02
base fib_2M.cairo (AOT)	2.836 ± 0.047	2.790	2.941	1.00

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	3.358 ± 0.052	3.286	3.435	1.06 ± 0.02
base logistic_map.cairo (JIT)	3.346 ± 0.057	3.288	3.463	1.06 ± 0.02
head logistic_map.cairo (AOT)	3.163 ± 0.073	3.018	3.246	1.00 ± 0.03
base logistic_map.cairo (AOT)	3.155 ± 0.050	3.087	3.261	1.00