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

//! Per-category witness-compute handlers.

pub mod main;
pub mod rom_rust;
pub mod secondary;
pub mod table;

pub use main::MainWitnessHandler;
pub use secondary::SecondaryWitnessHandler;
pub use table::TableWitnessHandler;

use std::collections::HashMap;

use zisk_common::Instance;

/// Map of secondary instances keyed by `global_id`.
pub(crate) type SecnInstanceMap<F> = HashMap<usize, Box<dyn Instance<F>>>;

/// Map of borrowed secondary instances.
pub(crate) type SecnInstanceMapRef<'a, F> = HashMap<usize, &'a dyn Instance<F>>;