Proofs of Catalytic Space.
Rational Proofs of Space-Time