Technische Samenvatting: Willekeurig Verlies-Tolerante Kwantum Positie-Verificatie in een Enkele Executie

1. Probleemstelling

Kwantum Positie-Verificatie (QPV) beoogt de ruimtelijke locatie van een onbetrouwbare bewijzer te certificeren met behulp van relativistische signaalbeperkingen en kwantuminformatie. Hoewel het no-cloning theorema klassiek kopiëren door aanvallers voorkomt, is onvoorwaardelijke veiligheid onmogelijk tegen tegenstanders die willekeurig grote verstrengeling delen. Daarom richt het onderzoek zich op het model van begrensde verstrengeling (bounded-entanglement, BE), waarbij tegenstanders een beperkt aantal verstrengelde qubits delen.

Een kritisch praktisch obstakel voor QPV is fotonverlies. In optische vezels neemt transmissieverlies exponentieel toe met de afstand. Standaard QPV-protocollen (bijv. $QPV_{BB84}$, $QPV^f_{BB84}$, en het parallelle $QPV^{f:n\to m}_{BB84}$) gaan uit van ideale transmissie. Deze aanname creëert een fundamentele kwetsbaarheid: een tegenstander kan qubits onderscheppen, ze in willekeurige bases meten, en alleen resultaten rapporteren wanneer de basisgok correct is, waarbij "verlies" wordt gemeld wanneer dat niet het geval is. Deze strategie doorbreekt de veiligheid zodra de transmissiesnelheid onder de 50% zakt.

Eerdere werken hebben fotonverlies en verstrengeling afzonderlijk of gelijktijdig behandeld, maar uitsluitend in sequentiële settings. Specifiek introduceerde [ABB+23] een op commitment gebaseerde modificatie ($c-QPV^f_{BB84}$) die willekeurig verlies tolereert door de bewijzer te verplichten tot het committen van ontvangen qubits voordat de meetbasis wordt geleerd. Deze techniek vertrouwde echter op de sequentiële structuur van het protocol, waarbij herhaalde rondes verifieerders in staat stellen om inconsistenties in commitments te detecteren. Deze technieken laten zich niet uitbreiden naar single-execution (parallelle) protocollen, die de voorkeur genieten voor praktische implementatie en gebruik als subroutines in grotere cryptografische schema's. Bestaande single-execution protocollen missen ofwel tolerantie voor verlies, of vereisen kwantumcommunicatie met de snelheid van het licht, wat hun toepasbaarheid beperkt.

2. Methodologie

De auteurs stellen een commitment-gebaseerde modificatie voor van het parallelle, single-execution protocol $QPV^{f:n\to m}_{BB84}$, aangeduid als $c-QPV^{f:n\to m}_{BB84}$.

Protocolstructuur

Het protocol omvat twee verifieerders ($V_0, V_1$) en een bewijzer ($P$):

1. Preparatie: Verifieerders genereren klassieke inputs $x, y \in \{0,1\}^n$ en kwantumtoestanden (BB84-qubits) gebaseerd op een functie $z = f(x,y)$.
2. Distributie: Kwantumtoestanden worden naar $P$ gestuurd, gevolgd door klassieke strings $x$ en $y$ die getimed zijn om gelijktijdig aan te komen op de geclaimde positie.
3. Commitment (Nieuwe stap): Bij ontvangst van de kwantumsystemen maar voordat $x$ en $y$ worden geleerd, broadcast de bewijzer een commitment string $c \in \{0,1\}^m$, die aangeeft welke qubits succesvol zijn ontvangen ($c_i=1$) en welke verloren zijn gegaan ($c_i=0$).
4. Verificatievoorwaarde: Het protocol gaat alleen door als het aantal gecommitteerde qubits $|c| \geq k$, waarbij $k$ een vooraf gedefinieerde drempelwaarde is.
5. Meting: Zodra $x$ en $y$ arriveren, berekent $P$ de waarde $z = f(x,y)$ en meet alleen de qubits in de gecommitteerde verzameling $C = \{i \mid c_i=1\}$ in de bases gespecificeerd door $z_C$.
6. Verificatie: Verifieerders accepteren als de gerapporteerde uitkomsten overeenkomen met de verwachte waarden binnen een foutmarge $\gamma$ voor de subset $C$.

Technieken voor Veiligheidsanalyse

De veiligheidsbewijzing adresseert de uitdaging dat, in tegenstelling tot sequentiële herhaling, een enkele executie slechts één commitment string biedt, wat detectie van inconsistenties over rondes heen verhindert. De auteurs maken gebruik van de volgende technieken:

• No-Signalling Constraints: De analyse maakt gebruik van het feit dat tegenstanders (Alice en Bob) ruimtelijk gescheiden zijn. Hun gezamenlijke commitment-distributie moet voldoen aan no-signalling voorwaarden; specifiek kan de commitment van Alice niet afhangen van de input $y$ van Bob, en vice versa.
• Decompositie van Acceptatiekans: De auteurs deconstrueren de totale acceptatiekans tot een som over mogelijke commitment strings $c$. Ze begrenzen de voorwaardelijke acceptatiekans $Pr[\text{accept } w_C \mid c]$ voor een vaste $c$ door deze te relateren aan de veiligheid van het oorspronkelijke $QPV^{f:n\to m}_{BB84}$ protocol beperkt tot de subset $C$.
• Exponentieel Verval: Door de no-signalling voorwaarden te combineren met het exponentiële verval van de soundness van het oorspronkelijke protocol (gestuurd door de parameter $\lambda_\gamma$), leiden zij een globale grens af die exponentieel afneemt met de drempelwaarde $k$.
• Verfijnde Sequentiële Analyse: De auteurs herzien ook het sequentiële protocol uit [ABB+23]. Zij vervangen de stochastische stoppertijd (het wachten op een polynomiaal aantal succesvolle rondes) door een vast aantal rondes $m$ en een vaste drempelwaarde $k$. Dit maakt een directe grens op de acceptatiekans mogelijk zonder te vertrouwen op "of-of" uitspraken over inconsistente commitments.

