⚛️ quantum physics

Private Proofs of When and Where

Este artículo introduce el concepto de verificación de posición de conocimiento cero, que permite a las entidades probar afirmaciones sofisticadas sobre su ubicación en diferentes momentos preservando la privacidad de su posición real, mediante una construcción basada en la verificación de posición estándar y funciones unidireccionales post-cuánticas que utiliza la primitiva de compromisos de posición.

Autores originales: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

Publicado 2026-02-17

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

¡Hola! Imagina que este artículo es como un manual para construir un "Pasaporte de Ubicación Fantasma".

Hasta ahora, si querías probar que estabas en un lugar específico (por ejemplo, para entrar a un edificio o para que un juez creyera tu coartada), tenías que gritar: "¡Estoy aquí!". El problema es que al gritar, revelabas tu ubicación exacta, lo cual puede ser peligroso o molesto (como cuando las apps de fitness revelan que el presidente fue a correr por un parque específico).

Además, en el mundo clásico (sin tecnología cuántica), los hackers pueden falsificar esa ubicación fácilmente. Pero los autores de este paper dicen: "¡Tenemos una solución cuántica que te permite probar dónde estabas sin decirnos tu dirección exacta!".

Aquí te explico cómo funciona, paso a paso, con analogías sencillas:

1. El Problema: "La Paradoja del Testigo"

Imagina que eres un testigo en un juicio y quieres decir: "No estaba en la escena del crimen a las 12:00".

El método antiguo: Tienes que decirles al juez y a la policía: "Estaba en mi casa, en la calle 5, número 10".
El riesgo: Ahora saben dónde vives. ¿Y si no querías que supieran eso? ¿Y si solo querías probar que no estabas en el crimen?
El desafío: En el mundo normal, es imposible probar tu ubicación sin revelar tu ubicación exacta. Los espías pueden fingir estar en cualquier lugar.

2. La Solución: "La Caja de Seguridad Cuántica" (Compromiso de Posición)

Los autores crean una nueva herramienta mágica llamada "Compromiso de Posición". Imagínalo así:

La Caja: Tienes una caja de seguridad cuántica indestructible.
El Truco: Tú te metes en la caja en un lugar secreto (digamos, en tu casa) y la cierras.
La Prueba: Envías la caja cerrada a los verificadores (los jueces). Ellos no pueden abrirla todavía, pero saben que alguna caja llegó.
La Magia Cuántica: Gracias a las leyes de la física cuántica (como que no se puede copiar información perfecta), los verificadores saben que solo alguien que estuviera físicamente en un lugar específico podría haber creado esa caja de esa manera.
El Secreto: Mientras la caja está cerrada, nadie sabe dónde estabas. Solo saben que la caja existe y es válida.

3. El Gran Truco: "El Camaleón"

Aquí viene la parte más genial. El protocolo permite que tú, el "camaleón", puedas fingir que estabas en cualquier lugar de una ciudad entera al mismo tiempo, mientras mantienes tu ubicación real oculta.

Cómo funciona: Imagina que los verificadores lanzan "redes" de señales (como preguntas) a toda la ciudad.
Tu movimiento: Tú, desde tu ubicación real, respondes a todas las redes simultáneamente, pero tus respuestas están encriptadas (como mensajes en código).
La ilusión: Para los verificadores, parece que hay un "fantasma" respondiendo a todas las preguntas en todos los lugares al mismo tiempo. Es imposible saber cuál de esas respuestas es la tuya real y cuáles son "falsas" (o dummy), porque todas parecen válidas.
El desenlace: Solo cuando tú quieres, abres la caja (la encriptación) y revelas: "Oigan, la respuesta real era la del punto X".

4. ¿Por qué es importante? (Aplicaciones de la vida real)

Este sistema permite hacer cosas increíbles sin revelar tu privacidad:

La Coartada Privada: Puedes probarle a un juez: "No estaba en el banco robado a las 3:00 PM". El juez acepta tu prueba porque el sistema lo verifica, pero nunca necesita saber en qué parque o cafetería estabas realmente.
Tratados Nucleares: Un país puede probar: "Nuestro misil nunca salió de nuestras fronteras". No necesitan mostrar el mapa exacto del misil, solo probar que cumplió la regla.
Seguridad de Datos: Puedes probar que un chip de computadora (como una GPU) se ejecutó dentro de un centro de datos seguro en EE. UU., sin revelar la dirección exacta del edificio.

