摘要：可验证的延迟函数(VDF)是需要一定数量的连续步骤才能进行评估，但可以高效地进行验证的函数。在本文中，我们证明了每个VDF都可以在PSPACE中证实，但是PSPACE中的每个语言都不能存在VDF。
作者：Souvik Sur
论文ID：2202.10970
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-11-14
PDF 下载： 英文版 中文版pdf翻译中