pub fn prove_sync(
program: &Program,
stack_inputs: StackInputs,
advice_inputs: AdviceInputs,
host: &mut impl SyncHost,
execution_options: ExecutionOptions,
proving_options: ProvingOptions,
) -> Result<(StackOutputs, ExecutionProof), ExecutionError>Expand description
Synchronous wrapper for prove().