Overview

A prover is a node in the Compute Network that generates validity proofs using the Nexus zkVM. The Compute Network is live on testnet. Mainnet proof generation will launch alongside NexusCore.

To run a prover on testnet today, see Proving via CLI.

What provers will prove

• Exchange execution — order matching, positions, risk, liquidations (NexusCore, 5ms blocks)

• Smart contract execution — EVM transactions (NexusEVM, 1s blocks)

Proof coverage will expand incrementally. Initial scope and rollout schedule will be published before mainnet proof generation begins.

Requirements

Hardware, network, and software requirements will be published when benchmarks are finalized. Proof generation is computationally intensive — expect requirements significantly higher than full node minimums.

Operational expectations

• Availability — must be online and ready to accept proof tasks

• Task completion — assigned tasks must be completed within the required time window

• Monitoring — operators should monitor performance, disk space, and connectivity

• Upgrades — prover software must be kept up to date

Provers that fail to meet these expectations will face slashing. Staking requirements and slashing parameters are not yet finalized.