Memory Tight Reductions Iacr