Radical New PoS (and new space-hardness assumptions)