5. ¿Cómo logran esto? (La "Caja Fuerte" y el "Código")

Los autores usan dos ingredientes principales:

Física Cuántica: Para asegurar que nadie pueda copiar tu señal ni engañar al sistema (como si intentaras clonar tu propia voz para engañar a un reconocimiento de voz).
Criptografía Post-Cuántica: Un tipo de código matemático tan fuerte que ni las computadoras del futuro podrán romperlo. Esto asegura que, mientras la caja está cerrada, nadie pueda adivinar tu ubicación.

En resumen

Este paper es como inventar un candado mágico que te permite decirle al mundo: "Sí, cumplí la regla de estar en el lugar correcto (o no estar en el lugar prohibido)", pero al mismo tiempo te permite susurrar: "Pero no les diré exactamente dónde estaba, eso es solo para mí".

Es un paso gigante hacia un futuro donde podemos verificar la verdad sin sacrificar nuestra privacidad. ¡Es como tener un superpoder de invisibilidad que solo se activa cuando necesitas demostrar que eres honesto!

Resumen Técnico: Pruebas de Posición de Conocimiento Cero

1. El Problema

La verificación de posición es un protocolo interactivo donde una entidad (el probador) demuestra a un conjunto de verificadores que se encuentra en una ubicación física específica $L$ en un momento $t$ .

Limitación Clásica: Se ha demostrado que la verificación de posición segura es imposible en entornos puramente clásicos, incluso con suposiciones computacionales, ya que adversarios coludidos pueden suplantar la ubicación (spoofing) eficientemente.
Solución Cuántica: Los protocolos cuánticos (QPV) ofrecen seguridad basada en principios físicos como la no clonabilidad y la incertidumbre, siendo seguros contra adversarios con entrelazamiento cuántico limitado.
El Desafío de la Privacidad: Aunque la QPV resuelve la seguridad, introduce un problema de privacidad fundamental. En muchas aplicaciones (ej. alibis legales, cumplimiento de tratados nucleares, privacidad de datos de fitness), el objetivo no es revelar la ubicación exacta, sino probar una afirmación sobre la ubicación (ej. "No estaba cerca del lugar del crimen" o "El dispositivo estuvo siempre dentro de las fronteras"). Revelar la posición exacta para probar una afirmación más general viola la privacidad del usuario.

El artículo se plantea la pregunta central: ¿Es posible construir protocolos de verificación de posición que sean de "conocimiento cero" (Zero-Knowledge)? Es decir, protocolos donde los verificadores se convence de la veracidad de la afirmación sin aprender nada más sobre la ubicación real del probador.

2. Metodología y Herramientas Clave

Los autores proponen una construcción que combina criptografía post-cuántica con protocolos de verificación de posición existentes.

A. Primitiva Central: Compromiso de Posición (Position Commitment)
Introducen una nueva primitiva criptográfica llamada Compromiso de Posición. Permite a un probador comprometerse a una ubicación espaciotemporal $(L, t)$ sin revelarla inicialmente, y luego "abrir" ese compromiso más tarde para demostrar que ocupó dicha posición.

Ocultamiento (Hiding): Los verificadores no aprenden nada sobre la ubicación durante la fase de compromiso.
Vinculación Posicional (Position Binding): El probador no puede cambiar su ubicación después del compromiso; debe haber ocupado físicamente el punto comprometido para que la verificación sea exitosa.

B. Construcción del Compromiso de Posición
La construcción se basa en:

Protocolos de Verificación de Posición "Buenos" (Nice Protocols): Protocolos de un solo turno donde los verificadores envían desafíos y el probador responde clásicamente. Ejemplos incluyen el protocolo $f$ -BB84.
Funciones de Un Solo Sentido (OWF) Post-Cuánticas: Utilizadas para generar esquemas de cifrado simétrico y compromisos clásicos.
Mecanismo de Encriptación: El probador ejecuta simultáneamente instancias del protocolo de verificación para todos los puntos posibles en la región de compromiso. Sin embargo, encripta todas sus respuestas con una clave secreta. Solo revela la clave si desea probar su ubicación real.
- Para ocultar su posición, el probador envía mensajes encriptados (o "dummy") que cumplen con las restricciones de tiempo para todas las ubicaciones posibles simultáneamente.
- La seguridad de la vinculación se demuestra mediante una reducción a la seguridad del protocolo de verificación subyacente y la propiedad de vinculación estadística del compromiso clásico.

