Aug 2026
A Complexity-Theoretic Approach to Proofs of Space
It is shown that non-trivial PoS follow from (a) $\mathsf{E}=\mathsf{DTIME[2^{O(n)}]}$ is hard for exponential-size nondeterministic circuits, and (b) collision-resistant hash functions, and (c) SNARGs for $\mathsf{P}$.
Marshall Ball, Jiaxin Guan
· IACR Cryptology ePrint Archi... · 0 citations