add run_with_libfunc_profile + AotWithProgram pairing

[avi-starkware]

Summary

Exposes the libfunc-profiling primitives that downstream consumers (e.g. the blockifier in starkware-libs/sequencer) currently maintain locally. The profile-collection pattern is callback-driven so the per-call key (tx hash, etc.) stays out of cairo-native.

Follows the no-enum design from #1612 (merged): there is no ContractExecutor dispatch enum; consumers pick an executor type per feature-flag build.

Changes

• metadata::profiler::Profile is now pub (was a private type alias).
• AotContractExecutor::run_with_libfunc_profile<H, F> (gated on with-libfunc-profiling, in new file src/executor/libfunc_profile.rs) wraps run: allocates a unique trace ID, points the executor's cairo_native__profiler__profile_id symbol at it, drains the resulting Profile after run returns, and hands it to a caller-supplied FnOnce(Profile) on success. A ProfilerGuard restores the previous trace ID and drops the LIBFUNC_PROFILE slot on both the success and unwind paths; a process-wide lock plus a thread-local depth counter make concurrent and nested (contract-calls-contract) profiled runs safe.
• AotWithProgram { executor, program }: pairs an AOT executor with the Sierra program it was compiled from (needed to resolve libfunc samples). Exposes inherent methods:
  • run(...) — mirrors AotContractExecutor::run; routes through the profiling bookkeeping (the instrumented .so needs a live profile slot) and discards the profile.
  • run_with_profile(..., FnOnce(Profile, ArcProgram)) — hands the captured profile and the paired program to the callback.
• pub type ArcProgram = Arc<Program> re-export so consumers can name the program handle without a direct cairo-lang-sierra dependency.

Stack

1. align sierra-emu StarknetSyscallHandler trait/types with cairo-native #1610 — trait alignment
2. extract shared cairo-native-syscalls crate #1611 — extract shared crate
3. add EmuContractExecutor (sierra-emu backend, interchangeable with AotContractExecutor) #1612 — EmuContractExecutor (merged)
4. this PR — run_with_libfunc_profile + AotWithProgram

Test plan

• cargo check (default features) clean
• cargo check --features with-libfunc-profiling clean
• cargo check --features sierra-emu,with-libfunc-profiling clean
• cargo check --workspace --all-features clean
• CI green

---

This change is

[github-actions]

✅ Code is now correctly formatted.

[orizi]

@orizi reviewed 3 files and all commit messages.
Reviewable status: 3 of 4 files reviewed, all discussions resolved (waiting on TomerStarkware and Yoni-Starkware).

[avi-starkware]

@avi-starkware made 1 comment.
Reviewable status: 0 of 5 files reviewed, 1 unresolved discussion (waiting on orizi, TomerStarkware, and Yoni-Starkware).

---

src/executor.rs line 31 at r3 (raw file):

Previously, orizi wrote…

what kind of reference is expected?
if it is just as a value - since you only use is as Arc<Program> - export:
pub type ArcProgram = std::sync::Arc<cairo_lang_sierra::program::Program>;

Done.

[orizi]

@orizi reviewed 5 files and all commit messages, made 1 comment, and resolved 1 discussion.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on avi-starkware, TomerStarkware, and Yoni-Starkware).

---

src/executor/contract_executor.rs line 150 at r5 (raw file):

    /// callers don't have to keep their own copy around just to resolve libfunc samples.
    /// For other variants this is identical to `run` and `on_profile` is never invoked.
    #[cfg(feature = "with-libfunc-profiling")]

following my response to the previous PR - seems to me this is basically the only interesting function.

[avi-starkware]

src/executor/contract_executor.rs line 150 at r5 (raw file):

Previously, orizi wrote…

following my response to the previous PR - seems to me this is basically the only interesting function.

Following my response to your response - removed this file

[orizi]

@orizi reviewed 3 files and all commit messages, and resolved 1 discussion.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on TomerStarkware and Yoni-Starkware).

[orizi]

@orizi made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on TomerStarkware and Yoni-Starkware).

[github-actions]

Benchmarking results

