Complete Background and Generic Proof of Space