align sierra-emu StarknetSyscallHandler trait/types with cairo-native

[avi-starkware]

Summary

Aligns sierra-emu's StarknetSyscallHandler trait and supporting types with cairo-native's shape, so the two surfaces match name-for-name. This is a prerequisite for extracting them into a shared crate (next PR in the stack), which in turn lets us delete the bridge code that PR #1597 / #1607 introduced.

Changes

sierra-emu adopts cairo-native's shape

• Slice signatures. deploy, library_call, call_contract, emit_event, send_message_to_l1, keccak, meta_tx_v0, cheatcode now take &[Felt] / &[u64] rather than owned Vec. VM call sites in vm/starknet.rs updated to pass borrows.
• Secp256{k1,r1}Point. Gain an explicit is_infinity: bool flag. The Sierra-level encoding inside sierra-emu still uses (0, 0) to represent the identity element — from_value recovers the flag from that sentinel; into_value drops it (callers that materialize the point at infinity already produce (0, 0), so round-tripping is preserved).
• sha256_process_block matches cairo-native: (&mut [u32; 8], &[u32; 16]) -> SyscallResult<()> (mutates in place, returns unit).
• New ExecutionInfoV3 / TxV3Info types + a get_execution_info_v3 trait method (defaulted to unimplemented!()). The VM-level Sierra value lowering for v3 stays todo!() — wiring it is out of scope for this PR.

cairo-native

• cheatcode trait method becomes unconditional. The runtime/codegen plumbing for cheatcode (vtable entry, wrap_cheatcode, cairo_native__vtable_cheatcode, the with-cheatcode cargo feature) stays feature-gated as before — only the trait method comes out from behind the cfg. The default impl is unimplemented!().

Trace dump

