pub type ConstProverResultPtr = *const ProverResult;