论文标题
$ \ mathbf {vdf} \ subsetneq \ mathbf {pspace} $
$\mathbf{VDF} \subsetneq \mathbf{PSPACE}$
论文作者
论文摘要
可验证的延迟函数（VDF）是采用指定数量的顺序步骤的函数，但可以有效地验证。在本文中，我们表明每个VDF在PSPACE中都可以证明，但是PSPACE中的每种语言都不承认VDF。
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.
