Del 10 al 15 de octubre, Pablo Deymonnaz (Director del CCSD), Diego Kingston (Director Científico), Federico Carrone (Director del Comité Académico), y Manuel Puebla y Mauro Toscano (Comité Académico) participaron en Cambridge de una serie de workshops organizada por la Ethereum Foundation. El encuentro reunió a más de 120 investigadores e ingenieros.

El contexto

Buena parte de la criptografía que protege hoy las comunicaciones y los sistemas digitales podría volverse vulnerable con la llegada de computadoras cuánticas. Nadie sabe con certeza cuándo va a ocurrir, pero en el último año la discusión se volvió más urgente: un trabajo de Google mostró que romper ciertos esquemas criptográficos requiere menos recursos de lo que se estimaba.

A esto se suma la inteligencia artificial. Los nuevos modelos aceleraron la investigación en muchas áreas, incluida la búsqueda de debilidades en herramientas criptográficas. Por eso cobra importancia revisar los sistemas con más rigor, intentar atacarlos antes de que otros lo hagan y reemplazar sus componentes por alternativas resistentes a ataques cuánticos.

Una semana, cuatro temas

El trabajo se organizó en cuatro workshops:

  • Criptografía post-cuántica: cómo reemplazar las firmas digitales actuales por esquemas resistentes a computadoras cuánticas, sin perder eficiencia y de forma que puedan usarse en dispositivos como las hardware wallets.
  • Verificación formal: uso de demostraciones matemáticas verificadas por computadora para garantizar que un sistema hace exactamente lo que dice hacer. Fue uno de los temas más presentes de la semana, también en los demás workshops.
  • Fast finality: cómo lograr que las operaciones en una red distribuida queden confirmadas de forma definitiva en menos tiempo.
  • Funciones de hash y criptoanálisis: qué funciones de hash conviene adoptar y qué tan resistentes son, incluso frente a intentos de ataque asistidos por IA.

Un tema que atravesó varias charlas fue el uso de agentes de IA para optimizar implementaciones criptográficas. La conclusión compartida es que esas optimizaciones solo son confiables si están respaldadas por especificaciones claras y verificadas formalmente.

Lo que nos llevamos

Además de las charlas, la semana fue una oportunidad para conversar con colegas de distintos grupos de investigación, conocer iniciativas en marcha e intercambiar ideas.

Varios de los temas que se discutieron en Cambridge van a formar parte de las próximas actividades del Centro, desde el grupo de estudio hasta los seminarios y charlas abiertas.

Agradecemos a la Ethereum Foundation por la organización.