[Resource Topic] 2017/675: Memory-Tight Reductions

Welcome to the resource topic for 2017/675

Title:
Memory-Tight Reductions

Authors: Benedikt Auerbach, David Cash, Manuel Fersch, Eike Kiltz

Abstract:

Cryptographic reductions typically aim to be tight by transforming an adversary A into an algorithm that uses essentially the same resources as A. In this work we initiate the study of memory efficiency in reductions. We argue that the amount of working memory used (relative to the initial adversary) is a relevant parameter in reductions, and that reductions that are inefficient with memory will sometimes yield less meaningful security guarantees. We then point to several common techniques in reductions that are memory-inefficient and give a toolbox for reducing memory usage. We review common cryptographic assumptions and their sensitivity to memory usage. Finally, we prove an impossibility result showing that reductions between some assumptions must unavoidably be either memory- or time-inefficient. This last result follows from a connection to data streaming algorithms for which unconditional memory lower bounds are known.

ePrint: https://eprint.iacr.org/2017/675

Talk: https://www.youtube.com/watch?v=0gpJ8kbCiFQ

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .