1. Shamir, A.: IP$$=$$PSPACE. In: Proceedings of the 31st Annual Symposium on Foundations of Computer Science, pp. 11–15. IEEE, St. Louis (1990)
2. Morimae, T., Nishimura, H.: Rational proofs for quantum computing. arXiv:1804.08868
3. Azar, P.D., Micali, S.: Rational proofs. In: Proceedings of the 44th Symposium on Theory of Computing, pp. 1017–1028. ACM, New York (2012)
4. Takeuchi, Y., Morimae, T., Tani, S.: Sumcheck-based delegation of quantum computing to rational server. arXiv:1911.04734
5. Aharonov, D., Ben-Or, M., Eban, E.: Interactive proofs for quantum computations. In: Proceedings of Innovations in Computer Science 2010, pp. 453–469. Tsinghua Univ. Press, Beijing (2010)