Post-Quantum κ-to-1 Trapdoor Claw-free Functions from Extrapolated Dihedral Cosets

11/30/2022
by   Xingyu Yan, et al.
0

Noisy Trapdoor Claw-free functions (NTCF) as powerful post-quantum cryptographic tools can efficiently constrain actions of untrusted quantum devices. Recently, Brakerski et al. at FOCS 2018 showed a remarkable use of NTCF for a classically verifiable proof of quantumness and also derived a protocol for cryptographically certifiable quantum randomness generation. However, the original NTCF used in their work is essentially 2-to-1 one-way function, namely NTCF^1_2, which greatly limits the rate of randomness generation. In this work, we attempt to further extend the NTCF^1_2 to achieve a κ-to-1 function with poly-bounded preimage size. Specifically, we focus on a significant extrapolation of NTCF^1_2 by drawing on extrapolated dihedral cosets, giving a model of NTCF^1_κ with κ = poly(n). Then, we present an efficient construction of NTCF^1_κ under the well-known quantum hardness of the Learning with Errors (QLWE) assumption. As a byproduct, our work manifests an interesting connection between the NTCF^1_2 (resp. NTCF^1_κ) and the Dihedral Coset States (resp. Extrapolated Dihedral Coset States). Finally, we give a similar interactive protocol for proving quantumness from the NTCF^1_κ.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/24/2022

Efficient Certifiable Randomness from a Single Quantum Device

Brakerski et. al [BCM+18] introduced the model of cryptographic testing ...
research
04/01/2021

Classically-Verifiable Quantum Advantage from a Computational Bell Test

We propose and analyze a novel interactive protocol for demonstrating qu...
research
04/02/2018

Certifiable Randomness from a Single Quantum Device

We give a protocol for producing certifiable randomness from a single un...
research
02/08/2023

Quantum free games

The complexity of free games with two or more classical players was esse...
research
12/02/2019

Classical Verification of Quantum Computations with Efficient Verifier

In this paper, we extend the protocol of classical verification of quant...
research
10/18/2022

Lattice-Based Quantum Advantage from Rotated Measurements

Trapdoor claw-free functions (TCFs) are immensely valuable in cryptograp...
research
10/23/2017

Learning With Errors and Extrapolated Dihedral Cosets

The hardness of the learning with errors (LWE) problem is one of the mos...

Please sign up or login with your details

Forgot password? Click here to reset