zisk-executor 1.1.0-alpha

Execution engine that orchestrates witness generation across ZisK state machines
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

//! ASM-emulator support modules.
//!
//! Cross-platform pieces (`resources`, `transport`, `supervisor`,
//! `mt_chunk`) compile everywhere via internal `#[cfg]` gates — they
//! contain stub-free type definitions plus inherent methods that touch
//! Linux-x86_64-only `zisk_asm_runner` internals. Only the inherent-impl
//! glue that drives `AsmRunnerMT::run_and_count` (i.e. [`emulator`])
//! is gated to that target; on other targets [`stub`] supplies an
//! `EmulatorAsm` of the same shape whose methods panic with a clear
//! "Linux x86_64 only" message. Either way, `EmulatorAsm` is in scope
//! uniformly so [`crate::execution::ExecutionPhase`] stays
//! platform-agnostic.

pub mod mt_chunk;
pub mod resources;
pub mod supervisor;
pub mod transport;

pub use resources::*;

#[cfg(all(target_os = "linux", target_arch = "x86_64"))]
pub use mt_chunk::*;
#[cfg(all(target_os = "linux", target_arch = "x86_64"))]
pub use supervisor::*;
#[cfg(all(target_os = "linux", target_arch = "x86_64"))]
pub use transport::*;

#[cfg(all(target_os = "linux", target_arch = "x86_64"))]
mod emulator;
#[cfg(all(target_os = "linux", target_arch = "x86_64"))]
pub use emulator::*;

#[cfg(not(all(target_os = "linux", target_arch = "x86_64")))]
mod stub;
#[cfg(not(all(target_os = "linux", target_arch = "x86_64")))]
pub use stub::*;