Proofs of Catalytic Space.
Snow White: Provably Secure Proofs of Stake.