Rational arguments: single round delegation with sublinear verification. (English) Zbl 1364.68199
Proceedings of the 5th conference on innovations in theoretical computer science, ITCS’14, Princeton, NJ, USA, January 11–14, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2243-0). 523-539 (2014).