3.2 Advanced Configuration

Spicenet supports various prover modes, each with different security and performance trade-offs:

skip: Skips verification logic. Fastest but least secure.
simulate: Runs verification logic inside the current process. Fast, suitable for testing.
execute: Runs the verifier in a zkVM executor. Balances speed and security.
prove: Runs the verifier and creates a SNARK of execution. Most secure but slowest.

To change the prover mode:

export SOV_PROVER_MODE=<desired_mode>

ZK guest compilation is an advanced feature of Spicenet. If you're not using this feature, you can skip its compilation to speed up build times:

export SKIP_GUEST_BUILD=1

Last updated 2 months ago