En este evento sobre pruebas de conocimiento cero (zero-knowledge) y sus aplicaciones se cubrieron temas des de los fundamentos teóricos hasta los resultados prácticos más nuevos. Artemisa tubo presencia, y destacamos la charla de Ying Tong, sobre los argumentos llamados lookups y la charla de Javier Silva sobre qué entendemos por bits de seguridad.

Ying Tong hizo un repaso de los lookups existentes dando una clasificación innovadora de estos resultados, muy clara y muy interesante. Finalmente, dio una comparación de los argumentos más nuevos y sus casos de uso.

Javier Silva clarificó qué significa el nivel de seguridad de un sistema de pruebas. Explicó con mucha claridad como se mide y como modificar el diseño de un sistema para obtener el nivel de seguridad deseado.