https://123dok.net/document/yj7m0962-cheat-cheat-game-theoretic-analysis-outsourced-computation-verification.html