Recursive Proof Composition from Accumulation Schemes. Bünz, B., Chiesa, A., Mishra, P., & Spooner, N. In Pass, R. & Pietrzak, K., editors, Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, Proceedings, Part II, volume 12551, of Lecture Notes in Computer Science, pages 1–18, 2020. Springer. Paper doi bibtex @inproceedings{DBLP:conf/tcc/BunzCMS20,
author = {Benedikt B{\"{u}}nz and
Alessandro Chiesa and
Pratyush Mishra and
Nicholas Spooner},
editor = {Rafael Pass and
Krzysztof Pietrzak},
title = {Recursive Proof Composition from Accumulation Schemes},
booktitle = {Theory of Cryptography - 18th International Conference, {TCC} 2020,
Durham, NC, USA, November 16-19, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12551},
pages = {1--18},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64378-2\_1},
doi = {10.1007/978-3-030-64378-2\_1},
timestamp = {Tue, 15 Dec 2020 12:01:12 +0100},
biburl = {https://dblp.org/rec/conf/tcc/BunzCMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"ebZfbJzHLDxuvckX2","bibbaseid":"bnz-chiesa-mishra-spooner-recursiveproofcompositionfromaccumulationschemes-2020","author_short":["Bünz, B.","Chiesa, A.","Mishra, P.","Spooner, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benedikt"],"propositions":[],"lastnames":["Bünz"],"suffixes":[]},{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Chiesa"],"suffixes":[]},{"firstnames":["Pratyush"],"propositions":[],"lastnames":["Mishra"],"suffixes":[]},{"firstnames":["Nicholas"],"propositions":[],"lastnames":["Spooner"],"suffixes":[]}],"editor":[{"firstnames":["Rafael"],"propositions":[],"lastnames":["Pass"],"suffixes":[]},{"firstnames":["Krzysztof"],"propositions":[],"lastnames":["Pietrzak"],"suffixes":[]}],"title":"Recursive Proof Composition from Accumulation Schemes","booktitle":"Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16-19, 2020, Proceedings, Part II","series":"Lecture Notes in Computer Science","volume":"12551","pages":"1–18","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-64378-2\\_1","doi":"10.1007/978-3-030-64378-2_1","timestamp":"Tue, 15 Dec 2020 12:01:12 +0100","biburl":"https://dblp.org/rec/conf/tcc/BunzCMS20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/tcc/BunzCMS20,\n author = {Benedikt B{\\\"{u}}nz and\n Alessandro Chiesa and\n Pratyush Mishra and\n Nicholas Spooner},\n editor = {Rafael Pass and\n Krzysztof Pietrzak},\n title = {Recursive Proof Composition from Accumulation Schemes},\n booktitle = {Theory of Cryptography - 18th International Conference, {TCC} 2020,\n Durham, NC, USA, November 16-19, 2020, Proceedings, Part {II}},\n series = {Lecture Notes in Computer Science},\n volume = {12551},\n pages = {1--18},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-64378-2\\_1},\n doi = {10.1007/978-3-030-64378-2\\_1},\n timestamp = {Tue, 15 Dec 2020 12:01:12 +0100},\n biburl = {https://dblp.org/rec/conf/tcc/BunzCMS20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bünz, B.","Chiesa, A.","Mishra, P.","Spooner, N."],"editor_short":["Pass, R.","Pietrzak, K."],"key":"DBLP:conf/tcc/BunzCMS20","id":"DBLP:conf/tcc/BunzCMS20","bibbaseid":"bnz-chiesa-mishra-spooner-recursiveproofcompositionfromaccumulationschemes-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-64378-2\\_1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/161/3103.bib","dataSources":["eTeCchkA75gbmyxzx"],"keywords":[],"search_terms":["recursive","proof","composition","accumulation","schemes","bünz","chiesa","mishra","spooner"],"title":"Recursive Proof Composition from Accumulation Schemes","year":2020}