[Val08] Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency

Authors: Paul Valiant | Venue: TCC 2008 | Source

Abstract

TODO — abstract.

BibTeX

@Inproceedings{TCC:Valiant08,
  author = {Paul Valiant},
  title = {Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency},
  pages = {1--18},
  editor = {Ran Canetti},
  booktitle = {TCC~2008: 5th Theory of Cryptography Conference},
  volume = {4948},
  series = {Lecture Notes in Computer Science},
  address = {San Francisco, CA, USA},
  month = {mar~19--21},
  publisher = {Springer Berlin Heidelberg, Germany},
  year = {2008},
  doi = {10.1007/978-3-540-78524-8_1},
}