Benchmark for program dict_insert

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	10.461 ± 0.234	10.240	10.848	5.88 ± 0.14
cairo-native (embedded AOT)	1.780 ± 0.010	1.767	1.795	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.799 ± 0.014	1.781	1.833	1.01 ± 0.01

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	527.9 ± 3.1	523.7	534.8	1.00
cairo-native (embedded AOT)	1592.8 ± 5.8	1581.4	1599.5	3.02 ± 0.02
cairo-native (embedded JIT using LLVM's ORC Engine)	1628.2 ± 11.8	1618.5	1653.9	3.08 ± 0.03

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.512 ± 0.026	4.484	4.554	2.66 ± 0.04
cairo-native (embedded AOT)	1.698 ± 0.021	1.658	1.724	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.722 ± 0.014	1.694	1.741	1.01 ± 0.02

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.430 ± 0.021	4.399	4.464	2.76 ± 0.02
cairo-native (embedded AOT)	1.603 ± 0.011	1.587	1.628	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.629 ± 0.009	1.617	1.643	1.02 ± 0.01

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	569.2 ± 4.5	564.7	579.5	1.00
cairo-native (embedded AOT)	1622.1 ± 5.5	1614.1	1631.9	2.85 ± 0.02
cairo-native (embedded JIT using LLVM's ORC Engine)	1671.1 ± 29.1	1649.6	1737.7	2.94 ± 0.06

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	486.6 ± 4.7	481.4	498.4	1.00
cairo-native (embedded AOT)	1608.5 ± 6.6	1601.2	1626.1	3.31 ± 0.03
cairo-native (embedded JIT using LLVM's ORC Engine)	1633.6 ± 6.2	1626.3	1647.2	3.36 ± 0.04

[github-actions]

Benchmark results Main vs HEAD.

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_insert.cairo (JIT)	1.779 ± 0.011	1.764	1.796	1.00 ± 0.01
base dict_insert.cairo (AOT)	1.771 ± 0.014	1.755	1.791	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	1.195 ± 0.024	1.155	1.244	1.01 ± 0.03
head dict_insert.cairo (AOT)	1.185 ± 0.018	1.162	1.209	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	1.633 ± 0.009	1.614	1.644	1.02 ± 0.01
base dict_snapshot.cairo (AOT)	1.600 ± 0.016	1.580	1.630	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	1.066 ± 0.011	1.047	1.084	1.00
head dict_snapshot.cairo (AOT)	1.071 ± 0.026	1.051	1.136	1.00 ± 0.03

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	1.676 ± 0.011	1.657	1.693	1.01 ± 0.01
base factorial_2M.cairo (AOT)	1.664 ± 0.010	1.647	1.679	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	1.108 ± 0.017	1.080	1.138	1.03 ± 0.02
head factorial_2M.cairo (AOT)	1.078 ± 0.017	1.059	1.111	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	1.633 ± 0.008	1.620	1.645	1.01 ± 0.01
base fib_2M.cairo (AOT)	1.610 ± 0.011	1.588	1.630	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	1.066 ± 0.019	1.040	1.092	1.01 ± 0.02
head fib_2M.cairo (AOT)	1.051 ± 0.015	1.029	1.071	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	1.650 ± 0.013	1.630	1.670	1.02 ± 0.01
base linear_search.cairo (AOT)	1.617 ± 0.008	1.609	1.633	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	1.105 ± 0.025	1.062	1.156	1.03 ± 0.04
head linear_search.cairo (AOT)	1.071 ± 0.028	1.040	1.125	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	1.627 ± 0.008	1.614	1.637	1.02 ± 0.01
base logistic_map.cairo (AOT)	1.600 ± 0.009	1.588	1.617	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	1.086 ± 0.033	1.040	1.147	1.00
head logistic_map.cairo (AOT)	1.093 ± 0.042	1.025	1.168	1.01 ± 0.05

[avi-starkware]

@avi-starkware reviewed all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on TomerStarkware and Yoni-Starkware).

[orizi]

@orizi reviewed all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on TomerStarkware and Yoni-Starkware).