blockifier: adopt cairo_native::ContractExecutor for AOT + sierra-emu dispatch

[avi-starkware]

Summary

Replaces the local AotContractExecutor field on NativeCompiledClassV1Inner with cairo-native's new ContractExecutor enum and adopts cairo-native's new libfunc-profiling APIs. The conversion glue between cairo-native and sierra-emu syscall traits, and the libfunc profiling instrumentation — both previously maintained in blockifier — now live in cairo-native. Sierra-program extraction for profiling moves into apollo_compile_to_native::SierraToNativeCompiler::compile_with_program, so the blockifier no longer touches cairo-lang-sierra at all.

Important

Depends on the unreleased cairo_native PR stack (in order):

• align sierra-emu StarknetSyscallHandler trait/types with cairo-native cairo_native#1610 — align sierra-emu StarknetSyscallHandler trait/types with cairo-native
• extract shared cairo-native-syscalls crate cairo_native#1611 — extract shared cairo-native-syscalls crate
• add SierraEmuSyscallBridge for cairo-native ↔ sierra-emu interop cairo_native#1607 — SierraEmuSyscallBridge for cairo-native ↔ sierra-emu interop
• add ContractExecutor dispatch enum (Aot + Emu) cairo_native#1612 — ContractExecutor enum (Aot + Emu) + EmuContractInfo
• add run_with_libfunc_profile + AotWithProgram variant for ContractExecutor cairo_native#1613 — run_with_libfunc_profile + AotWithProgram + ContractExecutor::run_with_profile(.., FnOnce(Profile, Arc<Program>)) + pub use cairo_lang_sierra::program::Program; re-export

The workspace Cargo.toml currently uses a git/rev dep pinned to the tip of #1613 (rev a21f3f57, package version 0.9.0-rc.7). Do not merge until that stack lands and a cairo-native release is published, then swap the git/rev dep back to a published version = "...".

Commits

1. blockifier,apollo_compile_to_native: adopt cairo_native::ContractExecutor + libfunc profiling — switches executor: AotContractExecutor → executor: ContractExecutor; adds sierra-emu + with-libfunc-profiling features; adds NativeCompiledClassV1::new_with_program(AotWithProgram, _); adds SierraToNativeCompiler::compile_with_program so process_compilation_request does compile + Sierra-program extraction in one call; routes entry_point_execution through run_with_profile via run_dispatch::run_native_executor.
2. workspace: declare cairo-native version on git dep for version sync test — required for required_cairo_native_version_test to parse the pinned dep.
3. blockifier: address review feedback on native compilation path — reverts process_compilation_request to a direct match so casm moves into NativeCompiledClassV1::new(_with_program) at zero cost.
4. blockifier: re-add new_from_emu for out-of-tree benchmarking branch — restores the NativeCompiledClassV1::new_from_emu(EmuContractInfo, _) constructor so the out-of-tree benchmarking / replay feature branch (which is not expected to merge here) can construct sierra-emu-backed compiled classes without patching this file.

Replaces

The (still-open) #13542 / #13543 / #13755 stack. The ContractExecutor enum, the ~340 lines of sierra-emu syscall conversions, and the libfunc profiling primitive (ProfilerGuard, Arc<Program> plumbing, trace_id mutation) all move out of blockifier and into cairo-native, where they belong (per @Yoni-Starkware's review on #13543).

Test plan

• CI passes with --features cairo_native
• CI passes with --features cairo_native,sierra-emu
• CI passes with --features cairo_native,with-libfunc-profiling
• CI passes with --features cairo_native,sierra-emu,with-libfunc-profiling
• Once cairo-native is released, swap the git/rev dep back to a crates.io version = "..." and re-run CI

🤖 Generated with Claude Code

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-04-26T15:15:15Z
• Started at 2026-04-27T11:37:10Z
• Started at 2026-04-27T11:37:55Z
• Started at 2026-04-27T13:41:42Z
• Started at 2026-05-17T12:39:22Z
• Started at 2026-05-17T12:48:52Z
• Started at 2026-05-17T12:58:54Z
• Started at 2026-05-17T14:17:30Z
• Started at 2026-05-17T14:17:50Z
• Started at 2026-05-17T18:18:07Z
• Started at 2026-05-18T15:01:24Z
• Started at 2026-05-28T15:33:17Z
• Started at 2026-05-28T15:33:44Z

