Runtime Verification of Remotely Executed Code using Probabilistically Checkable Proof Systems