La semana pasada, Diego Kingston, Director de Investigación del Centro de Criptografía y Sistemas Distribuidos, estuvo en Roma para asistir a las tres conferencias más relevantes del campo en la actualidad: ZKSummit 14, ZKProof 8 y Eurocrypt 2026. Las tres se desarrollaron en simultáneo durante la misma semana, concentrando en un solo lugar buena parte de la actividad de investigación en criptografía y sistemas de prueba verificables a nivel mundial.
ZKSummit 14
En ZKSummit, el Centro presentó una charla sobre el desarrollo de nuestra zkVM y la filosofía detrás de su diseño — una oportunidad para mostrar el trabajo en curso y discutirlo con equipos que están construyendo infraestructura similar.
El evento tuvo un nivel técnico muy alto. Entre las presentaciones más destacadas: Giacomo Fenzi expuso sobre ZO0K, un enfoque para agregar la propiedad de conocimiento cero a sistemas de prueba basados en códigos entrelazados. Ron Rothblum presentó VEIL, una propuesta para agregar ZK a la máquina virtual de SP1. Antonio Sanso expuso ataques recientes a la función de hash Poseidon y comentó los esfuerzos de la Ethereum Foundation para seleccionar una función de hash algebraica segura. También se cubrieron aspectos de precompiles no determinísticos para acelerar zkVMs.
El evento cerró con un panel sobre la amenaza de la computación cuántica — con Justin Drake, Dan Boneh, Daira-Emma Hopwood y Jens Groth — y cómo Ethereum y otros protocolos están trabajando para anticiparse a ese escenario. Como siempre, hubo espacio para conversar con equipos como 3MI Labs, Miden y la Ethereum Foundation.
ZKProof 8
ZKProof tuvo un formato más académico, con side events que incluyeron IOPFest — dedicado al estudio de IOPs basados en hashes — y una jornada de verificación formal. La amenaza cuántica volvió a ser un tema central, con una discusión en mayor profundidad de la mano de Justin Drake.
Uno de los momentos más interesantes fue la presentación del proximity prize: un programa de la Ethereum Foundation que financia con hasta USD 1.000.000 resultados cruciales para el desarrollo de sistemas de prueba con pruebas suficientemente compactas. También hubo charlas sobre IORs y la evolución del andamiaje teórico para analizar la seguridad de nuevas construcciones, esquemas de acumulación basados en hashes, y discusiones sobre lattices. Arklib tuvo su propio día, con una muestra del estado del arte en verificación formal.
Eurocrypt 2026
Eurocrypt fue la instancia más académica de las tres: cuatro días intensos cubriendo ZK, FHE (fully homomorphic encryption), garbled circuits, multifirmas y multiparty computation. Una oportunidad para ver los desarrollos más recientes en criptografía teórica y entender cómo impactan en sistemas de identidad digital, en la respuesta a la amenaza cuántica y en los límites de lo que es posible construir hoy.
El domingo previo, side events dedicados a la seguridad de primitivas de criptografía simétrica y, en particular, a funciones de hash algebraicas. Y entre las charlas más llamativas del programa principal, Adi Shamir presentó su trabajo sobre deep neural cryptography y la implementación de primitivas criptográficas sobre arquitecturas no convencionales.
Más info sobre los eventos: ZKSummit · ZKProof 8 · Eurocrypt 2026