Anzeige
Erschienen in:
2017 | OriginalPaper | Buchkapitel
Scrypt Is Maximally Memory-Hard
verfasst von : Joël Alwen, Binyi Chen, Krzysztof Pietrzak, Leonid Reyzin, Stefano Tessaro
Erschienen in: Advances in Cryptology – EUROCRYPT 2017
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
Memory-hard functions (MHFs) are hash algorithms whose evaluation cost is dominated by memory cost. As memory, unlike computation, costs about the same across different platforms, MHFs cannot be evaluated at significantly lower cost on dedicated hardware like ASICs. MHFs have found widespread applications including password hashing, key derivation, and proofs-of-work.
This paper focuses on \(\mathtt{scrypt} \), a simple candidate MHF designed by Percival, and described in RFC 7914. It has been used within a number of cryptocurrencies (e.g., Litecoin and Dogecoin) and has been an inspiration for Argon2d, one of the winners of the recent password-hashing competition. Despite its popularity, no rigorous lower bounds on its memory complexity are known.
We prove that \(\mathtt{scrypt} \) is optimally memory-hard, i.e., its cumulative memory complexity (cmc) in the parallel random oracle model is \(\varOmega (n^2 w)\), where w and n are the output length and number of invocations of the underlying hash function, respectively. High cmc is a strong security target for MHFs introduced by Alwen and Serbinenko (STOC ’15) which implies high memory cost even for adversaries who can amortize the cost over many evaluations and evaluate the underlying hash functions many times in parallel. Our proof is the first showing optimal memory-hardness for any MHF.
Our result improves both quantitatively and qualitatively upon the recent work by Alwen et al. (EUROCRYPT ’16) who proved a weaker lower bound of \(\varOmega (n^2 w /\log ^2 n)\) for a restricted class of adversaries.