ZisK Machine

ZisK instantiates 21 AIRs, bus interconnections, memory layout, coprocessors, precompile circuits, lookup tables, and global constraints to prove RISC-V execution with precompiles to accelerate proving Ethereum.

The Main state machine (main_sm.rs#MainSM) orchestrates RISC-V instruction execution.