Det var noe i en Scott Aaronson-artikkel jeg nylig leste som fikk meg til å tenke at kanskje no-cloning teoremet kan forbigå impossibility-resultatene til obfuscation sterkere enn iO. Fra The Ghost in the Quantum Turing Machine: > A closely related proposal (to quantum money), quantum software copy-protection, would exploit the No-Cloning Theorem in a still more dramatic way: to create quantum states $\ket{\psi_f}$ that can be used to evaluate some function $f$, but that can’t feasibly be used to create more states with which $f$ can be evaluated. Research on quantum copy-protection has shown that, at least in a few special cases (and maybe more broadly), it’s possible to create a physical object that > > (a) interacts with the outside world in an interesting and nontrivial way, yet > > (b) effectively hides from the outside world the information needed to predict how the object will behave in future interactions. Høres nesten ut som quantum copy-protection vil *trivielt* oppfylle diverse obfuscation-definisjoner. Hvor høyt kan man gå? ### Svar [Schaffner et al (C:ABDS21)](https://iacr.org/archive/crypto2021/12826178/12826178.pdf) viste at vbb ("virtual black-box", den sterkeste typen) av [[P]]-kretser fortsatt er umulig selv når the obfuscation er kvantetilstander. [EC:AnaLap21 – Secure Software Leasing](https://www.iacr.org/archive/eurocrypt2021/126960001/126960001.pdf) (hey, der var jeg!) viste samtidig at (den svakere definisjonen) Quantum Copy-Protection (QCP) er umulig for generelle [[P]]-kretser—som impliserer en tilsvarende umulighet for vbb obfuscation—men ga samtidig en *enda* svakere definisjon som de kaller Secure Software Leasing (SSL), og gir en konstruksjon "for a subclass of evasive circuits" (altså ikke hele [[P]], men så vidt jeg forstår mer enn man kan oppnå med QCP). Quantum iO, på den annen side, er hypotisert til å la seg konstruere—akkurat som klassisk iO, dog spørsmålet gjenstår om man kan løfte iO til å obfuscate kvantefunksjonaliteter. Et annet spørsmål som gjenstår er for vbb obfuscation of limited circuits, og hvorvidt kvantekapabiliteter kan være til hjelp i det hele tatt her. Schaffner et al. skriver, > Currently, no quantum obfuscators are known for circuit classes that cannot be classically obfuscated. > (...) > What circuit classes can be vbb obfuscated into quantum states? Is quantum vbb obfuscation stronger than classical vbb obfuscation, in the sense that it can obfuscate circuit classes that classical vbb cannot? Also, the weaker notion of indistinguishability obfuscation (iO) (...) is not affected by our impossibility result: it may still be possible to classically or quantumly iO obfuscate classical functionalities. Could such a construction be lifted into the quantum realm, so that we can (quantum) iO obfuscate quantum functionalities? Så, det ser ut til at dette spørsmålet, om "whether quantum obfuscation of classical circuits is possible", som var ett av [[Scotts Ten Semi-Grand Challenges for QC Theory]], har blitt besvart! ## Neste steg - [x] 💻 Har noen undersøkt dette perspektivet før? Sjekk ut quantum copy-protection litteraturen, pluss Google Scholar search "quantum obfuscation".