[BCMS20] Recursive Proof Composition from Accumulation Schemes

Authors: Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra, Nicholas Spooner | Venue: TCC 2020 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@Inproceedings{TCC:BCMS20,
  author = {Benedikt B{\"u}nz and Alessandro Chiesa and Pratyush Mishra and Nicholas Spooner},
  title = {Recursive Proof Composition from Accumulation Schemes},
  pages = {1--18},
  editor = {Rafael Pass and Krzysztof Pietrzak},
  booktitle = {TCC~2020: 18th Theory of Cryptography Conference, Part~II},
  volume = {12551},
  series = {Lecture Notes in Computer Science},
  address = {Durham, NC, USA},
  month = {nov~16--19},
  publisher = {Springer, Cham, Switzerland},
  year = {2020},
  doi = {10.1007/978-3-030-64378-2_1},
}