IxVM: native execution pipeline#463

Draft

arthurpaulino wants to merge 11 commits into

mainfrom

ap/codegen-ixvm-native

Commits on Jul 1, 2026

Aiur Bytecode → Rust codegen for the IxVM kernel
arthurpaulino
committed
Move shard witness construction to Rust + parallelise
arthurpaulino
committed
Codegen: value-returning byte ops, dead-fold the unconstrained
arthurpaulino
committed
Wire Rust witness fast path through every check/prove entry point
arthurpaulino
committed
EnvHandle: Rust-owned env shared across per-claim / per-shard FFI calls
arthurpaulino
committed
ix codegen: add --check flag for CI; gate stale generated kernel
arthurpaulino
committed
ix check: --interp {source|bytecode} to bypass codegen kernel
arthurpaulino
committed