Probabilistic Proof-carrying Code