From Storage to Proof: A Road-Map for Irys