LocalProver

Local ZK prover — generates proofs on the phone instead of a remote server.

Uses the same Rust proving engine (midnight-zkir) as the proof server. Proving keys must be downloaded via ProvingKeyManager before use.

Why local proving:

• Privacy: proof preimages never leave the phone

• Offline: no network needed for wallet transactions

• Speed: no HTTP round-trip overhead

• Agent autonomy: agents can prove without server dependency