3. Belangrijkste Bijdragen

1. Eerste Verlies-Tolerante Single-Shot QPV: Het artikel presenteert $c-QPV^{f:n\to m}_{BB84}$, het eerste protocol dat simultaan bereikt:
   • Verwaarloosbare soundness in een enkele executie.
   • Veiligheid tegen tegenstanders die een lineaire hoeveelheid verstrengeling delen (in de omvang van de klassieke inputs).
   • Geen vereiste voor kwantumcommunicatie met de snelheid van het licht.
   • Tolerantie voor willekeurig groot transmissieverlies.
2. Generalisatie van het Commitment-Paradigma: Het werk slaagt erin de commitment-modificatie van sequentiële naar parallelle settings te tillen met behulp van no-signalling correlaties, waarmee de afhankelijkheid van de sequentiële structuur wordt overwonnen die voorheen deze uitbreiding verhinderde.
3. Verbeterde Sequentiële Parameters: Het artikel verfijnt de analyse van sequentiële commitment-protocollen door stochastische stoppertijden te vervangen door vaste parameters. Dit levert verbeterde kwantitatieve grenzen op waarbij de acceptatiekans van de tegenstander exponentieel afneemt met de drempelwaarde $k$, met een correctieterm die schaalt als $O(k^{-1/3})$ (verbeterd van $O(r^{-1/4})$ in eerder werk).
4. Robuustheid: Het resulterende protocol behoudt robuustheid tegen ruisniveaus tot 3,7% per qubit, wat overeenkomt met de ruistolerantie van het oorspronkelijke onderliggende protocol.

4. Resultaten

Het belangrijkste theoretische resultaat (Theorem 1.1 en Theorem 4.1) stelt vast dat voor een geschikte functie $f$, de kans dat een tegenstander wordt geaccepteerd in het BE($O(n)$) model wordt begrensd door:
$$Pr[\text{accept } c-QPV^{f:n\to m}_{BB84}] \lesssim 2(\lambda_\gamma)^{k/2}$$
waarbij $\lambda_\gamma = 2^{h(\gamma)}(\frac{1}{2} + \frac{1}{2}\sqrt{2})$ en $h(\cdot)$ de binaire entropiefunctie is.

• Verlostolerantie: Veiligheid hangt af van $k$ (het aantal succesvol ontvangen qubits), niet van het totaal aantal verzonden qubits $m$. Hierdoor blijft het protocol veilig, zelfs als de transmissiesnelheid willekeurig laag is, mits er voldoende qubits worden ontvangen om de drempelwaarde $k$ te halen.
• Ruistolerantie: Het protocol blijft veilig voor foutpercentages $\gamma < 0,037$ (3,7%), aangezien dit garandeert dat $\lambda_\gamma < 1$.
• Parallelle Repetitie: Voor protocollen die geconstrueerd zijn door parallelle repetitie van een enkele Booleaanse functie $g$ (d.w.z. $f = g^{\otimes m}$), reduceert de veiligheid van de commitment-gebaseerde versie tot de veiligheid van de niet-commitment versie met $k$ repetities: $Pr[\text{accept } c-QPV^{g^{\otimes m}}_{BB84}] \leq 2\sqrt{Pr[\text{accept } QPV^{g^{\otimes k}}_{BB84}]}$.

5. Betekenis en Claims

De auteurs claimen dat dit werk een cruciale kloof overbrugt tussen theoretische veiligheid en praktische implementatie van QPV.

• Haalbaarheid over Willekeurige Afstanden: Door het protocol willekeurig verlies-tolerant te maken, maakt dit werk QPV haalbaar over lange afstanden waar fotonverlies significant is, een vereiste voor real-world inzetbaarheid.
• Praktisch Nut: Het single-execution karakter van het protocol wordt benadrukt als bijzonder aantrekkelijk voor nabije implementaties en voor gebruik als subroutine in grotere cryptografische constructies (bijv. Quantum Key Distribution, berichtauthenticatie), waarbij sequentiële repetitie vaak onpraktisch is.
• Theoretische Vooruitgang: Het werk toont aan dat commitment-gebaseerde veiligheid bereikt kan worden in parallelle settings zonder de veiligheidsgaranties van het onderliggende protocol tegen bounded-entanglement aanvallers op te offeren.
• Experimentele Relevantie: Het artikel biedt verbeterde kwantitatieve parameters voor experimentele implementaties, specifiek door het aantal rondes en de acceptatiedrempel vast te leggen, wat de onzekerheid over de uitvoeringstijd die inherent is aan eerdere sequentiële benaderingen wegneemt.

Het artikel concludeert dat $c-QPV^{f:n\to m}_{BB84}$ de eerste volledig verlies-tolerante single-shot QPV vertegenwoordigt die veilig is tegen verstrengelde aanvallers, waarmee effectief de barrière van de transmissiesnelheid wordt weggenomen die QPV voorheen beperkte tot korte afstanden of geïdealiseerde condities.