[Resource Topic] 2022/1775: Candidate Trapdoor Claw-Free Functions from Group Actions with Applications to Quantum Protocols

Welcome to the resource topic for 2022/1775

Title:
Candidate Trapdoor Claw-Free Functions from Group Actions with Applications to Quantum Protocols

Authors: Navid Alamati, Giulio Malavolta, Ahmadreza Rahimi

Abstract:

Trapdoor Claw-free Functions (TCFs) are two-to-one trapdoor functions where it is computationally hard to find a claw, i.e., a colliding pair of inputs. TCFs have recently seen a surge of renewed interest due to new applications to quantum cryptography: as an example, TCFs enable a classical machine to verify that some quantum computation has been performed correctly. In this work, we propose a new family of (almost two-to-one) TCFs based on conjectured hard problems on isogeny-based group actions. This is the first candidate construction that is not based on lattice-related problems and the first scheme (from any plausible post-quantum assumption) with a deterministic evaluation algorithm. To demonstrate the usefulness of our construction, we show that our TCF family can be used to devise a computational test of qubit, which is the basic building block used in the general verification of quantum computations.

ePrint: https://eprint.iacr.org/2022/1775

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 .