Hot: proofofspacetime