New proof dramatically compresses space needed for computation