C. De Compromiso a Verificación de Posición de Conocimiento Cero
Una vez establecido el compromiso de posición, el probador utiliza un protocolo de prueba de conocimiento cero (ZK) estándar para NP para demostrar que posee una apertura del compromiso que corresponde a una ubicación dentro de la región deseada $R$ (la afirmación a probar), sin revelar la ubicación exacta dentro de $R$ .

3. Contribuciones Principales

Formalización de la Verificación de Posición de Conocimiento Cero: Definen formalmente la seguridad basada en simulación para protocolos que prueban afirmaciones sobre regiones del espaciotiempo, no solo puntos únicos.
Construcción de Protocolos: Demuestran que, asumiendo la existencia de funciones de un solo sentido post-cuánticas y protocolos de verificación de posición "buenos" (como $f$ -BB84), es posible construir protocolos de verificación de posición de conocimiento cero para cualquier conjunto finito de puntos espaciotemporales.
Introducción del Compromiso de Posición: Presentan y construyen esta primitiva criptográfica, que permite a los usuarios mantener un registro privado de sus movimientos que puede ser revelado selectivamente en el futuro (ej. para un alibi).
Optimizaciones: Proponen una versión optimizada del protocolo que reduce la carga computacional, asumiendo que los verificadores envían mensajes clásicos de difusión (broadcast) de forma independiente, lo que permite una malla de desafíos más eficiente.

4. Resultados Principales

Teorema Principal (Teorema 1.1): Si existen funciones de un solo sentido post-cuánticas y protocolos de verificación de posición seguros contra adversarios con $E$ qubits de entrelazamiento, entonces existe un protocolo de verificación de posición de conocimiento cero (honest-verifier) para cualquier región finita $R$ , seguro contra adversarios con $E/2$ qubits de entrelazamiento.
Seguridad: La seguridad del protocolo final se hereda de la seguridad del protocolo de verificación subyacente y la seguridad de las funciones de un solo sentido.
Privacidad: Los verificadores no aprenden nada sobre la ubicación exacta del probador más allá de lo que la afirmación lógica (ej. "estuvo en la región R") implica.
Aplicabilidad: El protocolo permite probar afirmaciones sobre ubicaciones pasadas (ej. "estaba en este lugar hace una hora"), algo difícil de lograr con métodos clásicos sin revelar el historial completo.

5. Significado e Impacto

Avance en Criptografía Cuántica: Este trabajo es uno de los primeros en combinar la verificación de posición física con la privacidad de conocimiento cero, expandiendo el horizonte de las aplicaciones de la QPV más allá de la simple autenticación de ubicación.
Aplicaciones Prácticas:
- Privacidad de Movilidad: Evitar fugas de datos como las ocurridas con la app Strava, permitiendo probar patrones de movimiento sin revelar coordenadas.
- Cumplimiento de Tratados: Verificar que armas nucleares no han salido de una zona o que dispositivos no han sido exportados ilegalmente, sin revelar la ubicación exacta de los dispositivos.
- Alibis Privados: Permitir a un acusado demostrar que no estaba en la escena del crimen sin revelar dónde estuvo realmente.
Limitaciones y Futuro:
- El protocolo actual asume verificadores semi-honestos (siguen el protocolo pero intentan extraer información). Los autores demuestran que contra verificadores maliciosos que envían mensajes direccionales, la privacidad es difícil de garantizar (ataque de "poke-around").
- Se sugiere que la seguridad contra verificadores maliciosos podría lograrse si los verificadores solo usan mensajes de difusión (broadcast) o si se asume una mayoría honesta entre muchos verificadores redundantes.

En conclusión, el artículo establece un marco teórico y práctico para realizar pruebas de ubicación física que respetan la privacidad, utilizando la mecánica cuántica y la criptografía post-cuántica como pilares fundamentales.