Proof labeling schemes