- Dry run: Simulation phase that discovers which on-chain keys are needed.
- Fetcher: Stage that collects cryptographic proofs for the discovered keys.
- Sound run: Offline verification and execution phase.
- Memorizer: Dict-based storage for verified data in Cairo0.
- MMR: Merkle Mountain Range accumulator for block headers.
- MPT: Merkle Patricia Trie for Ethereum state proofs.
- Task hash: Unique identifier for a computation.
- Output root: Merkle root of computed results.
- Injected state: Custom persistent state backed by a Patricia trie.
- Unconstrained data: Data verified by hash, not by inclusion proof.
- STWO: Zero-knowledge prover for Cairo.
- Bootloader: Cairo0 program that executes compiled Cairo1 modules.