Paul Valiant Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency. 1-18 2008 TCC http://dx.doi.org/10.1007/978-3-540-78524-8_1 conf/tcc/2008 db/conf/tcc/tcc2008.html#Valiant08