本文提出了一种基于复杂性理论构建空间证明（Proof of Space, PoS）的新框架。空间证明由Dziembowski等人于CRYPTO 2015引入，是一个两阶段协议，允许证明者向高效的验证者证明其已分配大量持久性内存来存储某些信息。现有所有PoS协议的安全性通常仅在随机预言机模型或特定临时密码学假设下得到证明。本文旨在减少对随机预言机的依赖，通过结合去随机化假设与密码学假设来构建PoS。作者给出了一个基础性框架，并提供了几个简单实例化。主要结果显示：在假设(a) E=DTIME[2^{O(n)}]对指数规模非确定性电路困难（该假设此前用于证明AM=NP），以及(b)存在抗碰撞哈希函数的条件下，可以构造非平凡的空间证明。此外，若进一步假设(c)存在针对P的SNARG（简洁非交互式论证），则可构造具有近乎最优参数和交互模式的空间证明。该工作将空间证明的安全性基础从随机预言机模型拓展到更广泛的复杂性理论假设，属于理论计算机科学与密码学交叉领域的贡献。适合对密码学基础、去随机化理论以及区块链中资源证明机制感兴趣的研究人员阅读。