pub type ProverResultPtr = *mut ProverResult;