<p>We instantiate the hash-then-evaluate paradigm for pseudorandom functions (PRFs), <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="211" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{PRF}(k,x):=\textsf{wPRF}(k,\textsf{RO}(x))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">PRF</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo>,</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>:</mo> <mo>=</mo> <mi mathvariant="sans-serif">wPRF</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo>,</mo> <mi mathvariant="sans-serif">RO</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, which builds a PRF <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{PRF}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">PRF</mi> </math></EquationSource> </InlineEquation> from a weak PRF <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{wPRF}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">wPRF</mi> </math></EquationSource> </InlineEquation> via a <i>public</i> pre-processing random oracle <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{RO}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">RO</mi> </math></EquationSource> </InlineEquation>. In applications to secure multiparty computation (MPC), only the low-complexity <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{wPRF}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">wPRF</mi> </math></EquationSource> </InlineEquation> performs secret-depending operations. Our construction replaces <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{RO}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">RO</mi> </math></EquationSource> </InlineEquation> by <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(k_\textsf{H},\textsf{elf}(x))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <msub> <mi>k</mi> <mi mathvariant="sans-serif">H</mi> </msub> <mo>,</mo> <mi mathvariant="sans-serif">elf</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>f</i> is a non-adaptive PRF and the key <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(k_\textsf{H}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>k</mi> <mi mathvariant="sans-serif">H</mi> </msub> </math></EquationSource> </InlineEquation> is <i>public</i> and thus known to the distinguishing adversary. We show that, perhaps surprisingly, several existing weak PRF candidates are plausibly also secure when their inputs are generated by <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(k_\textsf{H},\textsf{elf}(.))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <msub> <mi>k</mi> <mi mathvariant="sans-serif">H</mi> </msub> <mo>,</mo> <mi mathvariant="sans-serif">elf</mi> <mrow> <mo stretchy="false">(</mo> <mo>.</mo> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Firstly, analogous cryptanalysis applies (because pseudorandomness of <i>f</i> implies good statistical properties) and/or secondly an attack against the weak PRF with such pseudorandom inputs generated by <i>f</i> would imply surprising results such as key agreement from the hardness of the high-noise version of the Learning Parity with Noise (LPN) when implementing both <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{wPRF}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">wPRF</mi> </math></EquationSource> </InlineEquation> and <i>f</i> from this assumption. Our simple transformation of replacing <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{RO}(\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">RO</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> public pre-processing by <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12095_2025_825_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(k_\textsf{H},\textsf{elf}(x))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <msub> <mi>k</mi> <mi mathvariant="sans-serif">H</mi> </msub> <mo>,</mo> <mi mathvariant="sans-serif">elf</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> public pre-processing applies to the entire family of PRF-style functions. Specifically, we obtain results for oblivious PRFs, which are a core building block for password-based authenticated key exchange (PAKE) and private set intersection (PSI) protocols, and we also obtain results for pseudorandom correlation functions (PCF), which are a key tool for silent oblivious transfer (OT) extension.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Instantiating the Hash-then-evaluate paradigm: Strengthening PRFs, PCFs, and OPRFs

  • Chris Brzuska,
  • Geoffroy Couteau,
  • Christoph Egger,
  • Pihla Karanko,
  • Pierre Meyer

摘要

We instantiate the hash-then-evaluate paradigm for pseudorandom functions (PRFs), \(\textsf{PRF}(k,x):=\textsf{wPRF}(k,\textsf{RO}(x))\) PRF ( k , x ) : = wPRF ( k , RO ( x ) ) , which builds a PRF \(\textsf{PRF}\) PRF from a weak PRF \(\textsf{wPRF}\) wPRF via a public pre-processing random oracle \(\textsf{RO}\) RO . In applications to secure multiparty computation (MPC), only the low-complexity \(\textsf{wPRF}\) wPRF performs secret-depending operations. Our construction replaces \(\textsf{RO}\) RO by \(f(k_\textsf{H},\textsf{elf}(x))\) f ( k H , elf ( x ) ) , where f is a non-adaptive PRF and the key \(k_\textsf{H}\) k H is public and thus known to the distinguishing adversary. We show that, perhaps surprisingly, several existing weak PRF candidates are plausibly also secure when their inputs are generated by \(f(k_\textsf{H},\textsf{elf}(.))\) f ( k H , elf ( . ) ) . Firstly, analogous cryptanalysis applies (because pseudorandomness of f implies good statistical properties) and/or secondly an attack against the weak PRF with such pseudorandom inputs generated by f would imply surprising results such as key agreement from the hardness of the high-noise version of the Learning Parity with Noise (LPN) when implementing both \(\textsf{wPRF}\) wPRF and f from this assumption. Our simple transformation of replacing \(\textsf{RO}(\cdot )\) RO ( · ) public pre-processing by \(f(k_\textsf{H},\textsf{elf}(x))\) f ( k H , elf ( x ) ) public pre-processing applies to the entire family of PRF-style functions. Specifically, we obtain results for oblivious PRFs, which are a core building block for password-based authenticated key exchange (PAKE) and private set intersection (PSI) protocols, and we also obtain results for pseudorandom correlation functions (PCF), which are a key tool for silent oblivious transfer (OT) extension.