ZK Proof

The ZK Proof tab shows the proving setup: circuit, prover backend and verification key.

In this build the status is Prover not configured: no circuit or backend is selected and no verification key is loaded, so EdgeORE does not generate or verify proofs yet.