zisk-executor 1.1.0-alpha

Execution engine that orchestrates witness generation across ZisK state machines
docs.rs failed to build zisk-executor-1.1.0-alpha
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

executor

This crate is part of ZisK. See the ZisK documentation for an overview of the system.

executor is the core execution engine of ZisK. Its main entry point, ZiskExecutor, orchestrates the state machines that together produce the witness for proving.

Overview

  • Drives a program's execution and coordinates the per-component state machines (main, ROM, memory, arithmetic, binary, precompiles, …).
  • Sits between the emulator (which runs the program) and the prover backend (which turns the witness into a proof).

The executor is normally used via zisk-prover-backend and the higher-level zisk-sdk rather than directly.

Documentation

License

Licensed under either of:

at your option.