English
Related papers

Related papers: Time-Delayed Publicly Verifiable Quantum Computati…

200 papers

Recently, there are more and more organizations offering quantum-cloud services, where any client can access a quantum computer remotely through the internet. In the near future, these cloud servers may claim to offer quantum computing…

Quantum Physics · Physics 2021-05-20 Xi Chen , Bin Cheng , Zhaokai Li , Xinfang Nie , Nengkun Yu , Man-Hong Yung , Xinhua Peng

Verification of quantum computation is a task to efficiently check whether an output given from a quantum computer is correct. Existing verification protocols conducted between a quantum computer to be verified and a verifier necessitate…

Quantum Physics · Physics 2024-04-01 Yuki Takeuchi , Akihiro Mizutani

Fully-homomorphic encryption (FHE) enables computation on encrypted data while maintaining secrecy. Recent research has shown that such schemes exist even for quantum computation. Given the numerous applications of classical FHE…

Quantum Physics · Physics 2018-02-27 Gorjan Alagic , Yfke Dulek , Christian Schaffner , Florian Speelman

In recent years, many computational tasks have been proposed as candidates for showing a quantum computational advantage, that is an advantage in the time needed to perform the task using a quantum instead of a classical machine.…

Quantum Physics · Physics 2021-02-12 Federico Centrone , Niraj Kumar , Eleni Diamanti , Iordanis Kerenidis

The problem of obtaining secret commitments from multiple parties and revealing them after a certain time is useful for sealed-bid auctions, games, and other applications. Existing solutions, dating back to Rivest, Shamir and Wagner, either…

Cryptography and Security · Computer Science 2020-05-19 Yael Doweck , Ittay Eyal

In this work we present a publicly verifiable quantum money protocol which assumes close to no quantum computational capabilities. We rely on one-time memories which in turn can be built from quantum conjugate coding and hardware-based…

Quantum Physics · Physics 2026-03-16 Fabrizio Genovese , Lev Stambler

A Verifiable Delay Function (VDF) is a function that takes a specified sequential time to be evaluated, but can be efficiently verified. VDFs are useful in several applications ranging from randomness beacons to sustainable blockchains but…

Cryptography and Security · Computer Science 2023-12-27 Souvik Sur

Multi-Party Quantum Computation (MPQC) has attracted a lot of attention as a potential killer-app for quantum networks through it's ability to preserve privacy and integrity of the highly valuable computations they would enable.…

Quantum Physics · Physics 2023-04-18 Theodoros Kapourniotis , Elham Kashefi , Luka Music , Harold Ollivier

We give a protocol for the delegation of quantum computation on encrypted data. More specifically, we show that in a client-server scenario, where the client holds the encryption key for an encrypted quantum register held by the server, it…

Quantum Physics · Physics 2015-09-15 Anne Broadbent

Variational quantum algorithms (VQAs) have emerged as promising candidates for solving complex optimization and machine learning tasks on near-term quantum hardware. However, executing quantum operations remains challenging for small-scale…

Quantum Physics · Physics 2025-07-03 Matteo Inajetovic , Petros Wallden , Anna Pappa

In the era of Web3, decentralized technologies have emerged as the cornerstone of a new digital paradigm. Backed by a decentralized blockchain architecture, the Web3 space aims to democratize all aspects of the web. From data-sharing to…

Computer Science and Game Theory · Computer Science 2025-07-03 Tiantian Gong , Aniket Kate , Alexandros Psomas , Athina Terzoglou

In the classical setting, public-key encryption requires randomness in order to be secure against a forward search attack, whereby an adversary compares the encryption of a guess of the secret message with that of the actual secret message.…

Quantum Physics · Physics 2009-05-05 Georgios M. Nikolopoulos , Lawrence M. Ioannou

Quantum computing has seen tremendous progress in the past years. However, due to limitations in scalability of quantum technologies, it seems that we are far from constructing universal quantum computers for everyday users. A more feasible…

Quantum Physics · Physics 2017-08-17 Elham Kashefi , Anna Pappa

The question of whether a fully classical client can delegate a quantum computation to an untrusted quantum server while fully maintaining privacy (blindness) is one of the big open questions in quantum cryptography. Both yes and no answers…

Quantum Physics · Physics 2016-04-07 Vedran Dunjko , Elham Kashefi

A long-standing question is whether it is possible to delegate computational tasks securely. Recently, both a classical and a quantum solution to this problem were found. Here, we study the interplay of classical and quantum approaches and…

Quantum computers are expected to offer substantial speedups over their classical counterparts and to solve problems that are intractable for classical computers. Beyond such practical significance, the concept of quantum computation opens…

Quantum Physics · Physics 2014-11-13 Stefanie Barz , Joseph F. Fitzsimons , Elham Kashefi , Philip Walther

While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum…

Quantum Physics · Physics 2014-03-10 Theodoros Kapourniotis , Elham Kashefi , Animesh Datta

With the advent of quantum cloud computing, the security of delegated quantum computation has become of utmost importance. While multiple statistically secure blind verification schemes in the prepare-and-send model have been proposed, none…

Quantum Physics · Physics 2026-04-16 Theodoros Kapourniotis , Dominik Leichtle , Luka Music , Harold Ollivier

We consider a new model for the testing of untrusted quantum devices, consisting of a single polynomial-time bounded quantum device interacting with a classical polynomial-time verifier. In this model we propose solutions to two tasks - a…

Quantum Physics · Physics 2021-05-06 Zvika Brakerski , Paul Christiano , Urmila Mahadev , Umesh Vazirani , Thomas Vidick

We introduce a protocol between a classical polynomial-time verifier and a quantum polynomial-time prover that allows the verifier to securely delegate to the prover the preparation of certain single-qubit quantum states. The protocol…

Quantum Physics · Physics 2019-04-15 Alexandru Gheorghiu , Thomas Vidick