hasProvableCircuitKeys

Whether the prover can find circuit keys at the root keys directory.

The Rust prover resolves keys by: keysDir/{circuitName}.{prover,verifier,bzkir}. Contract keys must be in the root keysDir (not a subdirectory) for the prover to find them.