I ask a computer to calculate $x^y \pmod z$, where $x,y,z$ are all large numbers. How can I verify the correctness of the result returned by the computer.
I assume that I myself cannot afford expensive computations. The most expensive calculation I can do is multiplication of two large numbers. And I cannot do it too many times.
Thanks in advance.