Paper 2017/1250
Non-Interactive Delegation for Low-Space Non-Deterministic Computation
Saikrishna Badrinarayanan, Yael Tauman Kalai, Dakshita Khurana, Amit Sahai, and Daniel Wichs
Abstract
We construct a delegation scheme for verifying non-deterministic computations, with complexity proportional only to the non-deterministic space of the computation. Specifically, letting
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint. MINOR revision.
- Keywords
- delegationnon-interactivesuccinct argumentsnon-determinism
- Contact author(s)
- dakshita @ cs ucla edu
- History
- 2018-02-28: revised
- 2017-12-30: received
- See all versions
- Short URL
- https://ia.cr/2017/1250
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2017/1250, author = {Saikrishna Badrinarayanan and Yael Tauman Kalai and Dakshita Khurana and Amit Sahai and Daniel Wichs}, title = {Non-Interactive Delegation for Low-Space Non-Deterministic Computation}, howpublished = {Cryptology {ePrint} Archive, Paper 2017/1250}, year = {2017}, url = {https://eprint.iacr.org/2017/1250} }