Rational arguments: single round delegation with sublinear verification

Publication
Innovations in Theoretical Computer Science, ITCS'14, Princeton, NJ, USA, January 12-14, 2014