[cursor]

PR Summary

High Risk
Touches contract execution and native compilation paths and depends on an unreleased git-pinned cairo-native stack; profiling uses unbounded in-process storage intended only for benchmarking.

Overview
Native execution now stores cairo-native’s unified ContractExecutor (AOT or sierra-emu) instead of a bare AotContractExecutor, with optional new_from_emu and new_with_program constructors behind feature flags.

Workspace pins cairo-native to a git revision (unreleased stack with ContractExecutor, profiling, sierra-emu) until a crates.io release; lockfile picks up sierra-emu, cairo-starknet-syscalls, and related deps.

apollo_compile_to_native adds with-libfunc-profiling and compile_with_program, which pairs the AOT artifact with the extracted Sierra Program.

Blockifier wires optional sierra-emu and with-libfunc-profiling features: native class compilation uses compile_with_program / new_with_program when profiling is on; entry points run through run_dispatch::run_native_executor ( run_with_profile vs run ); profiles are keyed by tx/block in profiling::LIBFUNC_PROFILES_MAP.

^{Reviewed by Cursor Bugbot for commit baa8bad. Bugbot is set up for automated code reviews on this repo. Configure here.}

[Yoni-Starkware]

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

---

crates/blockifier/src/execution/native/entry_point_execution.rs line 104 at r2 (raw file):

    #[cfg(not(feature = "with-libfunc-profiling"))]
    let execution_result = compiled_class.executor.run(
        selector,

Suggestion:

    let selector = entry_point.selector.0;
    let calldata = syscall_handler.base.call.calldata.0.clone();

    #[cfg(feature = "with-libfunc-profiling")]
    let execution_result = run_with_profile(
                    selector,
                    &calldata,
                    call_initial_gas,
                    Some(builtin_costs),
                    &mut syscall_handler,
                    on_profile
                )
            }
    #[cfg(not(feature = "with-libfunc-profiling"))]
    let execution_result = compiled_class.executor.run(
        selector,

[avi-starkware]

crates/blockifier/src/execution/native/entry_point_execution.rs line 104 at r2 (raw file):

    #[cfg(not(feature = "with-libfunc-profiling"))]
    let execution_result = compiled_class.executor.run(
        selector,

I extracted the entire logic (including the feature gate) into run_dispatch.rs

[Yoni-Starkware]

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

[Yoni-Starkware]

@Yoni-Starkware partially reviewed 7 files and made 1 comment.
Reviewable status: 8 of 9 files reviewed, 1 unresolved discussion (waiting on avi-starkware and TomerStarkware).

[Yoni-Starkware]

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

[cursor]

Unpublished git dependency committed for production use

Medium Severity

The cairo-native dependency is pinned to a specific git revision from an unreleased PR stack instead of a published crates.io version. The comment says "TEMP" and the PR description warns not to merge until upstream lands, but this temporary git dep could easily be forgotten and shipped. A production dependency on an unpublished git rev risks reproducibility issues and blocks downstream consumers who can't resolve the git source.

 

^{Reviewed by Cursor Bugbot for commit 7f89015. Configure here.}

[avi-starkware]

Acknowledged — this is the intended merge gate, not a forgotten TEMP. The git rev pins the tip of the cairo_native PR stack (#1610 → #1611 → #1607 → #1612 → #1613); merge of this PR is blocked on that stack landing in a published cairo-native release. The # TEMP: block above the dep line names the upstream PRs and the planned crates.io swap.

[Yoni-Starkware]

Rebase over main?

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

[avi-starkware]

• blockifier: adopt cairo_native::ContractExecutor for AOT + sierra-emu dispatch #13880 👈 (View in Graphite)
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[avi-starkware]

Rebase over main?

[avi-starkware]

Done.

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

There are 3 total unresolved issues (including 2 from previous reviews).

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit c8cca67. Configure here.}