installCircuitKeysForProving
fun installCircuitKeysForProving(circuitNames: List<String>, keysSourceDir: File, zkirSourceDir: File, overwrite: Boolean = false)
Install circuit keys to the root keys directory for the prover.
The Rust prover resolves by flat path: keysDir/{name}.prover. This copies circuit keys from a source directory directly to keysDir root.
Parameters
circuitNames
Circuit names (e.g., "post", "takeDown")
keysSourceDir
Directory containing {circuit}.prover, .verifier files
zkirSourceDir
Directory containing {circuit}.bzkir files
overwrite
If true, replaces existing keys