Is there any cryptographic method for
Proof Of Computation ?
If i am running my program on untrusted hardware (remote server), after some time i want to verify the remote machine hasn't tampered with my program and successfully ran it for required time (and the result/output is correct), how can i verify ?
Is there any
Zero knowledge proof for it?
Also i want to check if the remote server was active (online) for the certain time, this can be done by proof of computation ? (like the server need to keep running my custom program for certain time, and when i come back to check it will give me require
mathematical proofs using which i can verify the server was active for that period of time)