• metadata::trace_dump populates is_infinity when constructing the sierra-emu secp points (it was already reading the field from cairo-native's Secp256Point).

Backwards compatibility

• cairo-native: backwards-compatible. The only public change is unconditionally exposing cheatcode on the trait, with a default unimplemented!() impl — existing impls compile unchanged, callers compile unchanged, the trait stays object-safe. Cargo feature with-cheatcode still controls the runtime/codegen side.
• sierra-emu: breaking — slice-vs-Vec, the new is_infinity field, sha256 sig change. sierra-emu lives in this repo and isn't published as an external API surface, so the blast radius is contained.

Stack

This is the first of four PRs replacing the bridge approach in #1597 / #1607:

1. this PR — align the trait/type surfaces.
2. extract shared cairo-native-syscalls crate #1611 — extract a shared cairo-starknet-syscalls crate; both crates re-export from it; the bridge (added in add SierraEmuSyscallBridge for cairo-native ↔ sierra-emu interop #1607) becomes unnecessary and is deleted.
3. add ContractExecutor dispatch enum (Aot + Emu) #1612 — ContractExecutor dispatch enum (supersedes add ContractExecutor dispatch enum (Aot + Emu) #1598 / add ContractExecutor dispatch enum (Aot + Emu) #1608); the Emu arm calls cairo-native's syscall handler directly, no bridge needed.
4. add run_with_libfunc_profile + AotWithProgram variant for ContractExecutor #1613 — run_with_libfunc_profile + AotWithProgram (supersedes add run_with_libfunc_profile + AotWithProgram variant for ContractExecutor #1599 / add run_with_libfunc_profile + AotWithProgram variant for ContractExecutor #1609).

Test plan

• cargo check clean for cairo-native (default features, with-cheatcode, with-trace-dump)
• cargo check -p sierra-emu clean (lib + bins + tests)
• cargo check --workspace --all-features clean
• CI green

---

This change is 

[github-actions]

✅ Code is now correctly formatted.

[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.849 ± 0.044	10.774	10.901	5.73 ± 0.06
cairo-native (embedded AOT)	1.892 ± 0.018	1.859	1.918	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	1.933 ± 0.028	1.888	1.959	1.02 ± 0.02

Benchmark for program dict_snapshot

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	541.9 ± 8.3	530.1	558.2	1.00
cairo-native (embedded AOT)	1692.7 ± 15.0	1672.8	1724.6	3.12 ± 0.06
cairo-native (embedded JIT using LLVM's ORC Engine)	1717.9 ± 17.4	1695.6	1741.3	3.17 ± 0.06

Benchmark for program factorial_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.907 ± 0.117	4.852	5.236	2.28 ± 0.06
cairo-native (embedded AOT)	2.151 ± 0.023	2.106	2.179	1.00
cairo-native (embedded JIT using LLVM's ORC Engine)	2.174 ± 0.018	2.154	2.204	1.01 ± 0.01

Benchmark for program fib_2M

Open benchmarks

Command	Mean [s]	Min [s]	Max [s]	Relative
Cairo-vm (Rust, Cairo 1)	4.812 ± 0.030	4.782	4.887	2.79 ± 0.03
cairo-native (embedded AOT)	1.730 ± 0.028	1.692	1.789	1.00 ± 0.02
cairo-native (embedded JIT using LLVM's ORC Engine)	1.726 ± 0.014	1.703	1.752	1.00

Benchmark for program linear_search

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	591.8 ± 7.5	579.3	601.5	1.00
cairo-native (embedded AOT)	1700.9 ± 15.0	1680.5	1732.8	2.87 ± 0.04
cairo-native (embedded JIT using LLVM's ORC Engine)	1750.3 ± 16.8	1716.3	1780.4	2.96 ± 0.05

Benchmark for program logistic_map

Open benchmarks

Command	Mean [ms]	Min [ms]	Max [ms]	Relative
Cairo-vm (Rust, Cairo 1)	503.9 ± 6.5	495.7	514.8	1.00
cairo-native (embedded AOT)	1885.5 ± 26.3	1861.8	1940.1	3.74 ± 0.07
cairo-native (embedded JIT using LLVM's ORC Engine)	1976.2 ± 12.4	1957.0	1990.5	3.92 ± 0.06

[github-actions]

Benchmark results Main vs HEAD.

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_insert.cairo (JIT)	1.903 ± 0.012	1.888	1.925	1.00 ± 0.01
base dict_insert.cairo (AOT)	1.902 ± 0.014	1.884	1.924	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_insert.cairo (JIT)	1.918 ± 0.015	1.892	1.941	1.00
head dict_insert.cairo (AOT)	1.925 ± 0.036	1.885	1.998	1.00 ± 0.02

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base dict_snapshot.cairo (JIT)	1.719 ± 0.012	1.700	1.738	1.02 ± 0.01
base dict_snapshot.cairo (AOT)	1.687 ± 0.007	1.680	1.703	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head dict_snapshot.cairo (JIT)	1.741 ± 0.024	1.714	1.788	1.01 ± 0.03
head dict_snapshot.cairo (AOT)	1.726 ± 0.044	1.687	1.831	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base factorial_2M.cairo (JIT)	2.217 ± 0.030	2.189	2.294	1.02 ± 0.01
base factorial_2M.cairo (AOT)	2.178 ± 0.009	2.165	2.193	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head factorial_2M.cairo (JIT)	2.208 ± 0.012	2.186	2.221	1.00 ± 0.01
head factorial_2M.cairo (AOT)	2.204 ± 0.023	2.174	2.251	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base fib_2M.cairo (JIT)	1.710 ± 0.010	1.694	1.723	1.01 ± 0.01
base fib_2M.cairo (AOT)	1.692 ± 0.009	1.674	1.706	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head fib_2M.cairo (JIT)	1.725 ± 0.008	1.709	1.736	1.00 ± 0.01
head fib_2M.cairo (AOT)	1.721 ± 0.008	1.709	1.733	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base linear_search.cairo (JIT)	1.744 ± 0.023	1.711	1.779	1.03 ± 0.01
base linear_search.cairo (AOT)	1.700 ± 0.006	1.692	1.710	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head linear_search.cairo (JIT)	1.757 ± 0.015	1.738	1.787	1.02 ± 0.01
head linear_search.cairo (AOT)	1.717 ± 0.010	1.699	1.732	1.00

Base

Command	Mean [s]	Min [s]	Max [s]	Relative
base logistic_map.cairo (JIT)	1.982 ± 0.024	1.952	2.038	1.06 ± 0.01
base logistic_map.cairo (AOT)	1.862 ± 0.009	1.844	1.876	1.00

Head

Command	Mean [s]	Min [s]	Max [s]	Relative
head logistic_map.cairo (JIT)	1.997 ± 0.014	1.980	2.023	1.07 ± 0.01
head logistic_map.cairo (AOT)	1.861 ± 0.013	1.847	1.880	1.00

[orizi]

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

---

debug_utils/sierra-emu/src/starknet.rs line 580 at r1 (raw file):

            Coordinates::Uncompressed { x, y } => (x, y),
            Coordinates::Identity => {
                // k * P can be the identity (e.g. k = ord(P)).

Suggestion:

                // m * P can be the identity (e.g. m = ord(P)).

---

debug_utils/sierra-emu/src/starknet/secp256r1_point.rs line 8 at r1 (raw file):

    pub x: U256,
    pub y: U256,
    pub is_infinity: bool,

why add is_infinity? what was bad about (0, 0)?

[avi-starkware]

debug_utils/sierra-emu/src/starknet/secp256r1_point.rs line 8 at r1 (raw file):

Previously, orizi wrote…

why add is_infinity? what was bad about (0, 0)?

The is_infinity flag exists on cairo-native's Secp256k1Point (it's part of the published trait surface and the repr(C, align(16)) MLIR ABI). To let cairo-native and sierra-emu share one trait without touching the cairo-native side, the unified struct in cairo-starknet-syscalls keeps the flag.

[orizi]

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

[avi-starkware]

debug_utils/sierra-emu/src/starknet.rs line 580 at r1 (raw file):

            Coordinates::Uncompressed { x, y } => (x, y),
            Coordinates::Identity => {
                // k * P can be the identity (e.g. k = ord(P)).

Done.

[TomerStarkware]

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

[TomerStarkware]

Reviewable status: complete! all files reviewed, all discussions resolved (waiting on Yoni-Starkware).

[orizi]

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