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

//! Executor crate is the core of the execution engine, responsible for orchestrating
//! the execution of state machines. It provides the main `ZiskExecutor` struct.

#![deny(missing_docs)]
#![deny(rustdoc::all)]

mod adapters;
mod bus;
mod error;
mod execution;
mod executor;
mod plan;
mod ports;
mod sm;
mod state;
mod witness;

// External API
pub use execution::asm::{AsmResources, AsmSharedResources, EmulatorAsm}; // (Linux x86_64) / stub elsewhere
pub use executor::*; // ZiskExecutor
pub use witness::AirClassifier;
pub use zisk_asm_runner::GpuBufferSource; // AIR id → display name (used to label remote execution plans)

pub(crate) use adapters::*;
pub(crate) use bus::*;
pub(crate) use execution::*;
pub(crate) use plan::*;
pub(crate) use sm::*;
pub(crate) use state::*;
pub(crate) use witness::*;

use std::collections::HashMap;

/// Type alias for chunk counters, mapping SM type ID to a list of device metrics by chunk.
pub(crate) type CountersChunkMetrics = HashMap<usize, Vec<DeviceMetricsByChunk>>;