• Home
  • Química
  • Astronomía
  • Energía
  • Naturaleza
  • Biología
  • Física
  • Electrónica
  • Cómo las partes sospechosas pueden trabajar juntas de forma segura

    Crédito:CC0 Public Domain

    El criptógrafo Max Fillinger desarrolló nuevos métodos para analizar un grupo de algoritmos llamados esquemas de compromisos. Estos esquemas son bloques de construcción para protocolos criptográficos, que permiten que varias partes que no confían entre sí trabajen juntas de forma segura. Su Ph.D. La defensa es el 19 de marzo.

    Mantener la información segura

    Fillinger es un Ph.D. candidato en el Centrum Wiskunde &Informatica (CWI) y el Mathematical Institute (MI) en Leiden, supervisado por Serge Fehr. Con sus nuevos métodos de análisis, Fillinger demostró que un esquema de compromiso relativista previo, propuesto en 2015, ha sido enormemente subestimado. "Anteriormente se pensaba que la información de este esquema era segura durante unos pocos milisegundos, pero, de hecho, permanece seguro durante un tiempo prácticamente ilimitado, o hasta que la memoria de los dispositivos que lo ejecutan esté llena, ", dice. Este resultado muestra la utilidad de sus métodos recientemente desarrollados para analizar los esquemas de compromiso.

    ¿Qué es un esquema de compromiso?

    Imagínese la siguiente situación:Alice ha hecho una previsión del mercado de valores. Quiere convencer a Bob de su habilidad para predecir, pero ella no quiere darle un consejo gratis. Por lo tanto, ella quiere mantener su predicción en secreto al principio. Sin embargo, si solo revelara su predicción después de que se hiciera realidad, Bob no creerá que ella realmente predijo el mercado de valores con razón. Así que le da su predicción a Bob en una caja fuerte cerrada. Solo después de que la predicción se haya hecho realidad, ella le da la llave. De este modo, Bob sabe que la predicción fue correcta y Alice no tiene que dar consejos gratis. Los esquemas de compromisos implementan esta funcionalidad mediante comunicación y cálculos digitales, en lugar de una caja fuerte.

    Seguridad garantizada

    La mayoría de los esquemas de compromiso que se utilizan en la práctica son computacionalmente seguros, como en la criptomoneda Zerocoin. Esto significa que con las computadoras actuales, se necesitarían años o décadas de cálculo para descifrar el código, en otras palabras, hacer trampa. Pero teóricamente también existe la noción de seguridad incondicional, Fillinger dice. "Aquí, la probabilidad de trampas no detectadas debería seguir siendo minúscula, no importa cuánto poder computacional tenga el tramposo a su disposición ". Eso suena ideal, pero ya se ha demostrado matemáticamente que los esquemas de compromiso incondicionalmente seguros con una computadora son imposibles.

    ¿Más rapido que la luz?

    Sin embargo, hay buenas noticias:los científicos encontraron un esquema diferente que es incondicional. En 1988, un grupo de investigadores propuso un esquema de compromiso en el que Alice (del ejemplo del cuadro) usaría dos computadoras. "Una computadora crea el compromiso de Alice, el otro lo abre, "dice Fillinger." Si no pueden intercambiar información, se vuelve imposible para Alice hacer trampa. "Pero si Bob no confía en Alice, ¿Cómo puede estar seguro de que ella no hará trampa al enviar información de una computadora a otra? "Dado que la información no puede viajar más rápido que la luz, hay un breve período de tiempo en el que es físicamente imposible que las computadoras intercambien información, ", dice el criptógrafo." Durante este período de tiempo extremadamente corto, ¡el compromiso es incondicionalmente seguro! "

    La suma de sus partes

    Adrian Kent amplió esta idea a partir de 1999 e introdujo el concepto de esquemas de compromiso relativista:estos esquemas permanecen incondicionalmente seguros durante más tiempo, pero la computadora de Bob debe intercambiar mensajes continuamente con las computadoras de Alice en momentos precisos. "Previamente, Los esquemas de compromiso relativista fueron analizados en su conjunto. Esto hace que algunas pruebas sean difíciles de leer ". En su tesis, Fillinger ofrece un enfoque más modular al analizar partes del esquema por separado. "Para simplificar un poco:si las partes de un esquema de compromiso relativista son seguras cuando se consideran por sí solas, entonces la seguridad del todo sigue matemáticamente. Esto facilita el análisis de estos esquemas ".


    © Ciencia https://es.scienceaq.com