Abstract
Onetime programs, computer programs which selfdestruct after being run only once, are a powerful building block in cryptography and would allow for new forms of secure software distribution. However, ideal onetime programs have been proved to be unachievable using either classical or quantum resources. Here we relax the definition of onetime programs to allow some probability of error in the output and show that quantum mechanics offers security advantages over purely classical resources. We introduce a scheme for encoding probabilistic onetime programs as quantum states with prescribed measurement settings, explore their security, and experimentally demonstrate various onetime programs using measurements on singlephoton states. These include classical logic gates, a program to solve Yao’s millionaires problem, and a onetime delegation of a digital signature. By combining quantum and classical technology, we demonstrate that quantum techniques can enhance computing capabilities even before fullscale quantum computers are available.
Similar content being viewed by others
Introduction
With the continuous march of technological advancement, computer processors have become ubiquitous, impacting almost every aspect of our daily lives. Whether being used to compose email or acting as control systems for industrial applications, these devices rely on specially written software to ensure their correct operation. In many cases it would be desirable to prevent a program from being duplicated or to control the number of times a program could be executed, for example, to prevent reverseengineering or to ensure compliance with licensing restrictions. Unfortunately, the very nature of classical information ensures that software can in principle always be copied and rerun, enabling various misuses.
As a solution to this and other problems, the concept of onetime programs was introduced^{1}. Onetime programs are a computational paradigm that allows for functions that can be executed one time and one time only. Thus, if a software vendor encodes a function f as a onetime program, a user having only one copy of that program can obtain only one input–output pair (x, f(x)) before the program becomes inoperable. In the classical world, this is only possible through the use of onetime hardware or onetime memories^{1}, specialpurpose hardware that gets physically destroyed after being used once. However, it is unclear whether such hardware can be realised in an absolutely secure way. An adversary may attack the specific implementation, seeking to circumvent or reverse whatever physical process is used to disable the device after a single use.
Certain features of quantum mechanics, such as the nocloning theorem^{2,3} and the irreversibility of measurements^{4}, suggest that it may enable a solution to this problem. It was recently shown, however, that deterministic onetime programs are impossible even in the quantum regime^{5}. As a result, it is believed that neither classical nor quantum information theoretically secure onetime programs are possible^{1,5,6,7,8,9} without further assumptions^{10,11,12,13,14}.
Here, we demonstrate theoretically and experimentally that quantum mechanics does enable a form of probabilistic onetime program which shows an advantage over any possible classical counterpart. These rely on quantum information processing to execute, but encode entirely classical computation. Such probabilistic onetime programs circumvent existing nogo results by allowing a (bounded) probability of error in the output of the computation. We show that these quantum onetime programs offer a tradeoff between accuracy and number of lines of the truth table read, which is not possible in the classical case. Remarkably, the experimental requirements to encode the probabilistic onetime programs we introduce are comparable to those of many quantum key distribution implementations, allowing for technological advances in that field to be harnessed for a new application.
Results
Construction of the onetime programs
We consider onetime programs (OTPs) in the context of a twoparty setting, where Alice is the software provider and Bob is the user. Alice’s program is represented by a secret function f, which she encodes as a separable state of some number of qubits, which scales linearly in the number of elementary logic gates required to implement f, and provides these to Bob. Bob can then evaluate f on some input of his choice x by sequentially measuring each qubit received from Alice. These measurements are a fundamentally irreversible process, which is necessary for Bob to evaluate f(x) while at the same time preventing him from learning f(x′) for some input x′ ≠ x. An outline of our approach is presented in Fig. 1.
In analogy to the compiling of standard classical programs, the logic of f is mapped onto a logic circuit using basic logic synthesis^{15}. It is necessary that the circuits have a certain standard form, such that the information to be hidden is encoded in the precise choice of logic gates and not on the connections between gates. This is because our approach is to encode the truth table for individual gates as a onetime program in its own right, which we will call gate onetime programs (gateOTPs). The interconnection of gates is left public, allowing Bob to propagate information from one gate to the next. Each logic gate is a Boolean function, taking k input bits and returning a single output bit. We will denote the set of kinput gates as \({\cal G}_k\). For k ≥ 2, it is possible to implement an arbitrary Boolean function on n input bits with gates chosen only from \({\cal G}_k\) together with the fanout operation^{16} that defines the number of output bits. It is however possible to build up arbitrary \({\cal G}_k\) gates from a fixed configuration, with some choice of gates from \({\cal G}_1\). Such a construction of an arbitrary \({\cal G}_2\) gate is shown in Fig. 2e.
Probabilistic versions of the four gates comprising \({\cal G}_1\) can be encoded using a single qubit, as shown in Fig. 2a–d, such that the measurement operators corresponding to different inputs anticommute. This is achieved by first fixing the measurement bases corresponding to inputs of 0 and 1 respectively (Fig. 2b), and then finding the states to encode each gate such that it maximises the average probability of obtaining the correct outcome across both possible inputs (Fig. 2c). The measurement bases are chosen to be unbiased and correspond to anticommuting observables, σ_{Z} for input 0 and σ_{X} for input 1, to ensure that in learning about the value of one observable Bob must forego information on the other. Once the measurement bases are fixed, the states can be found which yield the correct output with a maximal probability of \(\frac{1}{2} + \frac{1}{{2\sqrt 2 }}\) or approximately 85.36%. This encoding relates to conjugate encoding introduced by Wiesner^{17} and is equivalent to the quantum random access codes considered in ref. ^{18}, which were motivated by ideas of compression rather than security. However, the concepts of onetime programs and random access codes diverge when we consider hiding gates from \({\cal G}_k\) for k > 1 later on.
With a method for implementing \({\cal G}_1\) now in place, we can proceed to construct a universal set of gates, for example \({\cal G}_2\), while preventing Bob from learning the full truth table. As alluded to previously, one way to achieve this is to insert hidden \({\cal G}_1\) gates into a fixed circuit, as shown in Fig. 2. The exact choices required for each of the hidden gates to achieve a specific \({\cal G}_2\) gate is described in the Supplementary Tables 1 and 2. The overall success probability for gates constructed in this way is 75%. However, such an approach yields a rather complicated construction for gates in \({\cal G}_k\) for k > 2 and introduces complications in the security analysis. A more appealing approach is to directly implement probabilistic onetime programs for gates in \({\cal G}_k\). This can be done by generalising the construction used in the k = 1 case. Specifically, each possible input is assigned a unique observable from a set of anticommuting multiqubit Pauli operators {σ_{i}}, where a + 1 measurement outcome is taken to correspond to a gate output of 0 and a − 1 outcome is taken to correspond to an output of 1. As before, the states encoding each gate G are chosen to maximise the average probability that the outcome of measuring the observable corresponding to input x results in output G(x). Unlike the case for \({\cal G}_1\), there is an entire subspace of states satisfying this constraint for a given G. Our approach is to encode G as the maximum entropy state maximising success probability,
This coincides with the definition of a particular type of random access code, known as a parity oblivious random access code, explored in ref. ^{19} for other purposes. The success probability for any input i is then given by \(\frac{1}{2}\left( {1 + (  1)^{G(i)}{\mathrm{tr}}(\rho _G\sigma _i)} \right)\) which simplifies to \(\frac{1}{2}\left( {1 + 2^{  \frac{k}{2}}} \right)\). Remarkably, this results in each ρ_{G} being the maximally mixed state of a 2^{k−1}dimensional subspace, so that the von Neumann entropy is k − 1 bits.
The implementation of \({\cal G}_k\) gates requires 2^{k} anticommuting operators and 2^{k−1} qubits. However, there is an alternative implementation that uses 2^{k} − 1 qubits whose Pauli operators are restricted to being tensor products of the identity, σ_{X} and σ_{Z}. While there is no fundamental reason to require such a restriction, it can reduce the hardware requirements necessary to implement the scheme, as seen in the experimental section. An explicit construction in terms of separable states for the case where k = 2 is given in the the Methods section and Supplementary Tables 1 and 2, both with and without this restriction. These encodings form the basis for the experimental implementations with linearly and elliptically polarised photons respectively.
Experimental implementation
To demonstrate the viability of the presented scheme, we show a proofofprinciple implementation based on polarisation encoded photonic qubits (Fig. 3a; see Methods for details).
We realised two equivalent schemes: we refer to the first one as the linear scheme because it can be implemented using only linearly polarised photons. This version requires fewer technological resources: Alice and Bob each need just one liquid crystal retarder (LCR). These LCRs rotate the polarisation of each photon by an angle depending on the applied voltage and are therefore used to actively switch from one polarisation setting (corresponding to a gate or a measurement basis) to the next. However, in this encoding three photons per \({\cal G}_2\) gate are required. Our elliptical scheme uses elliptically polarised states and requires two LCRs per party. The advantage of this scheme is that it only requires two photons per \({\cal G}_2\) gate, reducing the length of the program by a third.
For both versions we tested all 16 gates comprising \({\cal G}_2\) for all four possible inputs (00, 01, 10, 11). The average success probability of each gate is shown in Fig. 3b, and the results are in good agreement with the expected value of 0.75. We characterised all singlephoton states using quantum state tomography^{20} where a fidelity, F ≥ 0.991 ± 0.008 could be achieved for all states (see Supplementary Table 3 for details).
Demonstrated programs
To demonstrate the applicability of our scheme we have experimentally implemented two different classes of onetime programs.
The first class we consider is a program built from a combination of \({\cal G}_2\) gates which are universal for classical computation. We use it to solve Yao’s millionaires problem^{14}, in which two people wish to compare their wealth without disclosing this value to the other party. To accomplish this goal, Alice encodes her wealth into the program. Bob’s wealth will be his input (see Supplementary Figure 1). The program returns a single bit, indicating which number is larger. We ran the millionaires problem using both the linear and the elliptical schemes on several inputs. Alice encoded a fourbit number and Bob compared it to numbers that each differed in one bit from Alice’s input. The detailed results are shown in Fig. 4. In good agreement with our theoretical expectations, it can be seen that the probability of success rises with the significance of the bit in which the two numbers differ (i.e., it is easier to discriminate two numbers that differ in the most significant bit than two that differ in the least significant bit).
The second kind of program we consider concerns the delegation of digital signatures or onetime power of attorney. Here Alice can enable Bob to sign one, and only one, message of his choice with a signature derived from her private key. However, due to the probabilistic nature of the described OTPs, there is a nonnegligible probability that OTPs will not output the correct signature. To compensate for this we may repeat the procedure and define some threshold number of signatures which is announced publicly to be an acceptable number required to verify a given message has been signed. Alice produces many distinct OTPs each using a different private key such that Bob has a high probability of forming the required number of signatures for a single message.
Standard signature schemes use a public key for verification and are widely used within cryptographic protocols to guarantee authentication, nonrepudiation and integrity^{21,22,23,24}. However, due to technical reasons limiting our gate rate in experiment, we restrict our demonstration to a symmetric digital signature scheme, wherein Alice’s private key is used to verify a signature. Such a program may be utilised for a third party to spend an amount of money on someone else’s behalf, so that they should pay anyone with a signed receipt. An overview of this scheme is shown in Fig. 5a. Bob computes a hash of the message he wishes to sign and uses this as the input to the OTPs (using a hash ensures that the input length does not depend on the length of the actual message signed). The output of the OTPs will then be the digital signature which Alice may verify. For each bit of this hash Alice provides e.g. 300 \({\cal G}_1\) gates, from which Bob produces a bit string dependent on the result of measuring according to that bit. Such a bit string may be compared by Alice to the ideal case where all gates have been implemented on the corresponding hash bit. We require that each bit string matches such an ideal string in at least τ positions to produce a valid signature. The threshold τ is chosen as a function of the bit string length T to maximise the difference between the probabilities of success of the honest and dishonest strategies, where in a dishonest strategy Bob would attempt to sign two hashes differing only by a single bit. This is illustrated in Fig. 5b and in Supplementary Figure 2. As T is increased, the probability of an honest Bob forming a sufficient fraction of correct bits (≥τ/T) in each bit string approaches 1, while that of a dishonest user who would try to form multiple signatures approaches 0. This demonstrates a clear example of a case where even probabilistic onetime programs enable new functionality that is inexecutable using classical technology.
Security analysis
We will now discuss the security of our protocol and show a strict advantage over any possible classical strategy. We note that the security relies on several measures affecting different steps of our protocol. Starting with the logical synthesis we see that when gateOTPs are combined into circuits, there is some freedom over how the gates are chosen. In our proofofprinciple demonstration of Yao’s millionaires problem we limit the information accessible to Bob by randomly inserting pairs of NOT gates into the circuit immediately after each gateOTP with probability onehalf. The first NOT gate is absorbed backwards into the gateOTP, altering the encoded gate. The second NOT of the pair is propagated forward, through any present fanout and XOR gates, and absorbed into the next layer of gateOTPs, altering the function they encode. Such a procedure can always be applied to any circuit composed of gateOTPs along with XOR, NOT and fanout operations.
To analyse the effect of this randomisation procedure, we will assume it is applied after every gateOTP. In such a case, the joint state of the quantum systems used to encode the gateOTPs is maximally mixed, and hence independent of the encoded function. For those gateOTPs which produce the output of the program the second NOT gate cannot be absorbed into a subsequent gateOTP. We will simply eliminate this second NOT gate, effectively applying a onetime pad to the program’s output and creating the maximally mixed state from the perspective of the receiver. Such a scheme thus negates all losses in the system as the maximally mixed state does not allow a dishonest user to extract any information regarding the intended gateOTP. Since the output of the program can be revealed by decoding the onetime pad, the accessible information for the entire system can be no greater than the size of this encryption key, and hence can be no greater than the number of output bits for the program. This is in line with the requirement that a onetime program should reveal no more information than can be obtained from a single run of the program.
We now consider the security of the individual gateOTPs corresponding to gates in \({\cal G}_1\). We show that strictly less can be learned from a single copy of them than from a single query to the encoded function (i.e., an ideal onetime implementation of that function). For all gates \(G \in {\cal G}_1\), the corresponding state ρ_{G} is pure, and so we will denote the state vector as ψ_{G}〉. Figure 6 shows how a single query of the encoded function can be used to produce two copies of this state. The fact that states encoding different programs are nonorthogonal, coupled with the nocloning theorem^{2,3}, implies it is not possible to produce two copies of ψ_{G}〉 from a single copy, and hence strictly less can be learned about G from a single copy of ψ_{G}〉 than from a single (coherent) query to the function it encodes.
We conclude our analysis by discussing the security of \({\cal G}_1\) and \({\cal G}_2\) gates. We show that the gateOTPs we have explored here have strict advantages over any purely classical computational procedure. First, we choose an appropriate figure of merit for which to compare quantum and classical noisy OTPs. An ideal OTP would allow for one, and only one, evaluation of the encoded function, resulting in exactly one input–output pair. We will therefore choose the average probability of evaluating a specific input–output pair correctly, P_{1}, compared to the average probability of correctness when evaluating all input–output pairs \(\tilde P_1\). In the classical case, information can always be copied. Therefore, a classical procedure producing one input–output pair with some fixed probability of success can be repeated arbitrarily many times to produce a noisy version of the encoded gate. The probability of getting a specific input–output pair is equal to the average probability across all input–output pairs, thus \(P_1^C = \tilde P_1^C\). However, for \({\cal G}_k\) OTPs this is not the case. If we fix the single line probability of success such that \(P_1^C = P_1^Q\), we find that for \({\cal G}_1\) gates \(\tilde P_1^Q = 0.75\) while \(\tilde P_1^C \approx 0.8536\). Similarly, for \({\cal G}_2\) we find that \(\tilde P_1^Q = 0.625\) while \(\tilde P_1^C = 0.75\). This shows that our encoding gives an advantage over the best possible classical scheme for an equivalent P_{1}. Details of these calculations can be found in Supplementary Note 2, where it is also shown that success probability can be boosted via error correction while still maintaining an advantage. Furthermore, in the case of \({\cal G}_1\) gates, we may state that the probability of an adversary finding the parity of two lines, which gives an upper bound on the probability of guessing the complete truth table, is strictly lower than in any possible classical encoding (for details see Supplementary Note 1). This includes noisy implementations of oblivious transfer^{25,26} as our \({\cal G}_1\) gates are equivalent to noisy \(\left( {\begin{array}{*{20}{c}} 1 \\ 2 \end{array}} \right)\)oblivious transfer. Remarkably, even though oblivious transfer with a vanishing error probability is known to be impossible^{26,27} with our digital signature scheme, we were able to present an implementation whose overall success probability can approach 1.
Aside from the inherent security of an ideal implementation of gateOTPs, additional measures are necessary in the presence of communication over lossy channels. It is not in general advisable for Alice to simply resend qubits that are not received by Bob, since he can simply claim to have lost a photon to receive a new copy and hence gain additional information about the encoded gateOTP. This may be prevented via a simple subroutine: for each gate several copies of each state are produced, but each with a randomly chosen additional onetime pad (i.e., a bit flip on the output of all possible inputs). These states are thus in the maximally mixed state as observed from the client and provide no information. Alice will reveal only the onetime pad for the state that Bob confirms to have received and that she wants him to use. Bob will then keep or flip his measurement result, according to Alice’s onetime pad and proceed with the next gate following the same procedure. This subroutine has been used in each of the demonstrated programs. We note that this procedure does necessitate additional interaction between the parties to enable a losstolerant implementation of the scheme. Theoretically, the program may be executed at a later point if a nondemolition measurement was utilised to compensate for loss, and quantum memories were employed to maintain the received states. In our implementation, however, it was sufficient to measure the photons at arrival and thus the program was executed directly upon receipt.
Discussion
Here we have shown the implementation of probabilistic onetime programs in theory and experiment. Our results demonstrate that quantum physics allows for better security tradeoffs for certain secure computing tasks than are possible in the classical world, even when perfect security cannot be achieved. This is realised without assumptions on computational hardness, noisy storage or difficulty of entanglement. Using readily available technology we find our results are in good agreement with the theoretical predictions. Future advances in technology that would allow for nonseparable measurements on the client’s side could be used to further improve our implementation. We believe the presented work hints at a rich area of quantum protocols to enhance the security of classical computation, even before largescale quantum computers can be realised.
Methods
Experiment
Our singlephoton source is based on spontaneous parametric down conversion (SPDC) using a Sagnac loop^{28,29,30}. The pump beam is generated by a 4.5 mWdiode laser at a central wavelength of 394.5 nm, followed by a half and a quarterwave plate to adjust the polarisation. It was focused on a 20 mm long, typeII colinear periodically poled Potassium Titanyl Phosphate crystal placed inside the loop, which emitted photon pairs at 789 nm in a separable state H〉 V〉, where H and V denote horizontal and vertical polarisation, respectively. The downconverted photons were reflected by a dichroic mirror while the pump beam was transmitted. Additionally longpass and bandpass filters were used to block the pump beam and to select the desired wavelength for the photon pairs. The downconverted photons were then coupled into singlemode fibres and one was directly sent to a detector to herald the second photon. The source was configured in a way that we observed a typical twophoton coincidence rate of 2 kHz with an open switch and the ratio of multipair events to singlepair events was <0.07 %. The possibility of multipair emissions is a property of every SPDC process which in our case could lead to the transmission of more than one photon at once through the switch and therefore cause unwanted information leaking to the client. Should a future application require even lower (or vanishing) multipair emission, this could be implemented using alternative singlephoton sources^{31,32,33,34}.
Furthermore, we implemented an active switch based on a KD*P (potassium dideuterium phosphate) Pockels cell with a halfwave voltage of 6.3 kV and two crossed polarisers. The electronic signal from the avalanche photo diode detector (APD) in the heralding path was sent to a splitterbox which could produce an 'on' and 'off' signal for the driver of the Pockels cell. The pulses were separated by 46 ns which corresponds to the opening time of the switch. During this time voltage is applied to the Pockels cell, causing it to act as a halfwave plate.
These pulses are gated to ensure photons are not transmitted while the LCRs are changing. Once the LCRs are ready to set a state in the program, a gating signal is sent to the splitterbox. Only then will the next heralding signal cause an on/off pulse to be sent to the Pockels cell. All following herald signals will be blocked until the splitterbox receives the next gate signal.
The splitterbox itself causes a delay of the electric signal of 22 ns while the total electronic delay of splitterbox and control electronics is 80 ns. The Pockels cell has a risetime of 8 ns. To allow for the switch to be opened before the signal photon reaches the Pockels cell in spite of all electronic delays, the signal photon is delayed in a 29 m singlemode fibre. All necessary polarisation states were set using a combination of two LCRs and a QWP at 0°. The maximum time to switch between two states in our scheme was 60 ms. This was therefore the time allowed for every switching process (so as not to leak information about the prepared state because of a shorter switching time). To measure the states in the bases dictated by the inputs to the gates a second set of two LCRs was used followed by a polarising beam splitter and two APDs to measure the photons. Typically 4 % of the times the switch opened a photon was also detected at Bob’s side. This was due to losses in the setup as well as the limited detection efficiency of the APDs. Together with the LCR switching time of 60 ms, this lead to an average gate time of 1.4 s per photon.
Gates with 1 bit of input
The simplest case of program is one that accepts one bit of input and returns one bit of output. The truth tables for all such \({\cal G}_1\) gates (shown in Fig. 2c) may be easily encoded as:
Gates with 2 bits of input
\({\cal G}_2\) gates can be encoded using either a combination of three states from Eqs. (2)–(5) (which corresponds to the linear scheme) or a combination of two states (elliptical scheme), in which case the above mentioned states need to be combined with additional states from the following list:
The encoding of specific gates is done according to tables shown in the Supplementary Tables 1 and 2. In the linear and elliptical scheme, the gateencoding state is a tensor product state of three or two photons, respectively. In the linear scheme, each of the three photons are in a state given in Eqs. (2)–(5). As there are 64 combinations and only 16 gates, each gate can be encoded in four different ways (represented by orthogonal state vectors), and a random choice is made each time the gate must be encoded. In the elliptical scheme, the first photon is in a state given in Eqs. (2)–(5), while the second photon is in a state given in Eqs. (6)–(13). As there are 32 combinations and only 16 gates, each gate can be encoded in two different ways, and again a random choice is made each time the gate must be encoded. The random choice between orthogonal state vectors is made by the sender and it is irrelevant from the point of view of the receiver. Thus, the state as seen by the receiver is effectively the mixed state given in Eq. (1).
Data availability
The data that support the findings of this study are available from the corresponding authors upon reasonable request.
References
Goldwasser, S., Kalai, Y. T. & Rothblum, G. N. Onetime programs. In Advances in Cryptology – CRYPTO 2008: 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, 17–21 August, 2008. Proceedings, 39–56 (Springer Berlin Heidelberg, Berlin, Heidelberg, 2008).
Wootters, W. K. & Zurek, W. H. A single quantum cannot be cloned. Nature 299, 802–803 (1982).
Dieks, D. Communication by EPR devices. Phys. Lett. A 92, 271–272 (1982).
Von Neumann, J. Mathematical Foundations of Quantum Mechanics (Princeton University Press, Princeton, 1955).
Broadbent, A., Gutoski, G. & Stebila, D. Quantum onetime programs. In Advances in Cryptology – CRYPTO 2013: 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 1822, 2013. Proceedings, Part II (eds Canetti, R. & Garay, J. A) 344–360 (Springer Berlin Heidelberg, Berlin, Heidelberg 2013).
Aaronson, S. Quantum copyprotection and quantum money. In 2009 24th Annual IEEE Conference on Computational Complexity, 229–242 (IEEE, Paris, 2009).
Mayers, D. Unconditionally secure quantum bit commitment is impossible. Phys. Rev. Lett. 78, 3414–3417 (1997).
Lo, H.K. & Chau, H. F. Why quantum bit commitment and ideal quantum coin tossing are impossible. Phys. D Nonlinear Phenom. 120, 177–187 (1998).
Hayashi, M., Iwama, K., Nishimura, H., Raymond, R. & Yamashita, S. (4,1)quantum random access coding does not exist—one qubit is not enough to recover one of four bits. New J. Phys. 8, 129 (2006).
Liu, Y.K. Singleshot security for onetime memories in the isolated qubits model. In Advances in Cryptology – CRYPTO 2014 (eds Garay, J. A. & Gennaro, R.) 19–36 (Springer Berlin Heidelberg, Berlin, Heidelberg, 2014).
Liu, Y.K. Privacy amplification in the isolated qubits model. In Advances in Cryptology – EUROCRYPT 2015 (eds Oswald, E. & Fischlin, M.) 785–814 (Springer Berlin Heidelberg, Berlin, Heidelberg, 2015).
Erven, C. et al. An experimental implementation of oblivious transfer in the noisy storage model. Nat. Commun. 5, 3418 (2014).
Ng, N. H. Y., Joshi, S. K., Ming, C. C., Kurtsiefer, C. & Wehner, S. Experimental implementation of bit commitment in the noisystorage model. Nat. Commun. 3, 1326 (2012).
Yao, A. C. Protocols for secure computations. In SFCS ‘82 Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 160–164 (IEEE Computer Society, Washington, 1982).
Lavagno, L., Markov, I. L., Martin, G. & Scheffer, L. K. Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology. Electronic Design Automation for Integrated Circuits Handbook (CRC Press, Boca Raton, 2016).
Peirce, C. S. A boolean algebra with one constant. Collect. Pap. Charles Sanders Peirce 4, 1931–1935 (1880).
Wiesner, S. Conjugate coding. SIGACT News 15, 78–88 (1983).
Nayak, A. Optimal lower bounds for quantum automata and random access codes. In FOCS ‘99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science, 369–376 (IEEE, New York, 1999).
Chailloux, A., Kerenidis, I., Kundu, S. & Sikora, J. Optimal bounds for parityoblivious random access codes. New J. Phys. 18, 045003 (2016).
James, D. F. V., Kwiat, P. G., Munro, W. J. & White, A. G. Measurement of qubits. Phys. Rev. A. 64, 052312 (2001).
Schneier, B. Applied Cryptography: Protocols, Algorithms, and Source Code in C (John Wiley & Sons, Inc., New York, 1993).
Dworkin, M. J. Sha3 standard: Permutationbased hash and extendableoutput functions. Tech. Rep. Federal Inf. Process. Stds.(NIST FIPS)202 (2015).
Simpson, W. Ppp challenge handshake authentication protocol (chap). Tech. Rep. RFC 1994, https://doi.org/10.17487/RFC1994, https://www.rfceditor.org/info/rfc1994 (1996).
Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J. & Levkowetz, H. Extensible authentication protocol (eap). Tech. Rep. RFC 3748, https://doi.org/10.17487/RFC3748, https://www.rfceditor.org/info/rfc3748 (2004).
Rabin, M. O. How to exchange secrets with oblivious transfer. Harvard University Technical Report 81. http://eprint.iacr.org/2005/187 (1981).
Wullschleger, J. Oblivioustransfer amplification. In Advances in Cryptology – EUROCRYPT 2007 (ed. Naor, M.) 555–572 (Springer Berlin Heidelberg, Berlin, Heidelberg, 2007).
Lo, H.K. Insecurity of quantum secure computations. Phys. Rev. A 56, 1154–1162 (1997).
Kim, T., Fiorentino, M. & Wong, F. N. C. Phasestable source of polarizationentangled photons using a polarization sagnac interferometer. Phys. Rev. A 73, 012316 (2006).
Fedrizzi, A., Herbst, T., Poppe, A., Jennewein, T. & Zeilinger, A. A wavelengthtunable fibercoupled source of narrowband entangled photons. Opt. Express 15, 15377–15386 (2007).
Procopio, L. M. et al. Experimental superposition of orders of quantum gates. Nat. Commun. 6, 7913 (2015).
Eisaman, M. D., Fan, J., Migdall, A. & Polyakov, S. V. Invited review article: singlephoton sources and detectors. Rev. Sci. Instrum. 82, 071101 (2011).
Schweickert, L. et al. Ondemand generation of backgroundfree single photons from a solidstate source. Appl. Phys. Lett. 112, 093106 (2018).
Somaschi, N. et al. Nearoptimal singlephoton sources in the solid state. Nat. Photonics 10, 340–345 (2016).
Senellart, P., Solomon, G. & White, A. Highperformance semiconductor quantumdot singlephoton sources. Nat. Nanotechnol. 12, 1026 (2017).
Acknowledgements
We thank I. Alonso Calafell, M. Tillmann and J. Zeuner for helping with the electronics and L. Rozema, A. Sharma, T. Strömberg and T. Withnell for discussions. M.C.R. acknowledges support from the the uni:docs fellowship program of the University of Vienna. T.B.B. and P.W. acknowledge support from CAPES through the Science Without Borders program (grant PDSE 99999.005394/201407). M.C.R. and P.W. acknowledge funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 820474. J.F.F. and J.A.K. acknowledge support from the Singapore National Research Foundation (NRFNRFF201301). J.F.F. and P.W. acknowledge support from the Erwin Schrödinger Institut at the University of Vienna. J.F.F. acknowledges support from the United States Air Force Office of Scientific Research (FA23861514082) and P.W. acknowledges support from the Austrian Research Promotion Agency (FFG) through the QuantERA ERANET Cofund project HiPhoP; and the Austrian Science Fund (FWF) through START (Y585N20) and the doctoral program CoQuS (No.W1210); and the United States Air Force Office of Scientific Research (FA95501610004) and (FA23861714011); and the Research Platform TURIS at the University of Vienna.
Author information
Authors and Affiliations
Contributions
M.C.R and P.W. designed the experiments. M.C.R. built and performed the experiments and analysed data. J.A.K., T.B.B. and J.F.F. developed the underlying theory including the method for encoding logic gates into quantum states and security analysis. J.A.K. and T.B.B. implemented the logic synthesis. T.B.B. and M.C.R. wrote software for experimental control and automation. All authors contributed to writing the manuscript. The project was conceived and supervised by J.F.F. and P.W.
Corresponding authors
Ethics declarations
Competing interests
The authors are named as inventors on a patent application relating to this method of implementing probabilistic onetime programs by the University of Vienna and the Singapore University of Technology and Design (application numbers 16/090,012 (US) and 11201808533U (SG), status: patent pending).
Additional information
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Electronic supplementary material
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Roehsner, MC., Kettlewell, J.A., Batalhão, T.B. et al. Quantum advantage for probabilistic onetime programs. Nat Commun 9, 5225 (2018). https://doi.org/10.1038/s41467018075912
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467018075912
This article is cited by

Forty thousand kilometers under quantum protection
Scientific Reports (2023)

A probabilistic model of quantum states for classical data security
Frontiers of Physics (2023)

Probabilistic onetime programs using quantum entanglement
npj Quantum Information (2021)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.