proofcore