Assuming an algorithm $A$ known to both Alice and Bob. Alice runs the algorithm and gets a result $R$. How can Alice prove to Bob that $R$ is the result of the execution of $A$ and not some random value (without having Bob run the algorithm himself)? The goal is for Bob to perform less calculat...