Collision Resistance from Multi-collision Resistance

IF 2.2 3区 计算机科学 Q2 COMPUTER SCIENCE, THEORY & METHODS Journal of Cryptology Pub Date : 2024-03-06 DOI:10.1007/s00145-024-09495-5
{"title":"Collision Resistance from Multi-collision Resistance","authors":"","doi":"10.1007/s00145-024-09495-5","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>Collision-resistant hash functions (<span> <span>\\(\\textsf{CRH}\\)</span> </span>) are a fundamental and ubiquitous cryptographic primitive. Several recent works have studied a relaxation of <span> <span>\\(\\textsf{CRH}\\)</span> </span> called <em>t</em><em>-way multi-collision-resistant hash functions</em> (<span> <span>\\(t\\text {-}\\textsf{MCRH}\\)</span> </span>). These are families of functions for which it is computationally hard to find a <em>t</em>-way collision, even though such collisions are abundant (and even <span> <span>\\((t-1)\\)</span> </span>-way collisions may be easy to find). The case of <span> <span>\\(t=2\\)</span> </span> corresponds to standard <span> <span>\\(\\textsf{CRH}\\)</span> </span>, but it is natural to study <em>t</em>-<span> <span>\\(\\textsf{MCRH}\\)</span> </span> for larger values of <em>t</em>. Multi-collision resistance seems to be a qualitatively weaker property than standard collision resistance. Nevertheless, in this work we show a <em>non-blackbox</em> transformation of any moderately shrinking <em>t</em>-<span> <span>\\(\\textsf{MCRH}\\)</span> </span>, for <span> <span>\\(t \\in \\{3,4\\}\\)</span> </span>, into an (infinitely often secure) <span> <span>\\(\\textsf{CRH}\\)</span> </span>. This transformation is non-constructive—we can prove the existence of a <span> <span>\\(\\textsf{CRH}\\)</span> </span> but cannot explicitly point out a construction. Our result partially extends to larger values of <em>t</em>. In particular, we show that for suitable values of <span> <span>\\(t&gt;t'\\)</span> </span>, we can transform a <em>t</em>-<span> <span>\\(\\textsf{MCRH}\\)</span> </span> into a <span> <span>\\(t'\\)</span> </span>-<span> <span>\\(\\textsf{MCRH}\\)</span> </span>, at the cost of reducing the shrinkage of the resulting hash function family and settling for infinitely often security. This result utilizes the list-decodability properties of Reed–Solomon codes.</p>","PeriodicalId":54849,"journal":{"name":"Journal of Cryptology","volume":"11 1","pages":""},"PeriodicalIF":2.2000,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Cryptology","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1007/s00145-024-09495-5","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0

Abstract

Collision-resistant hash functions ( \(\textsf{CRH}\) ) are a fundamental and ubiquitous cryptographic primitive. Several recent works have studied a relaxation of \(\textsf{CRH}\) called t-way multi-collision-resistant hash functions ( \(t\text {-}\textsf{MCRH}\) ). These are families of functions for which it is computationally hard to find a t-way collision, even though such collisions are abundant (and even \((t-1)\) -way collisions may be easy to find). The case of \(t=2\) corresponds to standard \(\textsf{CRH}\) , but it is natural to study t- \(\textsf{MCRH}\) for larger values of t. Multi-collision resistance seems to be a qualitatively weaker property than standard collision resistance. Nevertheless, in this work we show a non-blackbox transformation of any moderately shrinking t- \(\textsf{MCRH}\) , for \(t \in \{3,4\}\) , into an (infinitely often secure) \(\textsf{CRH}\) . This transformation is non-constructive—we can prove the existence of a \(\textsf{CRH}\) but cannot explicitly point out a construction. Our result partially extends to larger values of t. In particular, we show that for suitable values of \(t>t'\) , we can transform a t- \(\textsf{MCRH}\) into a \(t'\) - \(\textsf{MCRH}\) , at the cost of reducing the shrinkage of the resulting hash function family and settling for infinitely often security. This result utilizes the list-decodability properties of Reed–Solomon codes.

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
从多重防撞功能到防撞功能
摘要 抗碰撞哈希函数(Collision-resistant hash functions)是一种基本的、无处不在的密码原语。最近的一些著作研究了 \(\textsf{CRH}\) 的一种松弛,称为 t-way 多重抗碰撞哈希函数( \(t\text {-}\textsf{MCRH}\) )。这些函数族在计算上很难找到 t 路碰撞,尽管这种碰撞非常多(甚至 \((t-1)\)-向碰撞也很容易找到)。t=2)的情况对应于标准的(textsf{CRH}),但对于更大的t值,研究t-(textsf{MCRH})是很自然的。尽管如此,在这项工作中,我们展示了对于 \(t \in \{3,4\}\),任何适度收缩的 t- \(\textsf{MCRH}\)的非黑箱变换,并将其转化为(无限次安全的) \(\textsf{CRH}\)。这种转换是非构造性的--我们可以证明一个\(\textsf{CRH}\)的存在,但不能明确指出一个构造。我们的结果部分扩展到了更大的 t 值。特别是,我们证明了对于合适的 \(t>t'\)值,我们可以将一个 t- \(\textsf{MCRH}\)转换成一个 \(t'\) - \(\textsf{MCRH}\),代价是减少由此产生的哈希函数族的收缩率,并满足无限频繁的安全性。这一结果利用了里德-所罗门码的列表可解码特性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
Journal of Cryptology
Journal of Cryptology 工程技术-工程:电子与电气
CiteScore
7.10
自引率
3.30%
发文量
24
审稿时长
18 months
期刊介绍: The Journal of Cryptology is a forum for original results in all areas of modern information security. Both cryptography and cryptanalysis are covered, including information theoretic and complexity theoretic perspectives as well as implementation, application, and standards issues. Coverage includes such topics as public key and conventional algorithms and their implementations, cryptanalytic attacks, pseudo-random sequences, computational number theory, cryptographic protocols, untraceability, privacy, authentication, key management and quantum cryptography. In addition to full-length technical, survey, and historical articles, the journal publishes short notes.
期刊最新文献
Randomness Recoverable Secret Sharing Schemes Memory-Efficient Attacks on Small LWE Keys Finding Collisions in a Quantum World: Quantum Black-Box Separation of Collision-Resistance and One-Wayness Symmetric and Dual PRFs from Standard Assumptions: A Generic Validation of a Prevailing Assumption The Price of Active Security in Cryptographic Protocols
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1