New: proofkeys