References & Citations
Computer Science > Computational Complexity
Title: $\mathbf{VDF} \subsetneq \mathbf{PSPACE}$
(Submitted on 22 Feb 2022 (v1), last revised 11 Nov 2022 (this version, v3))
Abstract: Verifiable delay functions (VDF) are functions that take a specified number of sequential steps to be evaluated but can be verified efficiently. In this paper, we show that every VDF is provable in PSPACE but every language in PSPACE does not admit to a VDF.
Submission history
From: Souvik Sur [view email][v1] Tue, 22 Feb 2022 15:18:45 GMT (12kb)
[v2] Thu, 26 May 2022 12:36:42 GMT (20kb)
[v3] Fri, 11 Nov 2022 10:52:04 GMT (27kb)
Link back to: arXiv, form interface, contact.