Skip to main content

execute

Function execute 

Source
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.