pub fn execute<B, E>(
circuit: &CompiledProgram,
blackbox_solver: &B,
foreign_call_executor: &mut E,
prover_file: &Path,
) -> Result<ExecutionResults, CliError>Expand description
Execute a circuit and return the output witnesses.
pub fn execute<B, E>(
circuit: &CompiledProgram,
blackbox_solver: &B,
foreign_call_executor: &mut E,
prover_file: &Path,
) -> Result<ExecutionResults, CliError>Execute a circuit and return the output witnesses.