Add some references to proof of storage papers