Visible to the public Proof-Carrying Data Secure Computation on Untrusted Execution Platforms