foo.md

Dos aclaraciones:

1. Esto es muy abstracto.

2. La última vez que miré algo así fue con Sicard, en la universidad, hace muuuuchos años.

En un Interactive Proof System (IPS) tenés dos participantes, el que entrega los datos (demostrador) y el que los verifica (verificador). El demostrador alimenta al probador con información y el trabajo del verificador es, a partir de esa información, ver si lo que se dijo es cierto o no (buscando colisiones entre las respuestas/inconsistencias/contradicciones). Estas dos entidades son tan abstractas como cualquiera de las entidades que viste en Especiales 3 (autómatas, máquinas de Turing, etc).

Ahora, los demostrador son omniscientes pero no siempre "dicen la verdad". Es trabajo del probador (que es más bien limitado) encontrar las colisiones. Una forma muy eficiente de hacer esto es usar varios demostradores que no tengan comunicación entre sí (que no se puedan poner de acuerdo a la hora de alimentar al probador). Si los demostradores no se pueden poner de acuerdo entonces es más fácil para el probador encontrar contradicciones entre todos los statements de los diferentes probadores. Hasta aquí la parte de los IPS.

Ahora, las particulas cuánticas (y aquí es donde yo también me empiezo a perder) pueden presentar entanglement, o sea que están relacionadas (entrelazadas). Cuando las particulas están entangled, comparten su estado cuántico (información sobre ellas). Las particulas en general no tienen un valor específico para cada una de sus propiedades sino que el valor pertenece a una distribución de probabilidades individual a cada particula. Cuando esas partículas están entangled, el valor para una propiedad deja de ser parte de la distribución individual de una partícula y pasa a ser un valor que pertenece a la distribución de probabilidades del sistema que crean el conjunto de partículas.

Una diferencia importante entre lo clásico y lo cuántico es esa propiedad de nada tiene un "valor pre-asignado" sino que se le "da un valor" cuando se mide.

Imaginate que dos demostradores tengan acceso a partículas cuánticas que están entangled. Como el estado es el mismo entre esas partículas, los dos demostradores pueden compartir información, lo que rompería al principio de no-comunicación de los multiprovers. Esto hace que algunos multiprovers no sean capaces de hacer su trabajo bien. De nuevo, por "multiprovers" me estoy refiriendo a sistemas abstractos (texto raro escrito con letras griegas en papel) y por "trabajo" me estoy refiriendo a computaciones expresadas de manera abstracta también.

Estos manes probaron que existe cierto tipo de verificadores que son inmnunes a este problema. Esto es bueno para los criptógrafos porque pueden seguir estudiando sus sistemas confiando en su inmunidad. Es peye para los físicos cuánticos porque sigue sin haber una forma fácil de montar un experimento mostrando la diff. entre los sistemas clásicos y los cuánticos.