#[no_mangle]
pub unsafe extern "C" fn ergo_lib_prover_result_proof(
    prover_result_ptr: ConstProverResultPtr,
    output: *mut u8
)
Expand description

Get proof. Key assumption: enough memory has been allocated at the address pointed-to by output. Use ergo_lib_prover_result_proof_len to determine the length of the byte array.