Seminario de estudiantes del Doctorado en Matemática | Dra. Arantxa Zapico

Resumen: En esta charla introduciremos una de las piezas fundamentales de los sistemas de prueba criptográficos: los  esquemas de compromiso a vectores (vector commitments). Discutiremos su importancia con algunos ejemplos de aplicaciones y veremos cómo funciona el más usado de ellos, el esquema de Kate, Zaverucha y Goldberg.

La Dra. Arantxa Zapico se recibió de Licenciada en Matemática en FAMAF, en el año 2017, y de Doctora en Criptografía en la Universidad Pompeu Fabra (UPF) en el 2022. Actualmente, es investigadora en la Fundación Ethereum. Su trabajo se basa principalmente en diseñar protocolos de prueba sucintos.